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
Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the {EATCS}, 2000, pp. 92--101.
LibreCat
2000 | Journal Article | LibreCat-ID: 3248
Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” Formal Asp. Comput., no. 3, 2000, pp. 147--164, doi:10.1007/s001650070026.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3249
Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, edited by Teodor Rus, 2000, pp. 469--483, doi:10.1007/3-540-45499-3_33.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3250
Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” 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, edited by T. S. E. Maibaum, 2000, pp. 334--348, doi:10.1007/3-540-46428-X_23.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3251
Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” 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}, edited by Scott F. Smith and Carolyn L. Talcott, 2000, pp. 213--231, doi:10.1007/978-0-387-35520-7_11.
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 3602
Harteis, Christian. “Beschäftigte Im Spannungsfeld Ökonomischer Und Pädagogischer Prinzipien Betrieblicher Personal-Und Organisationsentwicklungsentwicklung.” Kompendium Weiterbildung, edited by Christian Harteis et al., Leske+Budrich, 2000, pp. 209--217.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 3669
Harteis, Christian, et al., editors. Kompendium Weiterbildung. Leske+Budrich, 2000.
LibreCat
2000 | Book | LibreCat-ID: 3674
Harteis, Christian. Berufliche Weiterbildung Heute Und Morgen: Zukünftige Kompetenzanforderungen an Bildungspersonal Und Nachwuchsrekrutierung. Neuer Merkur, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 3023
Blömer, Johannes. “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices.” Automata, Languages and Programming, Springer Berlin Heidelberg, 2000, pp. 248–59, doi:10.1007/3-540-45022-x_22.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 20993
Hahn, O., et al. “Qualitätssicherung Bei Der Herstellung von Klebverbindungen.” Tagungsband Zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen,” 2000, pp. 147–61.
LibreCat
2000 | Conference Paper | LibreCat-ID: 20994
Eis, M., and Gerson Meschut. “Minimierung von Bauteildeformationen Beim Kleben Durch Beachtung Der Konstruktiven Und Werkstofftechnischen Einflußgrößen.” Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, 2000, pp. 135–52.
LibreCat
2000 | Conference Paper | LibreCat-ID: 20995
Hahn, O., et al. “Eigenschaften von Wärmearm Gefügten Al-Rahmentragwerken Mit IHU-Knotenelementen.” Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, 2000, pp. 225–41.
LibreCat
2000 | Conference Paper | LibreCat-ID: 20996
Hahn, O., et al. “Erhöhung Der Der Bauteilsteifigkeit Durch Optimierung von Unterfütterungsklebungen.” Tagungsband Zur Swiss Bondung ´00, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 20997
Hahn, O., et al. “Prüfung Und Berechnung Geklebter Blech-Profil-Verbindungen Aus Aluminium.” Schweißen Und Schneiden, vol. 50, no. 5, 2000, pp. 266–71.
LibreCat
2000 | Journal Article | LibreCat-ID: 20998
Hahn, O., et al. “Beeinflussung Der Mechanischen Eigenschaften Geklebter Kunststoffverbindungen Durch Diffusion von Klebstoffbestandteilen in Die Polymeren Fügeteile.” Schweißen Und Schneiden, vol. 52, no. 6, 2000, pp. 340–48.
LibreCat
2000 | Journal Article | LibreCat-ID: 20999
Hahn, O., et al. “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, 2000, pp. 412–18.
LibreCat
2000 | Report | LibreCat-ID: 21001
Hahn, O., et al. Analyse Der Entstehung von Abzeichnungen an Klebungen Dünnwandiger Bauteile. Verlag und Vertriebsgesellschaft mbH, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 21002
Hahn, O., et al. “Kleben in Kombination Mit Fügen Durch Umformen.” Der Praktiker , vol. 9, 2000, pp. 356–61.
LibreCat
2000 | Conference Paper | LibreCat-ID: 21003
Bohling, P., et al. Eigenschaften von Thermisch Und Wärmearm Gefügten Al-/Mg-Verbindungen Für Den Strukturellen Karosserieleichtbau. 2000, pp. 199–210.
LibreCat
2000 | Journal Article | LibreCat-ID: 21006
Meschut, Gerson. “Eigenschaftsoptimierte Verbindungen Durch Wärmearmes Hybridfügen.” Adhäsion, vol. 44, no. 11, 2000, pp. 14–21.
LibreCat