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.
9703 Publications
2000 | Dissertation | LibreCat-ID: 24489
@book{Wessel_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Modelocked Waveguide Lasers in Lithium Niobate}, volume={71}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Wessel, Rudolf}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Dissertation | LibreCat-ID: 24490
@book{Löffler_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Energetische Modellierung neuronaler Signalverarbeitung}, volume={72}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Löffler, Axel}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Dissertation | LibreCat-ID: 24491
@book{Ludwig_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Computational Intelligence in der Produktionswirtschaft}, volume={73}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Ludwig, Lars A.}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Dissertation | LibreCat-ID: 24492
@book{Wenski_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Eine objektorientierte Systemkomponente zur Workflow-Modellierung und -Ausführung unter besonderer Berücksichtigung der Telekooperation}, volume={74}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Wenski, Rüdiger}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Dissertation | LibreCat-ID: 24493
@book{Grasmann_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Produktkonfiguration auf Basis von Engineering Data Management-Systemen}, volume={75}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Grasmann, Mathias}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Dissertation | LibreCat-ID: 24494
@book{Ditze_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Towards Operating System Synthesis}, volume={76}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Ditze, Carsten}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Dissertation | LibreCat-ID: 24495
@book{Körner_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Analog VLSI Implementation of a Local Cluster Neural Network}, volume={77}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Körner, Tim}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Book | LibreCat-ID: 24496
@book{Gausemeier_Lindemann_Reinhart_Wiendahl_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Kooperatives Produktengineering - Ein neues Selbstverständnis des ingenieurmäßigen Wirkens}, volume={79}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Gausemeier, Jürgen and Lindemann, Udo and Reinhart, G. and Wiendahl, H.}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Book | LibreCat-ID: 24497
@book{Gausemeier_Lückel_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Entwicklungsumgebungen Mechatronik - Methoden und Werkzeuge zur Entwicklung mechatronischer Systeme}, volume={80}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Gausemeier, Jürgen and Lückel, Joachim}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Conference (Editor) | LibreCat-ID: 24498
@book{Gausemeier_Lückel_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={4. Internationales Heinz Nixdorf Symposium - Auf dem Weg zu den Produkten für die Märkte von morgen...}, volume={82}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Dissertation | LibreCat-ID: 24499
@book{Del Castillo_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models}, volume={83}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Del Castillo, Giuseppe}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Dissertation | LibreCat-ID: 24500
@book{Schäfermeier_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Eine Methode zur systemorientierten organisatorischen Gestaltung der Zweckaufgabenverrichtung in kooperativen Verbünden; Klassifikation, Aufgabenzuordnung}, volume={84}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Schäfermeier, Ulrich}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Dissertation | LibreCat-ID: 24501
@book{Krüger_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={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}, volume={85}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Krüger, Jens}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Dissertation | LibreCat-ID: 24503
@book{Bartscher_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Methoden des Integrierten Workflowmanagements (IWFM)}, volume={86}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Bartscher, Thomas}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Dissertation | LibreCat-ID: 24506
@book{Quintanilla_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme}, volume={87}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Quintanilla, Julia}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Journal Article | LibreCat-ID: 2585
@article{Betz_2000, title={Funktionales Qualitätscontrolling bei mehrstufiger Fertigung}, volume={11}, journal={Zeitschrift für Planung}, author={Betz, Stefan}, year={2000}, pages={169–193} }
LibreCat
2000 | Journal Article | LibreCat-ID: 2586
@article{Betz_2000, title={Qualitätskostencontrolling auf Basis des Half-Life-Konzepts}, volume={54}, journal={Betrieb und Wirtschaft}, author={Betz, Stefan}, year={2000}, pages={749–755} }
LibreCat
2000 | Journal Article | LibreCat-ID: 3247
@article{Fischer_Wehrheim_2000, title={Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}, journal={Bulletin of the {EATCS}}, author={Fischer, Clemens and Wehrheim, Heike}, year={2000}, pages={92--101} }
LibreCat
2000 | Journal Article | LibreCat-ID: 3248
@article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}, DOI={10.1007/s001650070026}, number={3}, journal={Formal Asp. Comput.}, author={Wehrheim, Heike}, year={2000}, pages={147--164} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3249
@inproceedings{Fischer_Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Behavioural Subtyping Relations for Object-Oriented Formalisms}, DOI={10.1007/3-540-45499-3_33}, booktitle={Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Rus, TeodorEditor}, year={2000}, pages={469--483}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI