Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

13659 Publications


2000 | Conference Paper | LibreCat-ID: 8337
Depke, Ralph, et al. “Rollenbasierte Modellierung Autonomer Agenten.” Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany), Universität Münster, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8344
Heckel, Reiko, and Stefan Sauer. “Strengthening the Semantics of UML Collaboration Diagrams.” Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), no. 0006, Ludwig-Maximilians-University, 2000, pp. 63–69.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 16554
Dellnitz, Michael, et al. “On the Isolated Spectrum of the Perron-Frobenius Operator.” Nonlinearity, 2000, pp. 1171–88, doi:10.1088/0951-7715/13/4/310.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 16345
Meyer auf der Heide, Friedhelm, and Rolf Wanka. “Von Der Hollerith-Maschine Zum Parallelrechner - Die Alltägliche Aufgabe Des Sortierens Als Fortschrittsmotor Für Die Informatik.” ForschungsForum Paderborn, 2000, pp. 112–16.
LibreCat | Files available
 

2000 | Book Chapter | LibreCat-ID: 17526
Peckhaus, Volker. “The Contextualism of Philosophy.” The Sociology of Philosophical Knowledge, edited by Martin Kusch, vol. 48, Kluwer Academic Publishers, 2000, pp. 179–91.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18341
Peckhaus, Volker. “Müller, Ralf, Die Dynamische Logik Des Erkennens von Charles S. Peirce, Königshausen & Neumann: Würzburg 1999.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 934.01004], Zbl. 934.01004, 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18358
Peckhaus, Volker. “Zach, Richard, ‘Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic’, Bulletin of Symbolic Logic 5 (1999), 331–366.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 942.03002], Zbl. 942.03002, 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18360
Peckhaus, Volker. “Glashoff, Klaus, „Das Rad Der Gründe — Der Hetucakradamara von Dignaga“, Mitt. Math. Ges. Hamb. 18 (1999), 75–104.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 946.01004], Zbl. 946.01004, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 16496
Meyer auf der Heide, Friedhelm, et al. “Caching in Networks.” SODA ’00: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000, pp. 430–439.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 19084
Allkemper, Alo, and Norbert Otto Eke, editors. Deutsche Dramatiker des 20. Jahrhunderts. Erich Schmidt, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 19402
Eke, Norbert Otto. “Vormärz/Nachmärz. – Bruch oder Kontinuität? Nachfragen an die Begriffsgeschichte.” Vormärz – Nachmärz. Bruch oder Kontinuität? Vorträge des Symposions des Forum Vormärz Forschung e.V. vom 19.-21. November 1998 an der Universität Paderborn, edited by Norbert Otto Eke and Renate Werner, Aisthesis, 2000, pp. 11–30.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 19399
Eke, Norbert Otto. “Thomas Brasch.” Deutsche Dramatiker des 20. Jahrhunderts, edited by Alo Allkemper and Norbert Otto Eke, Erich Schmidt, 2000, pp. 746–63.
LibreCat
 

2000 | Book Review | LibreCat-ID: 19546
Eke, Norbert Otto. “Horst Domdey: Produktivkraft Tod. Das Drama Heiner Müllers. Köln u.a.: Böhlau, 1998.” Germanistik, vol. 41, no. H. 1, 2000, pp. 294–95.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 19849
Bednara, M., et al. “Tradeoff Analysis and Architecture Design of a Hybrid Hardware/Software Sorter.” Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP), 2000, pp. 299–308, doi:10.1109/asap.2000.862400.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 2149
Brinkmann, André, et al. “Efficient, Distributed Data Placement Strategies for Storage Area Networks (Extended Abstract).” SPAA, 2000, pp. 119--128.
LibreCat | Files available
 

2000 | Conference Paper | LibreCat-ID: 21003
Bohling, P., et al. Eigenschaften von Thermisch Und Wärmearm Gefügten Al-/Mg-Verbindungen Für Den Strukturellen Karosserieleichtbau. 2000, pp. 199–210.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 20997
Hahn, O., et al. “Prüfung Und Berechnung Geklebter Blech-Profil-Verbindungen Aus Aluminium.” Schweißen Und Schneiden, vol. 50, no. 5, 2000, pp. 266–71.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 10189
Steffen, Eckhard. “Non-Bicritical Critical Snarks.” Graphs Comb., vol. 15, 1999, pp. 473–80.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 10191
Grünewald, Stefan, and Eckhard Steffen. “Chromatic-Index-Critical Graphs of Even Order.” J. Graph Theory, vol. 30, 1999, pp. 27–36.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 13006
Hellebrand, Sybille, et al. “Error Detecting Refreshment for Embedded DRAMs.” {17th IEEE VLSI Test Symposium (VTS’99)}, {IEEE (Comput. Soc.)}, 1999, pp. 384–90, doi:10.1109/vtest.1999.766693.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 13607
Mencer, Oskar, and Marco Platzner. “Dynamic Circuit Generation for Boolean Satisfiability in an Object-Oriented Design Environment.” Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32), IEEE CS Press, 1999, doi:10.1109/hicss.1999.772883.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 13765
Schmidt, Wolf Gero, et al. “SELF-ENERGY EFFECTS IN THE OPTICAL ANISOTROPY OF GaP(001).” Surface Review and Letters, vol. 6, no. 6, 1999, pp. 1159–65, doi:10.1142/s0218625x99001281.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 16199
Hüllermeier, Eyke. “Numerical Methods for Fuzzy Initial Value Problems.” International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol. 7, no. 5, 1999, pp. 439–61.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 15711
Schulte, Carsten, et al. “Kooperative Arbeitsplattformen - CSCW-Systeme in Lehr- Und Lernkontexten.” LOG IN, vol. 19, no. 3/4, 1999, p. 40.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 2056
Krimphove, Dieter, and S. Seitz. : “: Personalcontrolling Und Recht - Fallbeispiele Und Deren Juristische Lösung -.” Personalinformationssysteme & Personalcontrolling, edited by Wilhelm Schmeisser et al., Hermann Luchterhand Verlag, 1999, p. 363 ff.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 1666
Krimphove, Dieter. “Das Neue Europäische Schadenersatzrecht.” Österreichische Juristenzeitschrift (ÖJZ), no. Heft 9, 1999, p. 321 ff.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 2436
Brune, Matthias, et al. “A Resource Description Environment for Distributed Computing Systems.” Proc. Int. Symp. High-Performance Distributed Computing (HPDC), IEEE Computer Society, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 3410
Hehenkamp, Burkhard, and Wolfgang Leininger. “A Note on Evolutionary Stability of Bertrand Equilibrium.” Journal of Evolutionary Economics, vol. 9, no. 3, Springer Nature, 1999, pp. 367–71, doi:10.1007/s001910050087.
LibreCat | DOI
 

1999 | Book | LibreCat-ID: 4937
Eggert, Andreas. Kundenbindung Aus Kundensicht: Konzeptualisierung, Optionalisierung, Verhaltenswirksamkeit. Deutscher Universitätsverlag, 1999, doi:10.1007/978-3-663-08677-2.
LibreCat | DOI
 

1999 | Misc | LibreCat-ID: 6135
Hanel, U., et al. Personalmanagement in Europa - Ein Vergleich Auf Der Basis Empirischer Daten. Vol. 51(1), 1999, pp. 32–36.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 6673
Bendfeld, Jörg, et al. “Layout for a Wind-Power-Driven, Reverse Osmosis Installation for Desalting Brackish Water in Operation on an Island.” Proceedings of the 1999 European Wind Energy Conference, 1-5 March 1999 Nice, France, Pp975-978, 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 7518
Heckel, Reiko, et al. “A View-Based Approach to System Modeling Based on Open Graph Transformation Systems.” Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, 1999, pp. 639–68.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 7400
Cherchago, Alexey, and V. Finaev. “Formalization of the Development Process for a Software-Hardware Reflexodiagnostic Tool.” Scientific Bulletin of Academy of Information Technologies in Education, Science and Balneology, vol. 3, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 7859
Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation and UML.” Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, no. 258, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8117
Salhi, M. J., et al. “Combined Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation.” Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88., 1999.
LibreCat
 

1999 | Report | LibreCat-ID: 8206
Engels, Gregor, et al. A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8321
Sauer, Stefan, and Gregor Engels. “UML-Basierte Modellierung von Multimediaanwendungen.” Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe, Teubner, Stuttgart, 1999, pp. 155–70.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8326
Engels, Gregor, and Stefan Sauer. “MVC-Based Modeling Support for Embedded Real-Time Systems.” Proceedings of OMER Workshop, Herrsching, Germany, no. 01, 1999, pp. 11–14.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 8460
Kremer, H. Hugo, and Peter F. E. Sloane. “Lernfelder - Motor didaktischer Innovationen.” Kölner Zeitschrift für Wirtschaft und Pädagogik, no. 26, 1999, pp. 37–60.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 8465
Kremer, H. Hugo, and Peter F. E. Sloane. “Der implizite Lerner in multimedialen Lernarrangements.” Kölner Zeitschrift für Wirtschaft und Pädagogik, no. 25, 1999, pp. 117–44.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8910
Sextro, Walter. “Experimental Verification of a Non-Hertzian Contact Model.” International Conference on Computational Methods in Contact Mechanics, 1999, pp. 181–90.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 16889
Lenz, C., et al. Ein Internet-Client Für Ein Geo-Informationssystem Zur Visualisierung Geowissenschaftlicher Daten. Vol. Heft Nr. 8, 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 17053
Meyer auf der Heide, Friedhelm, et al. “Provably Good and Practical Strategies for Non-Uniform Data Management in Networks.” Algorithms - ESA’ 99, 1999, doi:10.1007/3-540-48481-7_9.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 17508
Peckhaus, Volker. “Moral Integrity During a Difficult Period: Beth and Scholz.” Philosophia Scientiae (Nancy) 3 (4) (1998/1999) Themenheft: Un Logicien Consciencieux. La Philosophie de Evert Willem Beth, 1999, pp. 151–73.
LibreCat
 

1999 | Book (Editor) | LibreCat-ID: 17457
Peckhaus, Volker, and Christian Thiel, editors. Disziplinen im Kontext. Perspektiven der Disziplingeschichtsschreibung. Fink-Verlag, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 17510
Peckhaus, Volker. “Hugh MacColl and the German Algebra of Logic.” Nordic Journal of Philosophical Logic, vol. 3, 1999, pp. 17–34.
LibreCat | Download (ext.)
 

1999 | Book Review | LibreCat-ID: 18316
Peckhaus, Volker. “Recknagel, Hans, Die Nürnbergische Universität Altdorf Und Ihre Großen Gelehrten, Druckerei Carl Hessel: Feucht 1998.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 908.01005], Zbl. 908.01005, 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 18311
Peckhaus, Volker. “V. Helmholtz, Hermann, Schriften Zur Erkenntnistheorie. Kommentiert von Moritz Schlick Und Paul Hertz, Hg. v. Ecke Bonk, Springer: Wien 1998.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 901.00006], Zbl. 901.00006, 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 18323
Peckhaus, Volker. “Peckhaus, Volker, „Axiomatische Ethik“, in: Zwischen Kant Und Hare: Eine Evaluation Der Ethik Leonard Nelsons, Hg. v. Dieter Krohn/Barbara Neißer/Nora Walter, Dipa-Verlag: Frankfurt a.M. 1998, 37–61.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 914.00010], Zbl. 914.00010, 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 18328
Peckhaus, Volker. “Frege, Gottlob, Zwei Schriften Zur Arithmetik. Function Und Begriff. Über Die Zahlen Des Herrn H. Schubert, Hg. v. Wolfgang Kienzler, Olms: Hildesheim 1999.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 916.01026], Zbl. 916.01026, 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 18335
Peckhaus, Volker. “Kleemeier, Ulrike, Gottlob Frege. Kontext-Prinzip Und Ontologie, Alber: München 1997.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 922.03015], Zbl. 922.03015, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 18619
Schindlmayr, Arno. “Universality of the Hohenberg–Kohn Functional.” American Journal of Physics, vol. 67, no. 10, American Institute of Physics, 1999, pp. 933–34, doi:10.1119/1.19156.
LibreCat | DOI | WoS
 

