Schlake, Oliver. Verfahren zur kooperativen Szenario-Erstellung in Industrieunternehmen. Vol. 67. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24485

Lewandowski, Andreas. Methode zur Gestaltung von Leistungserstellungsprozessen in Industrieunternehmen. Vol. 68. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24486

Schmidtmann, Achim. Eine Spezifikationssprache für die Fertigungslenkung. Vol. 69. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24487

Grobbel, Rainer. Eine Referenzarchitektur für Koopertationsbörsen. Vol. 70. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24488

Wessel, Rudolf. Modelocked Waveguide Lasers in Lithium Niobate. Vol. 71. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24489

Löffler, Axel. Energetische Modellierung neuronaler Signalverarbeitung. Vol. 72. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24490

Ludwig, Lars A. Computational Intelligence in der Produktionswirtschaft. Vol. 73. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24491

Wenski, Rüdiger. Eine objektorientierte Systemkomponente zur Workflow-Modellierung und -Ausführung unter besonderer Berücksichtigung der Telekooperation. Vol. 74. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24492

Grasmann, Mathias. Produktkonfiguration auf Basis von Engineering Data Management-Systemen. Vol. 75. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24493

Ditze, Carsten. Towards Operating System Synthesis. Vol. 76. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24494

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

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

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

Gausemeier, Jürgen, and Joachim 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. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24498

Del Castillo, Giuseppe. 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. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24499

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

Krüger, Jens. 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. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24501

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

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

Betz, Stefan. “Funktionales Qualitätscontrolling bei mehrstufiger Fertigung.” Zeitschrift für Planung 11 (2000): 169–93.
LibreCat: /record/2585

Betz, Stefan. “Qualitätskostencontrolling auf Basis des Half-Life-Konzepts.” Betrieb und Wirtschaft 54 (2000): 749–55.
LibreCat: /record/2586

Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the EATCS, 2000, 92--101.
LibreCat: /record/3247

Wehrheim, Heike. “Data Abstraction Techniques in the Validation of CSP-OZ Specifications.”https://doi.org/10.1007/s001650070026__Formal Asp. Comput., no. 3 (2000): 147--164.https://doi.org/10.1007/s001650070026 .
LibreCat: /record/3248
DOI: 10.1007/s001650070026

Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.”https://doi.org/10.1007/3-540-45499-3_33__In Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, edited by Teodor Rus, 469--483. Lecture Notes in Computer Science, 2000.https://doi.org/10.1007/3-540-45499-3_33 .
LibreCat: /record/3249
DOI: 10.1007/3-540-45499-3_33

Wehrheim, Heike. “Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods.”https://doi.org/10.1007/3-540-46428-X_23__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, edited by T. S. E. Maibaum, 334--348. Lecture Notes in Computer Science, 2000.https://doi.org/10.1007/3-540-46428-X_23 .
LibreCat: /record/3250
DOI: 10.1007/3-540-46428-X_23

Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.”https://doi.org/10.1007/978-0-387-35520-7_11__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, edited by Scott F. Smith and Carolyn L. Talcott, 213--231. IFIP Conference Proceedings, 2000.https://doi.org/10.1007/978-0-387-35520-7_11 .
LibreCat: /record/3251
DOI: 10.1007/978-0-387-35520-7_11

Harteis, Christian. “Beschäftigte Im Spannungsfeld Ökonomischer Und Pädagogischer Prinzipien Betrieblicher Personal-Und Organisationsentwicklungsentwicklung.” In Kompendium Weiterbildung, edited by Christian Harteis, Helmut Heid, and Susanne Kraft, 209--217. Opladen: Leske+Budrich, 2000.
LibreCat: /record/3602

Harteis, Christian, Helmut Heid, and Susanne Kraft, eds. Kompendium Weiterbildung. Opladen: Leske+Budrich, 2000.
LibreCat: /record/3669

Harteis, Christian. Berufliche Weiterbildung Heute Und Morgen: Zukünftige Kompetenzanforderungen an Bildungspersonal Und Nachwuchsrekrutierung. München: Neuer Merkur, 2000.
LibreCat: /record/3674

Blömer, Johannes. “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices.”https://doi.org/10.1007/3-540-45022-x_22__In Automata, Languages and Programming, 248–59. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000.https://doi.org/10.1007/3-540-45022-x_22 .
LibreCat: /record/3023
DOI: 10.1007/3-540-45022-x_22

Hahn, O., M. Eis, and Gerson Meschut. “Qualitätssicherung Bei Der Herstellung von Klebverbindungen.” In Tagungsband Zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen,” 147–61. Würzburg, 2000.
LibreCat: /record/20993

Eis, M., and Gerson Meschut. “Minimierung von Bauteildeformationen Beim Kleben Durch Beachtung Der Konstruktiven Und Werkstofftechnischen Einflußgrößen.” In Tagungsband Zur Veranstaltung EndForm 2000, 135–52. Aachen: Shaker Verlag, 2000.
LibreCat: /record/20994

Hahn, O., M. Koyro, and Gerson Meschut. “Eigenschaften von Wärmearm Gefügten Al-Rahmentragwerken Mit IHU-Knotenelementen.” In Tagungsband Zur Veranstaltung EndForm 2000, 225–41. Aachen: Shaker Verlag, 2000.
LibreCat: /record/20995

Hahn, O., M. Eis, and Gerson Meschut. “Erhöhung Der Der Bauteilsteifigkeit Durch Optimierung von Unterfütterungsklebungen.” In Tagungsband Zur Swiss Bondung ´00. Rapperswil (CH), 2000.
LibreCat: /record/20996

Hahn, O., G. Besserdich, N. Dölle, J. Jendrny, M. Koyro, T. Thesing, and Gerson Meschut. “Prüfung Und Berechnung Geklebter Blech-Profil-Verbindungen Aus Aluminium.” Schweißen Und Schneiden 50, no. 5 (2000): 266–71.
LibreCat: /record/20997

Hahn, O., Gerson 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 52, no. 6 (2000): 340–48.
LibreCat: /record/20998

Hahn, O., Gerson 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 52, no. 7 (2000): 412–18.
LibreCat: /record/20999

Hahn, O., Gerson 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: /record/21001

Hahn, O., M. Koyro, and Gerson Meschut. “Kleben in Kombination Mit Fügen Durch Umformen.” Der Praktiker  9 (2000): 356–61.
LibreCat: /record/21002

Bohling, P., S. Jüttner, M. Kaiser, Gerson Meschut, and S. Schumann. “Eigenschaften von Thermisch Und Wärmearm Gefügten Al-/Mg-Verbindungen Für Den Strukturellen Karosserieleichtbau,” 199–210. Paderborn, 2000.
LibreCat: /record/21003

Meschut, Gerson. “Eigenschaftsoptimierte Verbindungen Durch Wärmearmes Hybridfügen.” Adhäsion 44, no. 11 (2000): 14–21.
LibreCat: /record/21006

Koyro, M., and Gerson Meschut. “Status Und Weiterentwicklungsmöglichkeiten Beim Strukturellen Kleben Bei Spaceframe-Konstruktionen.” In Tagungsband Zur 4. Jahres- Und 1. Europäischen Fachkonferenz “Kleben Im Automobilbau,” 114–26. Bad Nauheim, 2000.
LibreCat: /record/21007

Adler, Micah, and Christian Scheideler. “Efficient Communication Strategies for Ad Hoc Wireless Networks.”https://doi.org/10.1007/s002240010006__Theory Comput. Syst. 33, no. 5/6 (2000): 337--391.https://doi.org/10.1007/s002240010006 .
LibreCat: /record/2143
DOI: 10.1007/s002240010006

Scheideler, Christian, and Berthold Vöcking. “From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols.”https://doi.org/10.1137/S0097539799353431__SIAM J. Comput. 30, no. 4 (2000): 1126--1155.https://doi.org/10.1137/S0097539799353431 .
LibreCat: /record/2145
DOI: 10.1137/S0097539799353431

Berenbrink, Petra, André Brinkmann, and Christian Scheideler. “Distributed Path Selection for Storage Networks.” In PDPTA, 2000.
LibreCat: /record/2146

Czumaj, Artur, and Christian Scheideler. “Coloring Non-Uniform Hypergraphs: A New Algorithmic Approach to the General Lovász Local Lemma.” In SODA, 30--39, 2000.
LibreCat: /record/2147

Czumaj, Artur, and Christian Scheideler. “Coloring Nonuniform Hypergraphs: A New Algorithmic Approach to the General Lovász Local Lemma.” Random Struct. Algorithms 17, no. 3–4 (2000): 213--237.
LibreCat: /record/2148

Brinkmann, André, Kay Salzwedel, and Christian Scheideler. “Efficient, Distributed Data Placement Strategies for Storage Area Networks (Extended Abstract).” In SPAA, 119--128, 2000.
LibreCat: /record/2149

Czumaj, Artur, and Christian Scheideler. “A New Algorithm Approach to the General Lovász Local Lemma with Applications to Scheduling and Satisfiability Problems (Extended Abstract).” In STOC, 38--47. ACM, 2000.
LibreCat: /record/2150

Peckhaus, Volker, ed. “Contributing Editor” Für Die Sektion “Philosophy of Mathematics” in: The History of Mathematics from Antiquity to the Present: A Selective Annotated Bibliography, Edited by Joseph W. Dauben, Revised Edition on CD-ROM by Albert C. Lewis, in Cooperation with the International Commission on the History Mathematics, American Mathematical Society, 2000.
LibreCat: /record/17458