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.
1184 Publications
2000 | Book (Editor) | LibreCat-ID: 31510
Egidi, Margreth, et al., editors. Gestik. Figuren des Körpers in Text und Bild. (Literatur und Anthropologie 8), 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 31518
Egidi, Margreth, et al. “„Riskante Gesten. Einleitung“.” Gestik. Figuren des Körpers in Text und Bild (Literatur und Anthropologie 8), edited by dies, 2000, pp. 11–41.
LibreCat
2000 | Habilitation | LibreCat-ID: 19784
Scheideler, Christian. Probabilistic Methods for Coordination Problems. 2000.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 36301
Böhme, Peter, et al., editors. Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion. Luchterhand Verlag, 2000.
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 | Conference Paper | LibreCat-ID: 20953
Eis, M., et al. “Kleben Dünnwandiger Fahrzeugkomponenten Aus Stahl.” Tagungsband Zur Werkstoffwoche 1998, vol. 6, Wiley-VCH Verlag, 1999, pp. 327–32.
LibreCat
1999 | Conference Paper | LibreCat-ID: 20954
Hahn, O., et al. “Quasistationäre Meßmethode Zur Ermittlung Der Wärmeleitfähigkeit von Klebverbindungen.” Tagungsband Zur Werkstoffwoche 1998, vol. 6, Wiley-VCH Verlag, 1999, pp. 357–60.
LibreCat
1999 | Dissertation | LibreCat-ID: 18942
Lukovszki, Tamás. New Results on Geometric Spanners and Their Applications. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 11805 | 
Harris, Matthew J., et al. “A Study of Broadcast News Audio Stream Segmentation and Segment Clustering.” Eurospeech, 1999.
LibreCat
| Download (ext.)
1999 | Misc | LibreCat-ID: 52638
Demel, W., and G. Schmitz. Entwicklung Und Transfer von Entwicklungssystemen Der Mechatronik. 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.” zbMATH Open, Zbl. 0921.01017, 1999.
LibreCat
| Download (ext.)
1998 | Dissertation | LibreCat-ID: 19639
Vöcking, Berthold. Static and Dynamic Data Management in Networks. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
LibreCat
| Files available
1998 | Conference Paper | LibreCat-ID: 3255
Gehrke, Thomas, et al. “A Process Algebra Semantics for {MSC} Including Conditions.” Formale Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, edited by Hartmut K{\"{o}}nig and Peter Langend{\"{o}}rfer, 1998, pp. 185--196.
LibreCat
1998 | Conference Paper | LibreCat-ID: 20746
Hahn, O., et al. “Kleben Abzeichnungsfreier Leichtbaustrukturen Durch Prozeß-, Gestalt- Und Klebstoffoptimierung.” Tagungsband Zum 6. Paderborner Symposium Fügetechnik, 1998, pp. 210–18.
LibreCat
1998 | Book (Editor) | LibreCat-ID: 53587
Müller, Wolfgang, and Franz Josef Rammig, editors. Proceedings Des Workshops Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen. 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56577
Haarslev, Volker, et al. “Implementing an ALCRP(D) ABox Reasoner - Progress Report.” Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, edited by Enrico Franconi et al., vol. 11, CEUR-WS.org, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56576
Haarslev, Volker, et al. “HAM-ALC.” Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, edited by Enrico Franconi et al., vol. 11, CEUR-WS.org, 1998.
LibreCat
1997 | Dissertation | LibreCat-ID: 19631
Bäumker, Armin. Communication Efficient Parallel Searching. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1997.
LibreCat
1997 | Dissertation | LibreCat-ID: 19636
Dittrich, Wolfgang. Communication and I/O Efficient Parallel Data Structures. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1997.
LibreCat
1997 | Dissertation | LibreCat-ID: 19637
Strothmann, Willy-Bernhard. Bounded Degree Spanning Trees. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1997.
LibreCat
| Files available