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

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

Data Abstraction Techniques in the Validation of CSP-OZ Specifications
H. Wehrheim, Formal Asp. Comput. (2000) 147--164.
LibreCat: /record/3248
DOI: 10.1007/s001650070026

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

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: /record/3250
DOI: 10.1007/3-540-46428-X_23

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 T/W.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: /record/3251
DOI: 10.1007/978-0-387-35520-7_11

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: /record/3602

Kompendium Weiterbildung
C. Harteis, H. Heid, S. Kraft, eds., Kompendium Weiterbildung, Leske+Budrich, Opladen, 2000.
LibreCat: /record/3669

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: /record/3674

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: /record/3023
DOI: 10.1007/3-540-45022-x_22

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: /record/20993

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: /record/20994

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: /record/20995

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: /record/20996

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: /record/20997

Beeinflussung der mechanischen Eigenschaften geklebter Kunststoffverbindungen durch Diffusion von Klebstoffbestandteilen in die polymeren Fügeteile
O. Hahn, G. Meschut, M. Eis, M. Maciej, Schweißen Und Schneiden 52 (2000) 340–348.
LibreCat: /record/20998

Kleben in Kombination mit Fügen durch Umformen – eine wärmearme Fügetechnik für eigenschaftsoptimierte Aluminium-Rahmenkonstruktionen
O. Hahn, G. Meschut, M. Koyro, Schweißen Und Schneiden 52 (2000) 412–418.
LibreCat: /record/20999

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: /record/21001

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

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: /record/21003

Eigenschaftsoptimierte Verbindungen durch wärmearmes Hybridfügen
G. Meschut, Adhäsion 44 (2000) 14–21.
LibreCat: /record/21006

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: /record/21007

Efficient Communication Strategies for Ad Hoc Wireless Networks
M. Adler, C. Scheideler, Theory Comput. Syst. 33 (2000) 337--391.
LibreCat: /record/2143
DOI: 10.1007/s002240010006

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: /record/2145
DOI: 10.1137/S0097539799353431

Distributed Path Selection for Storage Networks
P. Berenbrink, A. Brinkmann, C. Scheideler, in: PDPTA, 2000.
LibreCat: /record/2146

Coloring non-uniform hypergraphs: a new algorithmic approach to the general Lovász local lemma
A. Czumaj, C. Scheideler, in: SODA, 2000, pp. 30--39.
LibreCat: /record/2147

Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma
A. Czumaj, C. Scheideler, Random Struct. Algorithms 17 (2000) 213--237.
LibreCat: /record/2148

Efficient, distributed data placement strategies for storage area networks (extended abstract)
A. Brinkmann, K. Salzwedel, C. Scheideler, in: SPAA, 2000, pp. 119--128.
LibreCat: /record/2149

A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract)
A. Czumaj, C. Scheideler, in: STOC, ACM, 2000, pp. 38--47.
LibreCat: /record/2150

cContributing Editord für die Sektion cPhilosophy of Mathematicsd in: The History of Mathematics from Antiquity to the Present: A Selective Annotated Bibliography, edited by Joseph W. Dauben, revised edition on CD-ROM by Albert C. Lewis, in cooperation with the International Commission on the History Mathematics, American Mathematical Society
V. Peckhaus, ed., “Contributing Editor” Für Die Sektion “Philosophy of Mathematics” in: The History of Mathematics from Antiquity to the Present: A Selective Annotated Bibliography, Edited by Joseph W. Dauben, Revised Edition on CD-ROM by Albert C. Lewis, in Cooperation with the International Commission on the History Mathematics, American Mathematical Society, 2000.
LibreCat: /record/17458

Análisis regresivo
V. Peckhaus, Adef Revista de Filosofia (Buenos Aires) 15 (2000) 23–38.
LibreCat: /record/17528

Prosodic Cues at Speaker Turns
I. Mindt, in: C. Mair, M. Hundt (Eds.), Corpus Linguistics and Linguistic Theory. Papers from the Twentieth  International Conference on English Language Research on Computerized Corpora  (ICAME 20), Rodopi, Amsterdam, 2000, pp. 255–265.
LibreCat: /record/17852

Randomized Point Sampling for Output-Sensitive Rendering of Complex Dynamic Scenes
M. Wand, M. Fischer, F. Meyer auf der Heide, Randomized Point Sampling for Output-Sensitive Rendering of Complex Dynamic Scenes, Universität Paderborn, 2000.
LibreCat: /record/17865

I/O-Efficient Well-Separated Pair Decomposition and Applications
S. Govindarajan, T. Lukovszki, A. Maheshwari, N. Zeh, in: Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS, 2000, pp. 585–614.
LibreCat: /record/18962
DOI: 10.1007/s00453-005-1197-3

Deutsche Dramatiker des 20. Jahrhunderts
A. Allkemper, N.O. Eke, eds., Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000.
LibreCat: /record/19084

Literatur und Demokratie
A. Allkemper, N.O. Eke, eds., Literatur und Demokratie, Erich Schmidt, Berlin, 2000.
LibreCat: /record/19086

Architektur und Ausstattung von Schloß Augustusburg als politisches Vermächtnis eines cGuten Regimentsd und cGuter Ordnungd
E.-M. Seng, in: G. Lupfer, K. Rudert, P. Sigel (Eds.), Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul, Dresden, 2000, pp. 296–309.
LibreCat: /record/19196

Predictable Network Computing using Message-driven Scheduling
H. Karl, A. Polze, M. Werner, in: Proc. the Workshop on Run-Time Systems for Parallel Programming, 2000.
LibreCat: /record/1920

Das Schreckliche und das Komische. George Tabori und die Shoah
N.O. Eke, in: P. O’ Dochartaigh (Ed.), Jews in German Literature since 1945: German-Jewish Literature?, Rodopi, Amsterdam-Atlanta, GA, 2000, pp. 567–586.
LibreCat: /record/19397

Körper-Schrift. Heiner Müllers Anthropologie des Körpers
N.O. Eke, in: I. Wallace, D. Tate, G. Labroisse (Eds.), Heiner Müller: Probleme und Perspektiven. Bath-Symposion 1998, 2000, pp. 69–88.
LibreCat: /record/19398

Thomas Brasch
N.O. Eke, in: A. Allkemper, N.O. Eke (Eds.), Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000, pp. 746–763.
LibreCat: /record/19399

George Tabori
N.O. Eke, in: A. Allkemper, N.O. Eke (Eds.), Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000, pp. 382–402.
LibreCat: /record/19400

Der Kritiker in der Kritik. Willibald Alexis, das Junge Deutschland und Alexis' autobiographische Fragmente Erinnerungen aus meinem Leben
N.O. Eke, in: W. Beutin, P. Stein (Eds.), Willibald Alexis (1798-1871). Ein Autor des Vor- und Nachmärz, Aisthesis, Bielefeld, 2000, pp. 55–80.
LibreCat: /record/19401

Wahrnehmung im Augen-Schein. Thomas Braschs (und Jurek Beckers) filmische Reflexion über die Kunst nach Auschwitz: eDer Passagier 3 Welcome to Germanyc
N.O. Eke, in: A. Allkemper, N.O. Eke (Eds.), Literatur und Demokratie, Erich Schmidt, Berlin, 2000, pp. 285–300.
LibreCat: /record/19403

Aus einem Getriebemodul und einem Antriebsmodul bestehende Antriebseinheit
D. Zimmer, (2000).
LibreCat: /record/23424

Getriebebaukasten mit Kronengetriebe
D. Zimmer, (2000).
LibreCat: /record/23425

Property Testing in Computational Geometry
A. Czumaj, C. Sohler, M. Ziegler, in: Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00), Springer, Berlin, Heidelberg, 2000, pp. 155–166.
LibreCat: /record/17990
DOI: 10.1007/3-540-45253-2_15

Medienbildung und Gesellschaft
J. Fromme, S. Ganguin, S. Iske, D.M. Meister, U. Sander, eds., Medienbildung und Gesellschaft, VS Verlag, 2000.
LibreCat: /record/18121

Computing the Dimension of Linear Subspaces
M. Ziegler, V. Brattka, in: SOFSEM 2000: Theory and Practice of Informatics, Springer, Berlin, Heidelberg, 2000, pp. 450–458.
LibreCat: /record/18146
DOI: 10.1007/3-540-44411-4_34

Computing Cut Numbers
M. Ziegler, C. Sohler, in: Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00), 2000, pp. 73–79.
LibreCat: /record/18150