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
Behavioural Subtyping and Property Preservation
H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), 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
H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), 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.
2000 | Conference Paper | LibreCat-ID: 20994
Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen
M. Eis, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 135–152.
LibreCat
M. Eis, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 135–152.
2000 | Conference Paper | LibreCat-ID: 20995
Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen
O. Hahn, M. Koyro, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 225–241.
LibreCat
O. Hahn, M. Koyro, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 225–241.
2000 | Report | LibreCat-ID: 21001
Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile
O. Hahn, G. Meschut, M. Eis, G. Kötting, Analyse Der Entstehung von Abzeichnungen an Klebungen Dünnwandiger Bauteile, Verlag und Vertriebsgesellschaft mbH, Düsseldorf, 2000.
LibreCat
O. Hahn, G. Meschut, M. Eis, G. Kötting, Analyse Der Entstehung von Abzeichnungen an Klebungen Dünnwandiger Bauteile, Verlag und Vertriebsgesellschaft mbH, Düsseldorf, 2000.
2000 | Conference Paper | LibreCat-ID: 21003
Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau
P. Bohling, S. Jüttner, M. Kaiser, G. Meschut, S. Schumann, in: Paderborn, 2000, pp. 199–210.
LibreCat
P. Bohling, S. Jüttner, M. Kaiser, G. Meschut, S. Schumann, in: Paderborn, 2000, pp. 199–210.
2000 | Journal Article | LibreCat-ID: 16345
Von der Hollerith-Maschine zum Parallelrechner - Die alltägliche Aufgabe des Sortierens als Fortschrittsmotor für die Informatik
F. Meyer auf der Heide, R. Wanka, ForschungsForum Paderborn (2000) 112–116.
LibreCat
| Files available
F. Meyer auf der Heide, R. Wanka, ForschungsForum Paderborn (2000) 112–116.
2000 | Dissertation | LibreCat-ID: 30398
Online-Schätzung von mechanischen Parametern, Kennlinien und Zustandsgrößen geregelter elektrischer Antriebe
S. Beinecke, Online-Schätzung von mechanischen Parametern, Kennlinien und Zustandsgrößen geregelter elektrischer Antriebe , 2000.
LibreCat
| Download (ext.)
S. Beinecke, Online-Schätzung von mechanischen Parametern, Kennlinien und Zustandsgrößen geregelter elektrischer Antriebe , 2000.
2000 | Book (Editor) | LibreCat-ID: 31510
Gestik. Figuren des Körpers in Text und Bild
M. Egidi, O. Schneider, M. Schöning, I. Schütze, C. Torra-Mattenklott, eds., Gestik. Figuren des Körpers in Text und Bild, (Literatur und Anthropologie 8), Tübingen, 2000.
LibreCat
M. Egidi, O. Schneider, M. Schöning, I. Schütze, C. Torra-Mattenklott, eds., Gestik. Figuren des Körpers in Text und Bild, (Literatur und Anthropologie 8), Tübingen, 2000.
2000 | Book Chapter | LibreCat-ID: 31518
„Riskante Gesten. Einleitung“
M. Egidi, O. Schneider, M. Schöning, in: dies (Ed.), Gestik. Figuren des Körpers in Text und Bild (Literatur und Anthropologie 8), Tübingen, 2000, pp. 11–41.
LibreCat
M. Egidi, O. Schneider, M. Schöning, in: dies (Ed.), Gestik. Figuren des Körpers in Text und Bild (Literatur und Anthropologie 8), Tübingen, 2000, pp. 11–41.
2000 | Book (Editor) | LibreCat-ID: 36301
Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion
P. Böhme, F. Kessl, R. Heil, T. Reinke, eds., Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion, Luchterhand Verlag, Neuwied/Kriftel, 2000.
LibreCat
P. Böhme, F. Kessl, R. Heil, T. Reinke, eds., Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion, Luchterhand Verlag, Neuwied/Kriftel, 2000.
1999 | Journal Article | LibreCat-ID: 3252
Partial order reductions for failures refinement
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.
LibreCat
| DOI
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.
1999 | Conference Paper | LibreCat-ID: 20953
Kleben dünnwandiger Fahrzeugkomponenten aus Stahl
M. Eis, O. Hahn, G. Meschut, in: Tagungsband Zur Werkstoffwoche 1998, Wiley-VCH Verlag, Weinheim, 1999, pp. 327–332.
LibreCat
M. Eis, O. Hahn, G. Meschut, in: Tagungsband Zur Werkstoffwoche 1998, Wiley-VCH Verlag, Weinheim, 1999, pp. 327–332.
1999 | Conference Paper | LibreCat-ID: 20954
Quasistationäre Meßmethode zur Ermittlung der Wärmeleitfähigkeit von Klebverbindungen
O. Hahn, G. Meschut, M. Koyro, in: Tagungsband Zur Werkstoffwoche 1998, Wiley-VCH Verlag, Weinheim, 1999, pp. 357–360.
LibreCat
O. Hahn, G. Meschut, M. Koyro, in: Tagungsband Zur Werkstoffwoche 1998, Wiley-VCH Verlag, Weinheim, 1999, pp. 357–360.
1999 | Dissertation | LibreCat-ID: 18942
New Results on Geometric Spanners and Their Applications
T. Lukovszki, New Results on Geometric Spanners and Their Applications, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
| Files available
T. Lukovszki, New Results on Geometric Spanners and Their Applications, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Conference Paper | LibreCat-ID: 11805 | 
A study of broadcast news audio stream segmentation and segment clustering
M.J. Harris, X.L. Aubert, R. Haeb-Umbach, P. Beyerlein, in: Eurospeech, 1999.
LibreCat
| Download (ext.)
M.J. Harris, X.L. Aubert, R. Haeb-Umbach, P. Beyerlein, in: Eurospeech, 1999.
1999 | Misc | LibreCat-ID: 52638
Entwicklung und Transfer von Entwicklungssystemen der Mechatronik
W. Demel, G. Schmitz, Entwicklung Und Transfer von Entwicklungssystemen Der Mechatronik, 1999.
LibreCat
W. Demel, G. Schmitz, Entwicklung Und Transfer von Entwicklungssystemen Der Mechatronik, 1999.
1999 | Book Review | LibreCat-ID: 18331 |
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
V. Peckhaus, zbMATH Open, Zbl. 0921.01017 (1999).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0921.01017 (1999).
1998 | Dissertation | LibreCat-ID: 19639
Static and Dynamic Data Management in Networks
B. Vöcking, Static and Dynamic Data Management in Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
LibreCat
| Files available
B. Vöcking, Static and Dynamic Data Management in Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
1998 | Conference Paper | LibreCat-ID: 3255
A Process Algebra Semantics for {MSC} Including Conditions
T. Gehrke, M. Huhn, P. Niebert, A. Rensink, H. Wehrheim, in: H. K{\"{o}}nig, P. Langend{\"{o}}rfer (Eds.), Formale Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, 1998, pp. 185--196.
LibreCat
T. Gehrke, M. Huhn, P. Niebert, A. Rensink, H. Wehrheim, in: H. K{\"{o}}nig, P. Langend{\"{o}}rfer (Eds.), Formale Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, 1998, pp. 185--196.
1998 | Conference Paper | LibreCat-ID: 20746
Kleben abzeichnungsfreier Leichtbaustrukturen durch Prozeß-, Gestalt- und Klebstoffoptimierung
O. Hahn, M. Eis, G. Meschut, in: Tagungsband Zum 6. Paderborner Symposium Fügetechnik, 1998, pp. 210–218.
LibreCat
O. Hahn, M. Eis, G. Meschut, in: Tagungsband Zum 6. Paderborner Symposium Fügetechnik, 1998, pp. 210–218.