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.

293 Publications


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
 

2000 | Journal Article | LibreCat-ID: 20999 LibreCat
 

2000 | Report | LibreCat-ID: 21001
Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile
O. Hahn, G. Meschut, M. Eis, G. Kötting, Analyse Der Entstehung von Abzeichnungen an Klebungen Dünnwandiger Bauteile, Verlag und Vertriebsgesellschaft mbH, Düsseldorf, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 21002
Kleben in Kombination mit Fügen durch Umformen
O. Hahn, M. Koyro, G. Meschut, Der Praktiker 9 (2000) 356–361.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 21003
Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau
P. Bohling, S. Jüttner, M. Kaiser, G. Meschut, S. Schumann, in: Paderborn, 2000, pp. 199–210.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 21006 LibreCat
 

2000 | Conference Paper | LibreCat-ID: 21007
Status und Weiterentwicklungsmöglichkeiten beim strukturellen Kleben bei Spaceframe-Konstruktionen
M. Koyro, G. Meschut, in: Tagungsband Zur 4. Jahres- Und 1. Europäischen Fachkonferenz “Kleben Im Automobilbau,” Bad Nauheim, 2000, pp. 114–126.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 2143
Efficient Communication Strategies for Ad Hoc Wireless Networks
M. Adler, C. Scheideler, Theory Comput. Syst. 33 (2000) 337--391.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 2145
From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols
C. Scheideler, B. Vöcking, SIAM J. Comput. 30 (2000) 1126--1155.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 2146 | OA
Distributed Path Selection for Storage Networks
P. Berenbrink, A. Brinkmann, C. Scheideler, in: PDPTA, 2000.
LibreCat | Files available
 

2000 | Conference Paper | LibreCat-ID: 2147 | OA LibreCat | Files available
 

Filters and Search Terms

year=2000

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed