@inbookBüker_2000, place=Bielefeld, title=Europaoffenes Lernen mit Grundschulkindern oder: Europa beginnt in der Primarstufe, booktitle=Bildungsprojekt Europa in der universitären Lehrerausbildung. Standortvergewisserung - Perspektivenentwicklung - Erfahrungspräsentation, publisher=Medien-Verlag, author=Büker, Petra, editor=Kurth, UlrikeEditor, year=2000, pages=63–78 
LibreCat: /record/19710

@bookBonorden_Rieping_von Otte_Juurlink_2000, title=PUB-Library, Release 7.0, User Guide and Function Reference, author=Bonorden, Olaf and Rieping, Ingo and von Otte, Ingo and Juurlink, Bernhardus, year=2000 
LibreCat: /record/19733

@bookScheideler_2000, title=Probabilistic Methods for Coordination Problems, author=Scheideler, Christian, year=2000 
LibreCat: /record/19784

@inproceedingsBednara_Beyer_Teich_Wanka_2000, title=Tradeoff analysis and architecture design of a hybrid hardware/software sorter, DOI=10.1109/asap.2000.862400, booktitle=Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP), author=Bednara, M. and Beyer, O. and Teich, J. and Wanka, Rolf, year=2000, pages=299–308 
LibreCat: /record/19849
DOI: 10.1109/asap.2000.862400

@inproceedingsBaraglia_Keller_Laforenza_Reinefeld_2000, place=Cancun, Mexico, title=RsdEditor: A Graphical User Interface for Specifying Metacomputer Components, DOI=10.1109/HCW.2000.843756, booktitle=Proc. Heterogenous Computing Workshop HCW at IPDPS, author=Baraglia, Ranieri and Keller, Axel and Laforenza, Domenico and Reinefeld, Alexander, year=2000, pages=336–348 
LibreCat: /record/2003
DOI: 10.1109/HCW.2000.843756

@articleBuyken_Toeller_Heitkamp_Irsigler_Holler_Santeusanio_Stehle_Fuller_2000, title=Carbohydrate sources and glycaemic control in Type 1 diabetes mellitus. EURODIAB IDDM Complications Study Group., volume=17, DOI=10.1046/j.1464-5491.2000.00283.x, number=5, journal=Diabet Med, author=Buyken, Anette and Toeller, M and Heitkamp, G and Irsigler, K and Holler, C and Santeusanio, F and Stehle, P and Fuller, JH, year=2000, pages=351–359 
LibreCat: /record/27987
DOI: 10.1046/j.1464-5491.2000.00283.x
PMID: 10872533

@bookPlessl_Maurer_2000, title=Hardware/Software Codesign in Speech Compression Applications, publisher=Computer Engineering and Networks Lab, ETH Zurich, Switzerland, author=Plessl, Christian and Maurer, Simon, year=2000 
LibreCat: /record/2433

@bookSimon_2000, title=Werkzeugunterstützte effiziente Nutzung von Hochleistungsrechnern, publisher=Dr. Dirk Blunk Verlag, author=Simon, Jens, year=2000 
LibreCat: /record/2434

@bookSchäfermeier_Bischoff_2000, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, title=KMUnet - Ein Konzept zur ablauforganisatorischen Gestaltung der Lieferanteneinbindung, volume=65, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Schäfermeier, Ulrich and Bischoff, Christian, year=2000, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn 
LibreCat: /record/24483

@bookHolthöfer_2000, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, title=Regeln in einer Mengenplanung unter Ausbringungsgrenzen, volume=66, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Holthöfer, Norbert, year=2000, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn 
LibreCat: /record/24484

@bookSchlake_2000, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, title=Verfahren zur kooperativen Szenario-Erstellung in Industrieunternehmen, volume=67, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Schlake, Oliver, year=2000, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn 
LibreCat: /record/24485

@bookLewandowski_2000, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, title=Methode zur Gestaltung von Leistungserstellungsprozessen in Industrieunternehmen, volume=68, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Lewandowski, Andreas, year=2000, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn 
LibreCat: /record/24486

@bookSchmidtmann_2000, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, title=Eine Spezifikationssprache für die Fertigungslenkung, volume=69, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Schmidtmann, Achim, year=2000, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn 
LibreCat: /record/24487

@bookGrobbel_2000, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, title=Eine Referenzarchitektur für Koopertationsbörsen, volume=70, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Grobbel, Rainer, year=2000, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn 
LibreCat: /record/24488

@bookWessel_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: /record/24489

@bookLö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: /record/24490

@bookLudwig_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: /record/24491

@bookWenski_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: /record/24492

@bookGrasmann_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: /record/24493

@bookDitze_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: /record/24494

@bookKö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: /record/24495

@bookGausemeier_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: /record/24496

@bookGausemeier_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: /record/24497

@bookGausemeier_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: /record/24498

@bookDel 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: /record/24499

@bookSchä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: /record/24500

@bookKrü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: /record/24501

@bookBartscher_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: /record/24503

@bookQuintanilla_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: /record/24506

@articleBetz_2000, title=Funktionales Qualitätscontrolling bei mehrstufiger Fertigung, volume=11, journal=Zeitschrift für Planung, author=Betz, Stefan, year=2000, pages=169–193 
LibreCat: /record/2585

@articleBetz_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: /record/2586

@articleFischer_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: /record/3247

@articleWehrheim_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: /record/3248
DOI: 10.1007/s001650070026

@inproceedingsFischer_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: /record/3249
DOI: 10.1007/3-540-45499-3_33

@inproceedingsWehrheim_2000, series=Lecture Notes in Computer Science, title=Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods, DOI=10.1007/3-540-46428-X_23, booktitle=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, author=Wehrheim, Heike, editor=S. E. Maibaum, T.Editor, year=2000, pages=334--348, collection=Lecture Notes in Computer Science 
LibreCat: /record/3250
DOI: 10.1007/3-540-46428-X_23

@inproceedingsWehrheim_2000, series=IFIP Conference Proceedings, title=Behavioural Subtyping and Property Preservation, DOI=10.1007/978-0-387-35520-7_11, booktitle=Formal Methods for Open Object-Based Distributed Systems IV, IFIF T/W.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA, author=Wehrheim, Heike, editor=F. Smith, Scott and L. Talcott, CarolynEditors, year=2000, pages=213--231, collection=IFIP Conference Proceedings 
LibreCat: /record/3251
DOI: 10.1007/978-0-387-35520-7_11

@inbookHarteis_2000, place=Opladen, title=Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung, booktitle=Kompendium Weiterbildung, publisher=Leske+Budrich, author=Harteis, Christian, editor=Harteis, Christian and Heid, Helmut and Kraft, SusanneEditors, year=2000, pages=209--217 
LibreCat: /record/3602

@bookHarteis_Heid_Kraft_2000, place=Opladen, title=Kompendium Weiterbildung, publisher=Leske+Budrich, year=2000 
LibreCat: /record/3669

@bookHarteis_2000, place=München, title=Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung, publisher=Neuer Merkur, author=Harteis, Christian, year=2000 
LibreCat: /record/3674

@inbookBlömer_2000, place=Berlin, Heidelberg, title=Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices, DOI=10.1007/3-540-45022-x_22, booktitle=Automata, Languages and Programming, publisher=Springer Berlin Heidelberg, author=Blömer, Johannes, year=2000, pages=248–259 
LibreCat: /record/3023
DOI: 10.1007/3-540-45022-x_22

@inproceedingsHahn_Eis_Meschut_2000, place=Würzburg, title=Qualitätssicherung bei der Herstellung von Klebverbindungen, booktitle=Tagungsband zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen”, author=Hahn, O. and Eis, M. and Meschut, Gerson, year=2000, pages=147–161 
LibreCat: /record/20993

@inproceedingsEis_Meschut_2000, place=Aachen, title=Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen, booktitle=Tagungsband zur Veranstaltung EndForm 2000, publisher=Shaker Verlag, author=Eis, M. and Meschut, Gerson, year=2000, pages=135–152 
LibreCat: /record/20994

@inproceedingsHahn_Koyro_Meschut_2000, place=Aachen, title=Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen, booktitle=Tagungsband zur Veranstaltung EndForm 2000, publisher=Shaker Verlag, author=Hahn, O. and Koyro, M. and Meschut, Gerson, year=2000, pages=225–241 
LibreCat: /record/20995

@inproceedingsHahn_Eis_Meschut_2000, place=Rapperswil (CH), title=Erhöhung der der Bauteilsteifigkeit durch Optimierung von Unterfütterungsklebungen, booktitle=Tagungsband zur Swiss Bondung ´00, author=Hahn, O. and Eis, M. and Meschut, Gerson, year=2000 
LibreCat: /record/20996

@articleHahn_Besserdich_Dölle_Jendrny_Koyro_Thesing_Meschut_2000, title=Prüfung und Berechnung geklebter Blech-Profil-Verbindungen aus Aluminium, volume=50, number=5, journal=Schweißen und Schneiden, author=Hahn, O. and Besserdich, G. and Dölle, N. and Jendrny, J. and Koyro, M. and Thesing, T. and Meschut, Gerson, year=2000, pages=266–271 
LibreCat: /record/20997

@articleHahn_Meschut_Eis_Maciej_2000, title=Beeinflussung der mechanischen Eigenschaften geklebter Kunststoffverbindungen durch Diffusion von Klebstoffbestandteilen in die polymeren Fügeteile, volume=52, number=6, journal=Schweißen und Schneiden, author=Hahn, O. and Meschut, Gerson and Eis, M. and Maciej, M., year=2000, pages=340–348 
LibreCat: /record/20998

@articleHahn_Meschut_Koyro_2000, title=Kleben in Kombination mit Fügen durch Umformen – eine wärmearme Fügetechnik für eigenschaftsoptimierte Aluminium-Rahmenkonstruktionen, volume=52, number=7, journal=Schweißen und Schneiden, author=Hahn, O. and Meschut, Gerson and Koyro, M., year=2000, pages=412–418 
LibreCat: /record/20999

@bookHahn_Meschut_Eis_Kötting_2000, place=Düsseldorf, title=Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile, publisher=Verlag und Vertriebsgesellschaft mbH, author=Hahn, O. and Meschut, Gerson and Eis, M. and Kötting, G., year=2000 
LibreCat: /record/21001

@articleHahn_Koyro_Meschut_2000, title=Kleben in Kombination mit Fügen durch Umformen, volume=9, journal=der praktiker , author=Hahn, O. and Koyro, M. and Meschut, Gerson, year=2000, pages=356–361 
LibreCat: /record/21002

@inproceedingsBohling_Jüttner_Kaiser_Meschut_Schumann_2000, place=Paderborn, title=Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau, author=Bohling, P. and Jüttner, S. and Kaiser, M. and Meschut, Gerson and Schumann, S., year=2000, pages=199–210 
LibreCat: /record/21003