TY - JOUR AU - Betz, Stefan ID - 2586 JF - Betrieb und Wirtschaft TI - Qualitätskostencontrolling auf Basis des Half-Life-Konzepts VL - 54 ER - TY - JOUR AU - Fischer, Clemens AU - Wehrheim, Heike ID - 3247 JF - Bulletin of the {EATCS} TI - Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method ER - TY - JOUR AU - Wehrheim, Heike ID - 3248 IS - 3 JF - Formal Asp. Comput. TI - Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications ER - TY - CONF AU - Fischer, Clemens AU - Wehrheim, Heike ED - Rus, Teodor ID - 3249 T2 - Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings TI - Behavioural Subtyping Relations for Object-Oriented Formalisms ER - TY - CONF AU - Wehrheim, Heike ED - S. E. Maibaum, T. ID - 3250 T2 - 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 TI - Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods ER - TY - CONF AU - Wehrheim, Heike ED - F. Smith, Scott ED - L. Talcott, Carolyn ID - 3251 T2 - 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} TI - Behavioural Subtyping and Property Preservation ER - TY - CHAP AU - Harteis, Christian ED - Harteis, Christian ED - Heid, Helmut ED - Kraft, Susanne ID - 3602 T2 - Kompendium Weiterbildung TI - Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung ER - TY - BOOK ED - Harteis, Christian ED - Heid, Helmut ED - Kraft, Susanne ID - 3669 TI - Kompendium Weiterbildung ER - TY - BOOK AU - Harteis, Christian ID - 3674 TI - Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung ER - TY - CHAP AU - Blömer, Johannes ID - 3023 SN - 0302-9743 T2 - Automata, Languages and Programming TI - Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices ER - TY - CONF AU - Hahn, O. AU - Eis, M. AU - Meschut, Gerson ID - 20993 T2 - Tagungsband zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen” TI - Qualitätssicherung bei der Herstellung von Klebverbindungen ER - TY - CONF AU - Eis, M. AU - Meschut, Gerson ID - 20994 SN - ISBN 3-8265-7332-3 T2 - Tagungsband zur Veranstaltung EndForm 2000 TI - Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen ER - TY - CONF AU - Hahn, O. AU - Koyro, M. AU - Meschut, Gerson ID - 20995 SN - ISBN 3-8265-7332-3 T2 - Tagungsband zur Veranstaltung EndForm 2000 TI - Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen ER - TY - CONF AU - Hahn, O. AU - Eis, M. AU - Meschut, Gerson ID - 20996 T2 - Tagungsband zur Swiss Bondung ´00 TI - Erhöhung der der Bauteilsteifigkeit durch Optimierung von Unterfütterungsklebungen ER - TY - JOUR AU - Hahn, O. AU - Besserdich, G. AU - Dölle, N. AU - Jendrny, J. AU - Koyro, M. AU - Thesing, T. AU - Meschut, Gerson ID - 20997 IS - 5 JF - Schweißen und Schneiden TI - Prüfung und Berechnung geklebter Blech-Profil-Verbindungen aus Aluminium VL - 50 ER - TY - JOUR AU - Hahn, O. AU - Meschut, Gerson AU - Eis, M. AU - Maciej, M. ID - 20998 IS - 6 JF - Schweißen und Schneiden TI - Beeinflussung der mechanischen Eigenschaften geklebter Kunststoffverbindungen durch Diffusion von Klebstoffbestandteilen in die polymeren Fügeteile VL - 52 ER - TY - JOUR AU - Hahn, O. AU - Meschut, Gerson AU - Koyro, M. ID - 20999 IS - 7 JF - Schweißen und Schneiden TI - Kleben in Kombination mit Fügen durch Umformen – eine wärmearme Fügetechnik für eigenschaftsoptimierte Aluminium-Rahmenkonstruktionen VL - 52 ER - TY - GEN AU - Hahn, O. AU - Meschut, Gerson AU - Eis, M. AU - Kötting, G. ID - 21001 SN - ISBN 3-934238-25-4 TI - Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile ER - TY - JOUR AU - Hahn, O. AU - Koyro, M. AU - Meschut, Gerson ID - 21002 JF - der praktiker TI - Kleben in Kombination mit Fügen durch Umformen VL - 9 ER - TY - CONF AU - Bohling, P. AU - Jüttner, S. AU - Kaiser, M. AU - Meschut, Gerson AU - Schumann, S. ID - 21003 SN - ISBN 3-9805447-3-7 TI - Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau ER -