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.

290 Publications


2000 | Dissertation | LibreCat-ID: 24495
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
 

2000 | Book | LibreCat-ID: 24496
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
 

2000 | Book | LibreCat-ID: 24497
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
 

2000 | Conference (Editor) | LibreCat-ID: 24498
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
 

2000 | Dissertation | LibreCat-ID: 24499
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
 

2000 | Dissertation | LibreCat-ID: 24500
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
 

2000 | Dissertation | LibreCat-ID: 24501
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
 

2000 | Dissertation | LibreCat-ID: 24503
Bartscher, Thomas. Methoden des Integrierten Workflowmanagements (IWFM). Vol. 86. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24506
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
 

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

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

2000 | Journal Article | LibreCat-ID: 26004
Schulz, M., Michael Tiemann, M. Fröba, and C. Jäger. “NMR Characterization of Mesostructured Aluminophosphates.” The Journal of Physical Chemistry B, 2000, 10473–81. https://doi.org/10.1021/jp000337n.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 26005
Tiemann, Michael, M. Fröba, G. Rapp, and S. S. Funari. “Nonaqueous Synthesis of Mesostructured Aluminophosphate/Surfactant Composites:  Synthesis, Characterization, and In-Situ SAXS Studies.” Chemistry of Materials, 2000, 1342–48. https://doi.org/10.1021/cm991165d.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 26006
Tiemann, Michael, M. Fröba, G. Rapp, and S.S. Funari. “In-Situ Small Angle x-Ray Scattering (SAXS) Studies on the Formation of Mesostructured Aluminophosphate / Surfactant Composite Materials.” In Nanoporous Materials II, Proceedings of the 2nd Conference on Access in Nanoporous Materials, 2000. https://doi.org/10.1016/s0167-2991(00)80258-x.
LibreCat | DOI
 

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, 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): 147--164. https://doi.org/10.1007/s001650070026.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3249
Fischer, Clemens, and Heike 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, edited by Teodor Rus, 469--483. Lecture Notes in Computer Science, 2000. https://doi.org/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.” 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 | DOI
 

2000 | Conference Paper | LibreCat-ID: 3251
Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” In 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, 213--231. {IFIP} Conference Proceedings, 2000. https://doi.org/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.” In Kompendium Weiterbildung, edited by Christian Harteis, Helmut Heid, and Susanne Kraft, 209--217. Opladen: Leske+Budrich, 2000.
LibreCat
 

Filters and Search Terms

year=2000

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed