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.
411 Publications
2000 | Journal Article | LibreCat-ID: 3247
C. Fischer and H. Wehrheim, “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method,” Bulletin of the {EATCS}, pp. 92--101, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 3249
C. Fischer and H. Wehrheim, “Behavioural Subtyping Relations for Object-Oriented Formalisms,” in Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3250
H. Wehrheim, “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods,” in 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, 2000, pp. 334--348.
LibreCat
| DOI
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 | Book Chapter | LibreCat-ID: 3602
C. Harteis, “Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung,” in Kompendium Weiterbildung, C. Harteis, H. Heid, and S. Kraft, Eds. Opladen: Leske+Budrich, 2000, pp. 209--217.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 3669
C. Harteis, H. Heid, and S. Kraft, Eds., Kompendium Weiterbildung. Opladen: Leske+Budrich, 2000.
LibreCat
2000 | Book | LibreCat-ID: 3674
C. Harteis, Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung. München: Neuer Merkur, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 20993
O. Hahn, M. Eis, and G. Meschut, “Qualitätssicherung bei der Herstellung von Klebverbindungen,” in Tagungsband zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen,” Würzburg, 2000, pp. 147–161.
LibreCat
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 | Conference Paper | LibreCat-ID: 20996
O. Hahn, M. Eis, and G. Meschut, “Erhöhung der der Bauteilsteifigkeit durch Optimierung von Unterfütterungsklebungen,” in Tagungsband zur Swiss Bondung ´00, Rapperswil (CH), 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 20997
O. Hahn et al., “Prüfung und Berechnung geklebter Blech-Profil-Verbindungen aus Aluminium,” Schweißen und Schneiden, vol. 50, no. 5, pp. 266–271, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 20998
O. Hahn, G. Meschut, M. Eis, and M. Maciej, “Beeinflussung der mechanischen Eigenschaften geklebter Kunststoffverbindungen durch Diffusion von Klebstoffbestandteilen in die polymeren Fügeteile,” Schweißen und Schneiden, vol. 52, no. 6, pp. 340–348, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 20999
O. Hahn, G. Meschut, and M. Koyro, “Kleben in Kombination mit Fügen durch Umformen – eine wärmearme Fügetechnik für eigenschaftsoptimierte Aluminium-Rahmenkonstruktionen,” Schweißen und Schneiden, vol. 52, no. 7, pp. 412–418, 2000.
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 | Journal Article | LibreCat-ID: 21002
O. Hahn, M. Koyro, and G. Meschut, “Kleben in Kombination mit Fügen durch Umformen,” der praktiker , vol. 9, pp. 356–361, 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: 21006
G. Meschut, “Eigenschaftsoptimierte Verbindungen durch wärmearmes Hybridfügen,” Adhäsion, vol. 44, no. 11, pp. 14–21, 2000.
LibreCat