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.

1057 Publications


2000 | Conference Paper | LibreCat-ID: 3251
H. Wehrheim, “Behavioural Subtyping and Property Preservation,” in Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, 2000, pp. 213--231.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 20994
M. Eis and G. Meschut, “Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen,” in Tagungsband zur Veranstaltung EndForm 2000, Aachen, 2000, pp. 135–152.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 20995
O. Hahn, M. Koyro, and G. Meschut, “Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen,” in Tagungsband zur Veranstaltung EndForm 2000, Aachen, 2000, pp. 225–241.
LibreCat
 

2000 | Report | LibreCat-ID: 21001
O. Hahn, G. Meschut, M. Eis, and G. Kötting, Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile. Düsseldorf: Verlag und Vertriebsgesellschaft mbH, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 21003
P. Bohling, S. Jüttner, M. Kaiser, G. Meschut, and S. Schumann, “Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau,” presented at the 7. Paderborner Symposium Fügetechnik 2000, Paderborn, 2000, pp. 199–210.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 16345
F. Meyer auf der Heide and R. Wanka, “Von der Hollerith-Maschine zum Parallelrechner - Die alltägliche Aufgabe des Sortierens als Fortschrittsmotor für die Informatik,” ForschungsForum Paderborn, pp. 112–116, 2000.
LibreCat | Files available
 

2000 | Dissertation | LibreCat-ID: 30398
S. Beinecke, Online-Schätzung von mechanischen Parametern, Kennlinien und Zustandsgrößen geregelter elektrischer Antriebe . 2000.
LibreCat | Download (ext.)
 

2000 | Book (Editor) | LibreCat-ID: 31510
M. Egidi, O. Schneider, M. Schöning, I. Schütze, and C. Torra-Mattenklott, Eds., Gestik. Figuren des Körpers in Text und Bild. Tübingen: (Literatur und Anthropologie 8), 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 31518
M. Egidi, O. Schneider, and M. Schöning, “„Riskante Gesten. Einleitung“,” in Gestik. Figuren des Körpers in Text und Bild (Literatur und Anthropologie 8), dies, Ed. Tübingen, 2000, pp. 11–41.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 36301
P. Böhme, F. Kessl, R. Heil, and T. Reinke, Eds., Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion. Neuwied/Kriftel: Luchterhand Verlag, 2000.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 3252
H. Wehrheim, “Partial order reductions for failures refinement,” Electr. Notes Theor. Comput. Sci., pp. 71--84, 1999.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 20953
M. Eis, O. Hahn, and G. Meschut, “Kleben dünnwandiger Fahrzeugkomponenten aus Stahl,” in Tagungsband zur Werkstoffwoche 1998, Weinheim, 1999, vol. 6, pp. 327–332.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 20954
O. Hahn, G. Meschut, and M. Koyro, “Quasistationäre Meßmethode zur Ermittlung der Wärmeleitfähigkeit von Klebverbindungen,” in Tagungsband zur Werkstoffwoche 1998, Weinheim, 1999, vol. 6, pp. 357–360.
LibreCat
 

1999 | Dissertation | LibreCat-ID: 18942
T. Lukovszki, New Results on Geometric Spanners and Their Applications, vol. 63. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat | Files available
 

1999 | Conference Paper | LibreCat-ID: 11805 | OA
M. J. Harris, X. L. Aubert, R. Haeb-Umbach, and P. Beyerlein, “A study of broadcast news audio stream segmentation and segment clustering,” in Eurospeech, 1999.
LibreCat | Download (ext.)
 

1999 | Misc | LibreCat-ID: 52638
W. Demel and G. Schmitz, Entwicklung und Transfer von Entwicklungssystemen der Mechatronik, vol. Band 60. 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 18331 | OA
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,” zbMATH Open, Zbl. 0921.01017. 1999.
LibreCat | Download (ext.)
 

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
 

Filters and Search Terms

isbn%3D3-931466-07-8

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed