T. Körner, Analog VLSI Implementation of a Local Cluster Neural Network, vol. 77. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24495

J. Gausemeier, U. Lindemann, G. Reinhart, and H. Wiendahl, Kooperatives Produktengineering - Ein neues Selbstverständnis des ingenieurmäßigen Wirkens, vol. 79. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24496

J. Gausemeier and J. Lückel, Entwicklungsumgebungen Mechatronik - Methoden und Werkzeuge zur Entwicklung mechatronischer Systeme, vol. 80. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24497

J. Gausemeier and J. Lückel, Eds., 4. Internationales Heinz Nixdorf Symposium - Auf dem Weg zu den Produkten für die Märkte von morgen..., vol. 82. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24498

G. Del Castillo, The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models, vol. 83. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24499

U. Schäfermeier, Eine Methode zur systemorientierten organisatorischen Gestaltung der Zweckaufgabenverrichtung in kooperativen Verbünden; Klassifikation, Aufgabenzuordnung, vol. 84. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24500

J. Krüger, Ganzheitliche Beherrschung von Abläufen in und zwischen soziotechnischen Systemen: Ein Beitrag zur Modellbildung und zum paradigmatischen Verständnis von Industrieunternehmen zur Integration von Mensc, vol. 85. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24501

T. Bartscher, Methoden des Integrierten Workflowmanagements (IWFM), vol. 86. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24503

J. Quintanilla, Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme, vol. 87. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24506

S. Betz, “Funktionales Qualitätscontrolling bei mehrstufiger Fertigung,” Zeitschrift für Planung, vol. 11, pp. 169–193, 2000.
LibreCat: /record/2585

S. Betz, “Qualitätskostencontrolling auf Basis des Half-Life-Konzepts,” Betrieb und Wirtschaft, vol. 54, pp. 749–755, 2000.
LibreCat: /record/2586

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: /record/3247

H. Wehrheim, “Data Abstraction Techniques in the Validation of CSP-OZ Specifications,” Formal Asp. Comput., no. 3, pp. 147--164, 2000.
LibreCat: /record/3248
DOI: 10.1007/s001650070026

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: /record/3249
DOI: 10.1007/3-540-45499-3_33

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: /record/3250
DOI: 10.1007/3-540-46428-X_23

H. Wehrheim, “Behavioural Subtyping and Property Preservation,” in Formal Methods for Open Object-Based Distributed Systems IV, IFIF T/W.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: /record/3251
DOI: 10.1007/978-0-387-35520-7_11

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: /record/3602

C. Harteis, H. Heid, and S. Kraft, Eds., Kompendium Weiterbildung. Opladen: Leske+Budrich, 2000.
LibreCat: /record/3669

C. Harteis, Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung. München: Neuer Merkur, 2000.
LibreCat: /record/3674

J. Blömer, “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices,” in Automata, Languages and Programming, Berlin, Heidelberg: Springer Berlin Heidelberg, 2000, pp. 248–259.
LibreCat: /record/3023
DOI: 10.1007/3-540-45022-x_22