1999 | Book (Editor) | LibreCat-ID: 18772
Saage, Richard, and Eva-Maria Seng, editors. Von der Geometrie zur Naturalisierung. Utopisches Denken im 18. Jahrhundert zwischen literarischer Fiktion und frühneuzeitlicher Gartenkunst. Hallesche Beiträge zur Europäischen Aufklärung Bd. 10. Vol. Bd. 10, Max Niemeyer, 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 19201
Seng, Eva-Maria. “Kirchenbau und Politik im 19. Jahrhundert.” Jahrbuch der Akademie der Wissenschaften zu Göttingen 1999, 1999, pp. 54–62.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 19408
Eke, Norbert Otto. “„Ja, ja, wir leben schnell, schneller, als je Menschen lebten.“ Beiläufige Anmerkungen zum Verhältnis von Revolution und Beschleunigung in Revolutionsdramen des Vor- und Nachmärz.” Vormärz und Klassik, edited by Lothar Ehrlich et al., Aisthesis, 1999, pp. 221–33.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 19732
Bonorden, O., et al. “The Paderborn University BSP (PUB) Library-Design, Implementation and Performance.” Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, 1999, pp. 99–104, doi:10.1109/ipps.1999.760442.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 2210
Berenbrink, Petra, et al. “Design of the PRESTO Multimedia Storage Network (Extended Abstract).” International Workshop on Communication and Data Management in Large Networks (CDMLarge), 1999, pp. 2–12.
LibreCat | Files available
 

1999 | Conference Paper | LibreCat-ID: 2164
Berenbrink, Petra, and Christian Scheideler. “Locally Efficient On-Line Strategies for Routing Packets Along Fixed Paths.” SODA, 1999, pp. 112--121.
LibreCat | Files available
 

1999 | Conference Paper | LibreCat-ID: 20948
Walther, U., and Gerson Meschut. “Einflüsse Der Klebstoffverarbeitung Auf Die Produktqualität.” Tagungsband Zum Technologie Kolleg: Kleben – Grundlagen, Forschungsergebnisse, Anwendungen, 1999, pp. 141–55.
LibreCat
 

1999 | Report | LibreCat-ID: 20955
Hahn, O., et al. Fügen von Leichtmetall-Strangpreßprofilen Mittels Kleben Und Fügen Durch Umformen. 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 20986
Meschut, Gerson. “Auslegung Und Fertigung von Klebverbindungen Vor Dem Hintergrund Verbesserter Wärmeleitfähigkeit.” Tagungsband Zur Swiss Bondung ´99, 1999.
LibreCat
 

1999 | Book (Editor) | LibreCat-ID: 6767
Tönnies, Merle, and Reinhold Schiffer, editors. British Literature and Culture. Divergent Views and Attitudes. On the Occasion of Gerd Stratmann’s 60th Birthday. WVT, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 11791
Haeb-Umbach, Reinhold, and Marco Loog. “An Investigation of Cepstral Parameterisations for Large Vocabulary Speech Recognition.” Eurospeech, 1999.
LibreCat | Download (ext.)
 

1999 | Conference Paper | LibreCat-ID: 13608
Eisenring, Michael, et al. “Communication Synthesis for Reconfigurable Embedded Systems.” Proceedings of the 9th International Workshop on Field Programmable Logic and Applications (FPL), vol. 1673, Springer, 1999, pp. 205–14, doi:10.1007/978-3-540-48302-1_21.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 13766
Bechstedt, F., et al. “Theoretical Aspects of the Optical Response of Semiconductor Surfaces.” Physica Status Solidi (A), vol. 175, no. 5, 1999, pp. 5–16, doi:10.1002/(sici)1521-396x(199909)175:1<5::aid-pssa5>3.0.co;2-9.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 15712
Hampel, Thorsten, et al. “Dekonstruktion von Informatiksystemen Als Unterrichtsmethode - Zugang Zu Objektorientierten Sichtweisen Im Informatikunterricht.” INFOS, Springer, 1999, pp. 149–64.
LibreCat
 

1999 | Working Paper | LibreCat-ID: 14980
König, Rolf, and Caren Sureth-Sloane. Some New Aspects of Neoclassical Investment Theory with Taxes. Vol. 436, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 16501
Meyer auf der Heide, Friedhelm, and Berthold Vöcking. “Shortest-Path Routing in Arbitrary Networks.” Journal of Algorithms, 1999, pp. 105–31, doi:10.1006/jagm.1998.0980.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 2007
Brune, Matthias, et al. “Managing Clusters of Geographically Distributed High-Performance Computers.” Concurrency, Practice, and Experience, vol. II(15), 1999, pp. 887–911, doi:10.1002/(SICI)1096-9128(19991225)11:15<887::AID-CPE459>3.0.CO;2-J.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 1939
Krimphove, Dieter. “Der Einsatz von Fuzzy-Logik in Der Rechtswissenschaft.” Rechtstheorie, no. Jg. 30, Heft 4, Dunker und Humblot, 1999, pp. 540 – 576.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 1946
Krimphove, Dieter. Arbeitsrecht / Europäische Vorgaben Der Unternehmensansiedlung. Editions Juridiques Bruylant, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 3024
Blömer, Johannes, and Jean-Pierre Seifert. “On the Complexity of Computing Short Linearly Independent Vectors and Short Bases in a Lattice.” Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing  - STOC ’99, ACM Press, 1999, doi:10.1145/301250.301441.
LibreCat | Files available | DOI
 

1999 | Journal Article | LibreCat-ID: 2583
Betz, Stefan. “Funktionales Erfolgscontrolling bei mehrstufiger Fertigung.” Betriebswirtschaftliche Forschung und Praxis, vol. 51, 1999, pp. 35–47.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 3656
Gallenberger, Wolfgang, et al. “Lehren Und Lernen Mit Neuen Medien.” Multimedia—Informationssysteme Zwischen Bild Und Sprache, edited by Franz Lehner et al., Gabler, 1999, pp. 259--271.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 3687
Gallenberger, Wolfgang, et al. “Zu Den Bedingungen Der Möglichkeit. Helmut Heid Zum 65. Geburtstag.” Zeitschrift Für Berufs-Und Wirtschaftspädagogik, vol. 95, no. 1, 1999, pp. 1–9.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 3252
Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” Electr. Notes Theor. Comput. Sci., 1999, pp. 71--84, doi:10.1016/S1571-0661(05)80296-8.
LibreCat | DOI
 

1999 | Book | LibreCat-ID: 3339
Lettmann, Theodor, and Hans Kleine Büning. Propositional Logic : Deduction and Algorithms. Cambridge Univ. Press, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 7401
Andries, Marc, et al. “Graph Transformation for Specification and Programming.” Science of Computer Programming, vol. 34, no. 1, 1999, pp. 1–54, doi:http://dx.doi.org/10.1016/S0167-6423(98)00023-9.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 7850
Corradini, Andrea, et al. “Tile Transition Systems as Structured Coalgebras.” Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), vol. 1684, Springer, 1999, pp. 13–38.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 7519
Heckel, Reiko, et al. “Classification and Comparison of Module Concepts for Graph Transformation Systems.” Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, vol. 2, World Scientific, 1999, pp. 669–89.
LibreCat
 

1999 | Conference (Editor) | LibreCat-ID: 7792
Engels, Gregor, et al., editors. Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany). Springer, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8118
Krauter, Stefan, et al. “Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro.” Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8120
Krauter, Stefan. “The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics.” Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375., 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8322
Sauer, Stefan, and Gregor Engels. “OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems.” Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), 1999, pp. 64–71.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8327
Mehner, Katharina, and Annika Wagner. “An Assessment of Aspect Language Design.” Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8909
Popp, Karl, and Walter Sextro. “Schwingungsanalyse von Vorgespannten Schaufeln Mit Deckplatten Im Schaufelkranz.” Forschungsvereinigung Verbrennungskraftmaschinen (FW) -Lnformationstagung Turbinen, no. 504, 1999, pp. 21–38.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8911
Sextro, Walter. “Forced Vibration of Elastic Structures with Friction Contacts.” ASME Design Engineering Technical Conferences, no. DETC99/VIB-8180, 1999, pp. 1–10.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 8459
Kremer, H. Hugo. “Realisierung fächer- und lernortübergreifender Ausbildungskonzepte.” Lehren und Lernen in der Aus- und Weiterbildung, edited by P.F.E. Sloane et al., 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 16537
Dellnitz, Michael, and Oliver Junge. “On the Approximation of Complicated Dynamical Behavior.” SIAM Journal on Numerical Analysis, 1999, pp. 491–515, doi:10.1137/s0036142996313002.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 17509
Peckhaus, Volker. “Abduktion und Heuristik.” Rationalität, Realismus, Revision.Vorträge des 3. Internationalen Kongresses der Gesellschaft für Analytische Philosophie, edited by Julian Nida-Rümelin, vol. 23, Walter de Gruyter, 1999, pp. 833–41.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 17511
Peckhaus, Volker. “19th Century Logic: Between Philosophy and Mathematics (Wiederabdruck Und Online-Fassung).” The Bulletin of Symbolic Logic, vol. 5, 1999, pp. 433–50.
LibreCat | Download (ext.)
 

1999 | Book Review | LibreCat-ID: 18312
Peckhaus, Volker. “Frascolla, Pascquale, Wittgenstein’s Philosophy of Mathematics, Routledge: London/New York 1994.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 901.03004], Zbl. 901.03004, 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 18331
Peckhaus, Volker. “Otte, Michael, ‘A Controversy on the Axiomatization of Arithmetic in Its Philosophical Context’, in: Conference on the History of Mathematics. Papers from the Conference Cetraro, Italy, September 8–12, 1988, Hg. v. Massimo Galuzzi, Editoria Elettronica: Rende 1991, 465–485.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 921.01017], Zbl. 921.01017, 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 18329
Peckhaus, Volker. “Van Dalen, Dirk, ‘The Role of Language in Brouwer’s Work’, in: Ewa Orłowska (Hg.), Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Physica-Verlag: Heidelberg 1999, 3–14.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 918.01015], Zbl. 918.01015, 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 18317
Peckhaus, Volker. “Stelzner, Werner, Gottlob Frege. Jena Und Die Geburt Der Modernen Logik, ReFIT: Jena 1996.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 908.01013], Zbl. 908.01013, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 17864
Fischer, Matthias, et al. “Partitioned Neighborhood Spanners of Minimal Outdegree.” Proceedings of the 11th Canadian Conference on Computational Geometry, 1999.
LibreCat | Files available
 

1999 | Journal Article | LibreCat-ID: 18362
Tophinke, Doris. “Das kaufmännische Rechnungsbuch im Kontext städtisch-amtlicher Schriftlichkeit.” Niederdeutsches Jahrbuch , vol. 122, 1999, pp. 25–43.
LibreCat
 

1999 | Book (Editor) | LibreCat-ID: 18451
Tophinke, Doris, editor. Handelstexte – Zu Textualität und Typik kaufmännischer Rechnungsbücher im Hanseraum des 14. und 15. Jahrhunderts. Narr (zugleich Habilitationsschrift Freiburg 1997), 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 18576
Sohler, Christian. “Generating Random Star-Shaped Polygons.” Proceedings of the 11th Canadian Conference on Computational Geometry ('CCCG’99), 1999, pp. 174–77.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 18747
Sohler, Christian. “Fast Reconstruction of Delaunay Triangulations.” Proceedings of the 11th Canadian Conference on Computational Geometry ( CCCG’99), 1999, pp. 136–41.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed