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.

298 Publications


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
 

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
 

2000 | Habilitation | LibreCat-ID: 19784
Probabilistic Methods for Coordination Problems
C. Scheideler, Probabilistic Methods for Coordination Problems, 2000.
LibreCat
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

2000 | Dissertation | LibreCat-ID: 24490
Energetische Modellierung neuronaler Signalverarbeitung
A. Löffler, Energetische Modellierung neuronaler Signalverarbeitung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

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
 

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
 

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
 

2000 | Dissertation | LibreCat-ID: 24494
Towards Operating System Synthesis
C. Ditze, Towards Operating System Synthesis, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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

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

2000 | Journal Article | LibreCat-ID: 26004
NMR Characterization of Mesostructured Aluminophosphates
M. Schulz, M. Tiemann, M. Fröba, C. Jäger, The Journal of Physical Chemistry B (2000) 10473–10481.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 26005
Nonaqueous Synthesis of Mesostructured Aluminophosphate/Surfactant Composites:  Synthesis, Characterization, and In-Situ SAXS Studies
M. Tiemann, M. Fröba, G. Rapp, S.S. Funari, Chemistry of Materials (2000) 1342–1348.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 26006
In-situ small angle x-ray scattering (SAXS) studies on the formation of mesostructured aluminophosphate / surfactant composite materials
M. Tiemann, M. Fröba, G. Rapp, S.S. Funari, in: Nanoporous Materials II, Proceedings of the 2nd Conference on Access in Nanoporous Materials, 2000.
LibreCat | DOI
 

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
 

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
 

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
 

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
 

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
 

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
 

2000 | Book (Editor) | LibreCat-ID: 3669
Kompendium Weiterbildung
C. Harteis, H. Heid, S. Kraft, eds., Kompendium Weiterbildung, Leske+Budrich, Opladen, 2000.
LibreCat
 

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
 

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
 

2000 | Journal Article | LibreCat-ID: 27935 LibreCat
 

2000 | Conference Paper | LibreCat-ID: 20993
Qualitätssicherung bei der Herstellung von Klebverbindungen
O. Hahn, M. Eis, G. Meschut, in: Tagungsband Zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen,” Würzburg, 2000, pp. 147–161.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 20994
Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen
M. Eis, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 135–152.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 20995
Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen
O. Hahn, M. Koyro, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 225–241.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 20996
Erhöhung der der Bauteilsteifigkeit durch Optimierung von Unterfütterungsklebungen
O. Hahn, M. Eis, G. Meschut, in: Tagungsband Zur Swiss Bondung ´00, Rapperswil (CH), 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 20997
Prüfung und Berechnung geklebter Blech-Profil-Verbindungen aus Aluminium
O. Hahn, G. Besserdich, N. Dölle, J. Jendrny, M. Koyro, T. Thesing, G. Meschut, Schweißen Und Schneiden 50 (2000) 266–271.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 20998 LibreCat
 

Filters and Search Terms

year=2000

Search

Filter Publications

Display / Sort

Export / Embed