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.
403 Publications
2000 | Book Chapter | LibreCat-ID: 1947
Europäischer Betriebsrat / Betriebsräte in Europa – Strategien und Chancen der Europaweiten Vereinheitlichung der Arbeitnehmerbeteiligung an unternehmerischen und personalpolitischen Entscheidungen –
D. Krimphove, in: A. Clermont, W. Schmeisser, D. Krimphove (Eds.), Personalführung Und Organisation, Verlag Vahlen, München, 2000, pp. 505 – 540.
LibreCat
D. Krimphove, in: A. Clermont, W. Schmeisser, D. Krimphove (Eds.), Personalführung Und Organisation, Verlag Vahlen, München, 2000, pp. 505 – 540.
2000 | Encyclopedia Article | LibreCat-ID: 19478
Heiner Müller: Das eiserne Kreuz; Der Vater; Wüsten der Liebe
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, Reclam, Stuttgart, 2000, pp. 93–97.
LibreCat
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, Reclam, Stuttgart, 2000, pp. 93–97.
2000 | Encyclopedia Article | LibreCat-ID: 19479
Herta Müller: Niederungen; Der Fuchs war damals schon der Jäger; Herztier
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, Reclam, Stuttgart, 2000, pp. 505–510.
LibreCat
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, Reclam, Stuttgart, 2000, pp. 505–510.
2000 | Book Review | LibreCat-ID: 19546
Horst Domdey: Produktivkraft Tod. Das Drama Heiner Müllers. Köln u.a.: Böhlau, 1998
N.O. Eke, Germanistik 41 (2000) 294–295.
LibreCat
N.O. Eke, Germanistik 41 (2000) 294–295.
2000 | Book Review | LibreCat-ID: 19547
Wynfrid Kriegleder: Vorwärts in die Vergangenheit. Das Bild der USA im deutschsprachigen Roman von 1776 bis 1855. Tübingen: Stauffenburg Verlag, 1999
N.O. Eke, Germanistik 41 (2000) 158–159.
LibreCat
N.O. Eke, Germanistik 41 (2000) 158–159.
2000 | Book Review | LibreCat-ID: 19548
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
N.O. Eke, 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) 9 Seiten.
LibreCat
N.O. Eke, 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) 9 Seiten.
2000 | Book Review | LibreCat-ID: 19549
Wolfgang Struck: Konfigurationen der Vergangenheit. Deutsche Geschichtsdramen im Zeitalter der Restauration. Tübingen: Max Niemeyer Verlag, 1997
N.O. Eke, 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) 6 Seiten.
LibreCat
N.O. Eke, 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) 6 Seiten.
2000 | Dissertation | LibreCat-ID: 19620
Communication in Parallel Systems-Models, Algorithms and Implementations
I. Rieping, Communication in Parallel Systems-Models, Algorithms and Implementations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
I. Rieping, Communication in Parallel Systems-Models, Algorithms and Implementations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 19621
Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints
M. Westermann, Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
| Files available
M. Westermann, Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Journal Article | LibreCat-ID: 19709
Das Fremde spüren - dem Anderen begegnen. Elisabeth Reuter: Soham. Eine Geschichte vom Fremdsein
P. Büker, Praxis Deutsch 27, H. 162 (2000) 31–36.
LibreCat
P. Büker, Praxis Deutsch 27, H. 162 (2000) 31–36.
2000 | Book Chapter | LibreCat-ID: 19710
Europaoffenes Lernen mit Grundschulkindern oder: Europa beginnt in der Primarstufe
P. Büker, in: U. Kurth (Ed.), Bildungsprojekt Europa in der universitären Lehrerausbildung. Standortvergewisserung - Perspektivenentwicklung - Erfahrungspräsentation, Medien-Verlag, Bielefeld, 2000, pp. 63–78.
LibreCat
P. Büker, in: U. Kurth (Ed.), Bildungsprojekt Europa in der universitären Lehrerausbildung. Standortvergewisserung - Perspektivenentwicklung - Erfahrungspräsentation, Medien-Verlag, Bielefeld, 2000, pp. 63–78.
2000 | Report | LibreCat-ID: 19733
PUB-Library, Release 7.0, User Guide and Function Reference
O. Bonorden, I. Rieping, I. von Otte, B. Juurlink, PUB-Library, Release 7.0, User Guide and Function Reference, 2000.
LibreCat
| Files available
O. Bonorden, I. Rieping, I. von Otte, B. Juurlink, PUB-Library, Release 7.0, User Guide and Function Reference, 2000.
2000 | Habilitation | LibreCat-ID: 19784
Probabilistic Methods for Coordination Problems
C. Scheideler, Probabilistic Methods for Coordination Problems, 2000.
LibreCat
C. Scheideler, Probabilistic Methods for Coordination Problems, 2000.
2000 | Conference Paper | LibreCat-ID: 19849
Tradeoff analysis and architecture design of a hybrid hardware/software sorter
M. Bednara, O. Beyer, J. Teich, R. Wanka, in: Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP), 2000, pp. 299–308.
LibreCat
| DOI
M. Bednara, O. Beyer, J. Teich, R. Wanka, in: Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP), 2000, pp. 299–308.
2000 | Conference Paper | LibreCat-ID: 2003
RsdEditor: A Graphical User Interface for Specifying Metacomputer Components
R. Baraglia, A. Keller, D. Laforenza, A. Reinefeld, in: Proc. Heterogenous Computing Workshop HCW at IPDPS, Cancun, Mexico, 2000, pp. 336–348.
LibreCat
| DOI
R. Baraglia, A. Keller, D. Laforenza, A. Reinefeld, in: Proc. Heterogenous Computing Workshop HCW at IPDPS, Cancun, Mexico, 2000, pp. 336–348.
2000 | Journal Article | LibreCat-ID: 27987
Carbohydrate sources and glycaemic control in Type 1 diabetes mellitus. EURODIAB IDDM Complications Study Group.
A. Buyken, M. Toeller, G. Heitkamp, K. Irsigler, C. Holler, F. Santeusanio, P. Stehle, J. Fuller, Diabet Med 17 (2000) 351–359.
LibreCat
| DOI
| PubMed | Europe PMC
A. Buyken, M. Toeller, G. Heitkamp, K. Irsigler, C. Holler, F. Santeusanio, P. Stehle, J. Fuller, Diabet Med 17 (2000) 351–359.
2000 | Mastersthesis | LibreCat-ID: 2433
Hardware/Software Codesign in Speech Compression Applications
C. Plessl, S. Maurer, Hardware/Software Codesign in Speech Compression Applications, Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.
LibreCat
C. Plessl, S. Maurer, Hardware/Software Codesign in Speech Compression Applications, Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.
2000 | Dissertation | LibreCat-ID: 2434
Werkzeugunterstützte effiziente Nutzung von Hochleistungsrechnern
J. Simon, Werkzeugunterstützte Effiziente Nutzung von Hochleistungsrechnern, Dr. Dirk Blunk Verlag, 2000.
LibreCat
J. Simon, Werkzeugunterstützte Effiziente Nutzung von Hochleistungsrechnern, Dr. Dirk Blunk Verlag, 2000.
2000 | Book | LibreCat-ID: 24483
KMUnet - Ein Konzept zur ablauforganisatorischen Gestaltung der Lieferanteneinbindung
U. Schäfermeier, C. Bischoff, KMUnet - Ein Konzept zur ablauforganisatorischen Gestaltung der Lieferanteneinbindung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
U. Schäfermeier, C. Bischoff, KMUnet - Ein Konzept zur ablauforganisatorischen Gestaltung der Lieferanteneinbindung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Book | LibreCat-ID: 24484
Regeln in einer Mengenplanung unter Ausbringungsgrenzen
N. Holthöfer, Regeln in einer Mengenplanung unter Ausbringungsgrenzen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
N. Holthöfer, Regeln in einer Mengenplanung unter Ausbringungsgrenzen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 24485
Verfahren zur kooperativen Szenario-Erstellung in Industrieunternehmen
O. Schlake, Verfahren zur kooperativen Szenario-Erstellung in Industrieunternehmen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
O. Schlake, Verfahren zur kooperativen Szenario-Erstellung in Industrieunternehmen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 24486
Methode zur Gestaltung von Leistungserstellungsprozessen in Industrieunternehmen
A. Lewandowski, Methode zur Gestaltung von Leistungserstellungsprozessen in Industrieunternehmen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
A. Lewandowski, Methode zur Gestaltung von Leistungserstellungsprozessen in Industrieunternehmen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 24487
Eine Spezifikationssprache für die Fertigungslenkung
A. Schmidtmann, Eine Spezifikationssprache für die Fertigungslenkung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
A. Schmidtmann, Eine Spezifikationssprache für die Fertigungslenkung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 24488
Eine Referenzarchitektur für Koopertationsbörsen
R. Grobbel, Eine Referenzarchitektur für Koopertationsbörsen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
R. Grobbel, Eine Referenzarchitektur für Koopertationsbörsen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 24489
Modelocked Waveguide Lasers in Lithium Niobate
R. Wessel, Modelocked Waveguide Lasers in Lithium Niobate, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
R. Wessel, Modelocked Waveguide Lasers in Lithium Niobate, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 24490
Energetische Modellierung neuronaler Signalverarbeitung
A. Löffler, Energetische Modellierung neuronaler Signalverarbeitung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
A. Löffler, Energetische Modellierung neuronaler Signalverarbeitung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 24491
Computational Intelligence in der Produktionswirtschaft
L.A. Ludwig, Computational Intelligence in der Produktionswirtschaft, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
L.A. Ludwig, Computational Intelligence in der Produktionswirtschaft, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 24492
Eine objektorientierte Systemkomponente zur Workflow-Modellierung und -Ausführung unter besonderer Berücksichtigung der Telekooperation
R. Wenski, Eine objektorientierte Systemkomponente zur Workflow-Modellierung und -Ausführung unter besonderer Berücksichtigung der Telekooperation, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
R. Wenski, Eine objektorientierte Systemkomponente zur Workflow-Modellierung und -Ausführung unter besonderer Berücksichtigung der Telekooperation, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 24493
Produktkonfiguration auf Basis von Engineering Data Management-Systemen
M. Grasmann, Produktkonfiguration auf Basis von Engineering Data Management-Systemen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
M. Grasmann, Produktkonfiguration auf Basis von Engineering Data Management-Systemen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 24494
Towards Operating System Synthesis
C. Ditze, Towards Operating System Synthesis, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
C. Ditze, Towards Operating System Synthesis, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 24495
Analog VLSI Implementation of a Local Cluster Neural Network
T. Körner, Analog VLSI Implementation of a Local Cluster Neural Network, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
T. Körner, Analog VLSI Implementation of a Local Cluster Neural Network, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Book | LibreCat-ID: 24496
Kooperatives Produktengineering - Ein neues Selbstverständnis des ingenieurmäßigen Wirkens
J. Gausemeier, U. Lindemann, G. Reinhart, H. Wiendahl, Kooperatives Produktengineering - Ein neues Selbstverständnis des ingenieurmäßigen Wirkens, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
J. Gausemeier, U. Lindemann, G. Reinhart, H. Wiendahl, Kooperatives Produktengineering - Ein neues Selbstverständnis des ingenieurmäßigen Wirkens, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Book | LibreCat-ID: 24497
Entwicklungsumgebungen Mechatronik - Methoden und Werkzeuge zur Entwicklung mechatronischer Systeme
J. Gausemeier, J. Lückel, Entwicklungsumgebungen Mechatronik - Methoden und Werkzeuge zur Entwicklung mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
J. Gausemeier, J. Lückel, Entwicklungsumgebungen Mechatronik - Methoden und Werkzeuge zur Entwicklung mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Conference (Editor) | LibreCat-ID: 24498
4. Internationales Heinz Nixdorf Symposium - Auf dem Weg zu den Produkten für die Märkte von morgen...
J. Gausemeier, J. Lückel, eds., 4. Internationales Heinz Nixdorf Symposium - Auf dem Weg zu den Produkten für die Märkte von morgen..., Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
J. Gausemeier, J. Lückel, eds., 4. Internationales Heinz Nixdorf Symposium - Auf dem Weg zu den Produkten für die Märkte von morgen..., Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 24499
The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models
G. Del Castillo, The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
G. Del Castillo, The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 24500
Eine Methode zur systemorientierten organisatorischen Gestaltung der Zweckaufgabenverrichtung in kooperativen Verbünden; Klassifikation, Aufgabenzuordnung
U. Schäfermeier, Eine Methode zur systemorientierten organisatorischen Gestaltung der Zweckaufgabenverrichtung in kooperativen Verbünden; Klassifikation, Aufgabenzuordnung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
U. Schäfermeier, Eine Methode zur systemorientierten organisatorischen Gestaltung der Zweckaufgabenverrichtung in kooperativen Verbünden; Klassifikation, Aufgabenzuordnung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 24501
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
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, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
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, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 24503
Methoden des Integrierten Workflowmanagements (IWFM)
T. Bartscher, Methoden des Integrierten Workflowmanagements (IWFM), Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
T. Bartscher, Methoden des Integrierten Workflowmanagements (IWFM), Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 24506
Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme
J. Quintanilla, Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
J. Quintanilla, Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Journal Article | LibreCat-ID: 2585
Funktionales Qualitätscontrolling bei mehrstufiger Fertigung
S. Betz, Zeitschrift für Planung 11 (2000) 169–193.
LibreCat
S. Betz, Zeitschrift für Planung 11 (2000) 169–193.
2000 | Journal Article | LibreCat-ID: 2586
Qualitätskostencontrolling auf Basis des Half-Life-Konzepts
S. Betz, Betrieb und Wirtschaft 54 (2000) 749–755.
LibreCat
S. Betz, Betrieb und Wirtschaft 54 (2000) 749–755.
2000 | Journal Article | LibreCat-ID: 3247
Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method
C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.
LibreCat
C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.
2000 | Journal Article | LibreCat-ID: 3248
Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications
H. Wehrheim, Formal Asp. Comput. (2000) 147--164.
LibreCat
| DOI
H. Wehrheim, Formal Asp. Comput. (2000) 147--164.
2000 | Conference Paper | LibreCat-ID: 3249
Behavioural Subtyping Relations for Object-Oriented Formalisms
C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
LibreCat
| DOI
C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
2000 | Conference Paper | LibreCat-ID: 3250
Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods
H. Wehrheim, in: T. S. E. Maibaum (Ed.), 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
| DOI
H. Wehrheim, in: T. S. E. Maibaum (Ed.), 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.
2000 | Conference Paper | LibreCat-ID: 3251
Behavioural Subtyping and Property Preservation
H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), 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}, 2000, pp. 213--231.
LibreCat
| DOI
H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), 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}, 2000, pp. 213--231.
2000 | Book Chapter | LibreCat-ID: 3602
Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung
C. Harteis, in: C. Harteis, H. Heid, S. Kraft (Eds.), Kompendium Weiterbildung, Leske+Budrich, Opladen, 2000, pp. 209--217.
LibreCat
C. Harteis, in: C. Harteis, H. Heid, S. Kraft (Eds.), Kompendium Weiterbildung, Leske+Budrich, Opladen, 2000, pp. 209--217.
2000 | Book (Editor) | LibreCat-ID: 3669
Kompendium Weiterbildung
C. Harteis, H. Heid, S. Kraft, eds., Kompendium Weiterbildung, Leske+Budrich, Opladen, 2000.
LibreCat
C. Harteis, H. Heid, S. Kraft, eds., Kompendium Weiterbildung, Leske+Budrich, Opladen, 2000.
2000 | Book | LibreCat-ID: 3674
Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung
C. Harteis, Berufliche Weiterbildung Heute Und Morgen: Zukünftige Kompetenzanforderungen an Bildungspersonal Und Nachwuchsrekrutierung, Neuer Merkur, München, 2000.
LibreCat
C. Harteis, Berufliche Weiterbildung Heute Und Morgen: Zukünftige Kompetenzanforderungen an Bildungspersonal Und Nachwuchsrekrutierung, Neuer Merkur, München, 2000.
2000 | Book Chapter | LibreCat-ID: 3023
Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices
J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.
LibreCat
| DOI
J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.