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.
1032 Publications
1999 | Book Review | LibreCat-ID: 18331
V. Peckhaus, “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 . 1999.
LibreCat
1999 | Misc | LibreCat-ID: 52638
W. Demel and G. Schmitz, Entwicklung und Transfer von Entwicklungssystemen der Mechatronik, vol. Band 60. 1999.
LibreCat
1998 | Dissertation | LibreCat-ID: 19639
B. Vöcking, Static and Dynamic Data Management in Networks, vol. 46. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
LibreCat
| Files available
1998 | Conference Paper | LibreCat-ID: 3255
T. Gehrke, M. Huhn, P. Niebert, A. Rensink, and H. Wehrheim, “A Process Algebra Semantics for {MSC} Including Conditions,” in Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998, 1998, pp. 185--196.
LibreCat
1998 | Conference Paper | LibreCat-ID: 20746
O. Hahn, M. Eis, and G. Meschut, “Kleben abzeichnungsfreier Leichtbaustrukturen durch Prozeß-, Gestalt- und Klebstoffoptimierung,” in Tagungsband zum 6. Paderborner Symposium Fügetechnik, Paderborn, 1998, pp. 210–218.
LibreCat
1998 | Book (Editor) | LibreCat-ID: 53587
W. Müller and F. J. Rammig, Eds., Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Paderborn, Germany, 1998.
LibreCat
1997 | Dissertation | LibreCat-ID: 19631
A. Bäumker, Communication Efficient Parallel Searching, vol. 28. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1997.
LibreCat
1997 | Dissertation | LibreCat-ID: 19636
W. Dittrich, Communication and I/O Efficient Parallel Data Structures, vol. 27. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1997.
LibreCat
1997 | Dissertation | LibreCat-ID: 19637
W.-B. Strothmann, Bounded Degree Spanning Trees, vol. 35. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1997.
LibreCat
| Files available
1997 | Book | LibreCat-ID: 17447
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert. Berlin: Akademie-Verlag, 1997.
LibreCat
1996 | Book | LibreCat-ID: 3385
T. Gries, G. Sieg, and H. Strulik, Repetitorium Mikroökonomik. Berlin Heidelberg: Springer-Verlag, 1996.
LibreCat
1996 | Journal Article | LibreCat-ID: 19314
E.-M. Seng and R. Saage, “Geometrische Muster zwischen frühneuzeitlicher Utopie und russischer Avantgarde,” Zeitschrift für Geschichtswissenschaft, Heft 8, no. Heft 8, pp. 677–602, 1996.
LibreCat
1996 | Book Chapter | LibreCat-ID: 19412
N. O. Eke, “Die Revolution, der Schrecken und das Neue. Konzepte von Legitimität und historischer Gewalt in deutschen Revolutionsdramen um 1800,” in Literatur und Erfahrungswandel 1789-1830. Beiträge des 2. Internationalen Corvey-Symposions 8.-12. Juni 1993 in Paderborn, R. Schöwerling, H. Steinecke, and G. Tiggesbäumker, Eds. München: Fink, 1996, pp. 121–156.
LibreCat
1995 | Dissertation | LibreCat-ID: 19623
V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, vol. 3. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
1995 | Dissertation | LibreCat-ID: 19627
A. Czumaj, Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations, vol. 8. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
| Files available
1995 | Dissertation | LibreCat-ID: 19630
A. Wachsmann, Eine Bibliothek von Basisdiensten für Parallelrechner: Routing, Synchronisation, gemeinsamer Speicher, vol. 6. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
1995 | Dissertation | LibreCat-ID: 19634
F. Ameur, Space-Bounded Learning Algorithms, vol. 10. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat