Krimphove, Dieter. “Europäischer Betriebsrat / Betriebsräte in Europa  – Strategien Und Chancen Der Europaweiten Vereinheitlichung Der Arbeitnehmerbeteiligung an Unternehmerischen Und Personalpolitischen Entscheidungen –.” In Personalführung Und Organisation, edited by Alois Clermont, Wilhelm Schmeisser, and Dieter Krimphove, 505 – 540. München: Verlag Vahlen, 2000.
LibreCat: /record/1947

Eke, Norbert Otto. “Heiner Müller: Das eiserne Kreuz; Der Vater; Wüsten der Liebe.” In Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, edited by Frank Rainer Max and Christine Ruhrberg, 93–97. Stuttgart: Reclam, 2000.
LibreCat: /record/19478

Eke, Norbert Otto. “Herta Müller: Niederungen; Der Fuchs war damals schon der Jäger; Herztier.” In Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, edited by Frank Rainer Max and Christine Ruhrberg, 505–10. Stuttgart: Reclam, 2000.
LibreCat: /record/19479

Eke, Norbert Otto. “Horst Domdey: Produktivkraft Tod. Das Drama Heiner Müllers. Köln u.a.: Böhlau, 1998.” Germanistik, 2000.
LibreCat: /record/19546

Eke, Norbert Otto. “Wynfrid Kriegleder: Vorwärts in die Vergangenheit. Das Bild der USA im deutschsprachigen Roman von 1776 bis 1855. Tübingen: Stauffenburg Verlag, 1999.” Germanistik, 2000.
LibreCat: /record/19547

Eke, Norbert Otto. “Roy C. Cowen: Christian Dietrich Grabbe – Dramatiker ungelöster Widersprüche. Bielefeld: Aisthesis Verlag, 1998; Carl Wiemer: Der Paria als Unmensch. Grabbe – Genealoge des Anti-Humanitarismus. Bielefeld: Aisthesis Verlag, 1997.” Internationales Archiv für Sozialgeschichte der deutschen Literatur (IASL), Preprint der in Nr. 2/2000 erscheinenden Druckfassung im Internet (http://iasl.uni-muenchen.de, inzwischen Weiterleitung auf http://www.iaslonline.de/), 2000.
LibreCat: /record/19548

Eke, Norbert Otto. “Wolfgang Struck: Konfigurationen der Vergangenheit. Deutsche Geschichtsdramen im Zeitalter der Restauration. Tübingen: Max Niemeyer Verlag, 1997.” Internationales Archiv für Sozialgeschichte der deutschen Literatur (IASL), Preprint der in Nr. 1/2000 erscheinenden Druckfassung im Internet (http://iasl.uni-muenchen.de, inzwischen Weiterleitung auf http://www.iaslonline.de/), 2000.
LibreCat: /record/19549

Rieping, Ingo. Communication in Parallel Systems-Models, Algorithms and Implementations. Vol. 81. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/19620

Westermann, Matthias. Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints. Vol. 90. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/19621

Büker, Petra. “Das Fremde spüren - dem Anderen begegnen. Elisabeth Reuter: Soham. Eine Geschichte vom Fremdsein.” Praxis Deutsch  27, H. 162 (2000): 31–36.
LibreCat: /record/19709

Büker, Petra. “Europaoffenes Lernen mit Grundschulkindern oder: Europa beginnt in der Primarstufe.” In Bildungsprojekt Europa in der universitären Lehrerausbildung. Standortvergewisserung - Perspektivenentwicklung - Erfahrungspräsentation, edited by Ulrike Kurth, 63–78. Bielefeld: Medien-Verlag, 2000.
LibreCat: /record/19710

Bonorden, Olaf, Ingo Rieping, Ingo von Otte, and Bernhardus Juurlink. PUB-Library, Release 7.0, User Guide and Function Reference, 2000.
LibreCat: /record/19733

Scheideler, Christian. Probabilistic Methods for Coordination Problems, 2000.
LibreCat: /record/19784

Bednara, M., O. Beyer, J. Teich, and Rolf Wanka. “Tradeoff Analysis and Architecture Design of a Hybrid Hardware/Software Sorter.”https://doi.org/10.1109/asap.2000.862400__In Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP), 299–308, 2000.https://doi.org/10.1109/asap.2000.862400 .
LibreCat: /record/19849
DOI: 10.1109/asap.2000.862400

Baraglia, Ranieri, Axel Keller, Domenico Laforenza, and Alexander Reinefeld. “RsdEditor: A Graphical User Interface for Specifying Metacomputer Components.”https://doi.org/10.1109/HCW.2000.843756__In Proc. Heterogenous Computing Workshop HCW at IPDPS, 336–48. Cancun, Mexico, 2000.https://doi.org/10.1109/HCW.2000.843756 .
LibreCat: /record/2003
DOI: 10.1109/HCW.2000.843756

Buyken, Anette, M Toeller, G Heitkamp, K Irsigler, C Holler, F Santeusanio, P Stehle, and JH Fuller. “Carbohydrate Sources and Glycaemic Control in Type 1 Diabetes Mellitus. EURODIAB IDDM Complications Study Group.”https://doi.org/10.1046/j.1464-5491.2000.00283.x__Diabet Med 17, no. 5 (2000): 351–59.https://doi.org/10.1046/j.1464-5491.2000.00283.x .
LibreCat: /record/27987
DOI: 10.1046/j.1464-5491.2000.00283.x
PMID: 10872533

Plessl, Christian, and Simon Maurer. Hardware/Software Codesign in Speech Compression Applications. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.
LibreCat: /record/2433

Simon, Jens. Werkzeugunterstützte Effiziente Nutzung von Hochleistungsrechnern. Dr. Dirk Blunk Verlag, 2000.
LibreCat: /record/2434

Schäfermeier, Ulrich, and Christian Bischoff. KMUnet - Ein Konzept zur ablauforganisatorischen Gestaltung der Lieferanteneinbindung. Vol. 65. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24483

Holthöfer, Norbert. Regeln in einer Mengenplanung unter Ausbringungsgrenzen. Vol. 66. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat: /record/24484

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