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.
9798 Publications
2001 | Book Review | LibreCat-ID: 18741
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.” Mathematical Reviews, MR1715906 (2001c:03004) , MR 2001c:03004; Reprint von Zbl. 897.091002, 2001.
LibreCat
| Download (ext.)
2001 | Dissertation | LibreCat-ID: 8469
Hemsel, Tobias. Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe. Verlagsschriftenreihe des Heinz Nixdorf Instituts, 2001.
LibreCat
2000 | Book Review | LibreCat-ID: 19548
Eke, Norbert Otto. “Roy C. Cowen: Christian Dietrich Grabbe – Dramatiker ungelöster Widersprüche. Bielefeld: Aisthesis Verlag, 1998; Carl Wiemer: Der Paria als Unmensch. Grabbe – Genealoge des Anti-Humanitarismus. Bielefeld: Aisthesis Verlag, 1997.” Internationales Archiv für Sozialgeschichte der deutschen Literatur (IASL), Preprint der in Nr. 2/2000 erscheinenden Druckfassung im Internet (http://iasl.uni-muenchen.de, inzwischen Weiterleitung auf http://www.iaslonline.de/), no. 2/2000, 2000, p. 9 Seiten.
LibreCat
2000 | Dissertation | LibreCat-ID: 19620
Rieping, Ingo. Communication in Parallel Systems-Models, Algorithms and Implementations. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 19621
Westermann, Matthias. Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
| Files available
2000 | Dissertation | LibreCat-ID: 2434
Simon, Jens. Werkzeugunterstützte Effiziente Nutzung von Hochleistungsrechnern. Dr. Dirk Blunk Verlag, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 3249
Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, edited by Teodor Rus, 2000, pp. 469--483, doi:10.1007/3-540-45499-3_33.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3250
Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, edited by T. S. E. Maibaum, 2000, pp. 334--348, doi:10.1007/3-540-46428-X_23.
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 3023
Blömer, Johannes. “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices.” Automata, Languages and Programming, Springer Berlin Heidelberg, 2000, pp. 248–59, doi:10.1007/3-540-45022-x_22.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 20994
Eis, M., and Gerson Meschut. “Minimierung von Bauteildeformationen Beim Kleben Durch Beachtung Der Konstruktiven Und Werkstofftechnischen Einflußgrößen.” Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, 2000, pp. 135–52.
LibreCat
2000 | Conference Paper | LibreCat-ID: 20995
Hahn, O., et al. “Eigenschaften von Wärmearm Gefügten Al-Rahmentragwerken Mit IHU-Knotenelementen.” Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, 2000, pp. 225–41.
LibreCat
2000 | Report | LibreCat-ID: 21001
Hahn, O., et al. Analyse Der Entstehung von Abzeichnungen an Klebungen Dünnwandiger Bauteile. Verlag und Vertriebsgesellschaft mbH, 2000.
LibreCat
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 | Book (Editor) | LibreCat-ID: 17458
Peckhaus, Volker, editor. “Contributing Editor” Für Die Sektion “Philosophy of Mathematics” in: The History of Mathematics from Antiquity to the Present: A Selective Annotated Bibliography, Edited by Joseph W. Dauben, Revised Edition on CD-ROM by Albert C. Lewis, in Cooperation with the International Commission on the History Mathematics, American Mathematical Society. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 18962
Govindarajan, Sathish, et al. “I/O-Efficient Well-Separated Pair Decomposition and Applications.” Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS, 2000, pp. 585–614, doi:10.1007/s00453-005-1197-3.
LibreCat
| DOI
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: 17990
Czumaj, Artur, et al. “Property Testing in Computational Geometry.” Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00), vol. 4698, Springer, 2000, pp. 155–66, doi:10.1007/3-540-45253-2_15.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 18146
Ziegler, Martin, and Vasco Brattka. “Computing the Dimension of Linear Subspaces.” SOFSEM 2000: Theory and Practice of Informatics, vol. 1963, Springer, 2000, pp. 450–58, doi:10.1007/3-540-44411-4_34.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 21783
Volbracht, Sabine, and Gitta Domik. “Developing Effective Navigation Techniques in Virtual 3D Environments.” Virtual Environments 2000, edited by Jurriaan Mulder and Robert van Liere, Springer Vienna, 2000, pp. 55–64.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7872
Engels, Gregor, and Reiko Heckel. “Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution.” Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland), vol. 1853, Springer, 2000, pp. 127–50, doi:http://dx.doi.org/10.1007/3-540-45022-X_12.
LibreCat
| DOI