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.
404 Publications
2000 | Dissertation | LibreCat-ID: 24495
Körner, Tim. Analog VLSI Implementation of a Local Cluster Neural Network. Vol. 77. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Book | LibreCat-ID: 24496
Gausemeier, Jürgen, Udo Lindemann, G. Reinhart, and H. Wiendahl. Kooperatives Produktengineering - Ein neues Selbstverständnis des ingenieurmäßigen Wirkens. Vol. 79. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Book | LibreCat-ID: 24497
Gausemeier, Jürgen, and Joachim Lückel. Entwicklungsumgebungen Mechatronik - Methoden und Werkzeuge zur Entwicklung mechatronischer Systeme. Vol. 80. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Conference (Editor) | LibreCat-ID: 24498
Gausemeier, Jürgen, and Joachim Lückel, eds. 4. Internationales Heinz Nixdorf Symposium - Auf dem Weg zu den Produkten für die Märkte von morgen... Vol. 82. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24499
Del Castillo, Giuseppe. The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models. Vol. 83. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24500
Schäfermeier, Ulrich. Eine Methode zur systemorientierten organisatorischen Gestaltung der Zweckaufgabenverrichtung in kooperativen Verbünden; Klassifikation, Aufgabenzuordnung. Vol. 84. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24501
Krüger, Jens. 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. Vol. 85. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24503
Bartscher, Thomas. Methoden des Integrierten Workflowmanagements (IWFM). Vol. 86. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24506
Quintanilla, Julia. Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme. Vol. 87. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 2585
Betz, Stefan. “Funktionales Qualitätscontrolling bei mehrstufiger Fertigung.” Zeitschrift für Planung 11 (2000): 169–93.
LibreCat
2000 | Journal Article | LibreCat-ID: 2586
Betz, Stefan. “Qualitätskostencontrolling auf Basis des Half-Life-Konzepts.” Betrieb und Wirtschaft 54 (2000): 749–55.
LibreCat
2000 | Journal Article | LibreCat-ID: 3247
Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the {EATCS}, 2000, 92--101.
LibreCat
2000 | Journal Article | LibreCat-ID: 3248
Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” Formal Asp. Comput., no. 3 (2000): 147--164. https://doi.org/10.1007/s001650070026.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3249
Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” In Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, edited by Teodor Rus, 469--483. Lecture Notes in Computer Science, 2000. https://doi.org/10.1007/3-540-45499-3_33.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3250
Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” In 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, edited by T. S. E. Maibaum, 334--348. Lecture Notes in Computer Science, 2000. https://doi.org/10.1007/3-540-46428-X_23.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3251
Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” In 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}, edited by Scott F. Smith and Carolyn L. Talcott, 213--231. {IFIP} Conference Proceedings, 2000. https://doi.org/10.1007/978-0-387-35520-7_11.
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 3602
Harteis, Christian. “Beschäftigte Im Spannungsfeld Ökonomischer Und Pädagogischer Prinzipien Betrieblicher Personal-Und Organisationsentwicklungsentwicklung.” In Kompendium Weiterbildung, edited by Christian Harteis, Helmut Heid, and Susanne Kraft, 209--217. Opladen: Leske+Budrich, 2000.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 3669
Harteis, Christian, Helmut Heid, and Susanne Kraft, eds. Kompendium Weiterbildung. Opladen: Leske+Budrich, 2000.
LibreCat
2000 | Book | LibreCat-ID: 3674
Harteis, Christian. Berufliche Weiterbildung Heute Und Morgen: Zukünftige Kompetenzanforderungen an Bildungspersonal Und Nachwuchsrekrutierung. München: Neuer Merkur, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 3023
Blömer, Johannes. “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices.” In Automata, Languages and Programming, 248–59. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. https://doi.org/10.1007/3-540-45022-x_22.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 20993
Hahn, O., M. Eis, and Gerson Meschut. “Qualitätssicherung Bei Der Herstellung von Klebverbindungen.” In Tagungsband Zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen,” 147–61. Würzburg, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 20994
Eis, M., and Gerson Meschut. “Minimierung von Bauteildeformationen Beim Kleben Durch Beachtung Der Konstruktiven Und Werkstofftechnischen Einflußgrößen.” In Tagungsband Zur Veranstaltung EndForm 2000, 135–52. Aachen: Shaker Verlag, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 20995
Hahn, O., M. Koyro, and Gerson Meschut. “Eigenschaften von Wärmearm Gefügten Al-Rahmentragwerken Mit IHU-Knotenelementen.” In Tagungsband Zur Veranstaltung EndForm 2000, 225–41. Aachen: Shaker Verlag, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 20996
Hahn, O., M. Eis, and Gerson Meschut. “Erhöhung Der Der Bauteilsteifigkeit Durch Optimierung von Unterfütterungsklebungen.” In Tagungsband Zur Swiss Bondung ´00. Rapperswil (CH), 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 20997
Hahn, O., G. Besserdich, N. Dölle, J. Jendrny, M. Koyro, T. Thesing, and Gerson Meschut. “Prüfung Und Berechnung Geklebter Blech-Profil-Verbindungen Aus Aluminium.” Schweißen Und Schneiden 50, no. 5 (2000): 266–71.
LibreCat
2000 | Journal Article | LibreCat-ID: 20998
Hahn, O., Gerson Meschut, M. Eis, and M. Maciej. “Beeinflussung Der Mechanischen Eigenschaften Geklebter Kunststoffverbindungen Durch Diffusion von Klebstoffbestandteilen in Die Polymeren Fügeteile.” Schweißen Und Schneiden 52, no. 6 (2000): 340–48.
LibreCat
2000 | Journal Article | LibreCat-ID: 20999
Hahn, O., Gerson Meschut, and M. Koyro. “Kleben in Kombination Mit Fügen Durch Umformen – Eine Wärmearme Fügetechnik Für Eigenschaftsoptimierte Aluminium-Rahmenkonstruktionen.” Schweißen Und Schneiden 52, no. 7 (2000): 412–18.
LibreCat
2000 | Report | LibreCat-ID: 21001
Hahn, O., Gerson Meschut, M. Eis, and G. Kötting. Analyse Der Entstehung von Abzeichnungen an Klebungen Dünnwandiger Bauteile. Düsseldorf: Verlag und Vertriebsgesellschaft mbH, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 21002
Hahn, O., M. Koyro, and Gerson Meschut. “Kleben in Kombination Mit Fügen Durch Umformen.” Der Praktiker 9 (2000): 356–61.
LibreCat
2000 | Conference Paper | LibreCat-ID: 21003
Bohling, P., S. Jüttner, M. Kaiser, Gerson Meschut, and S. Schumann. “Eigenschaften von Thermisch Und Wärmearm Gefügten Al-/Mg-Verbindungen Für Den Strukturellen Karosserieleichtbau,” 199–210. Paderborn, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 21006
Meschut, Gerson. “Eigenschaftsoptimierte Verbindungen Durch Wärmearmes Hybridfügen.” Adhäsion 44, no. 11 (2000): 14–21.
LibreCat
2000 | Conference Paper | LibreCat-ID: 21007
Koyro, M., and Gerson Meschut. “Status Und Weiterentwicklungsmöglichkeiten Beim Strukturellen Kleben Bei Spaceframe-Konstruktionen.” In Tagungsband Zur 4. Jahres- Und 1. Europäischen Fachkonferenz “Kleben Im Automobilbau,” 114–26. Bad Nauheim, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 2143
Adler, Micah, and Christian Scheideler. “Efficient Communication Strategies for Ad Hoc Wireless Networks.” Theory Comput. Syst. 33, no. 5/6 (2000): 337--391. https://doi.org/10.1007/s002240010006.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 2145
Scheideler, Christian, and Berthold Vöcking. “From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols.” SIAM J. Comput. 30, no. 4 (2000): 1126--1155. https://doi.org/10.1137/S0097539799353431.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 2146 | 
Berenbrink, Petra, André Brinkmann, and Christian Scheideler. “Distributed Path Selection for Storage Networks.” In PDPTA, 2000.
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 2147 |
Czumaj, Artur, and Christian Scheideler. “Coloring Non-Uniform Hypergraphs: A New Algorithmic Approach to the General Lovász Local Lemma.” In SODA, 30--39, 2000.
LibreCat
| Files available
2000 | Journal Article | LibreCat-ID: 2148
Czumaj, Artur, and Christian Scheideler. “Coloring Nonuniform Hypergraphs: A New Algorithmic Approach to the General Lovász Local Lemma.” Random Struct. Algorithms 17, no. 3–4 (2000): 213--237.
LibreCat
2000 | Conference Paper | LibreCat-ID: 2149 |
Brinkmann, André, Kay Salzwedel, and Christian Scheideler. “Efficient, Distributed Data Placement Strategies for Storage Area Networks (Extended Abstract).” In SPAA, 119--128, 2000.
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 2150 |
Czumaj, Artur, and Christian Scheideler. “A New Algorithm Approach to the General Lovász Local Lemma with Applications to Scheduling and Satisfiability Problems (Extended Abstract).” In STOC, 38--47. ACM, 2000.
LibreCat
| Files available
2000 | Book (Editor) | LibreCat-ID: 17458
Peckhaus, Volker, 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
2000 | Journal Article | LibreCat-ID: 17528
Peckhaus, Volker. “Análisis regresivo.” Adef Revista de Filosofia (Buenos Aires) 15, no. 2 (November) (2000): 23–38.
LibreCat
2000 | Book Chapter | LibreCat-ID: 17852
Mindt, Ilka. “Prosodic Cues at Speaker Turns.” In Corpus Linguistics and Linguistic Theory. Papers from the Twentieth International Conference on English Language Research on Computerized Corpora (ICAME 20), edited by Christian Mair and Marianne Hundt, 255–65. Amsterdam: Rodopi, 2000.
LibreCat
2000 | Report | LibreCat-ID: 17865
Wand, Michael, Matthias Fischer, and Friedhelm Meyer auf der Heide. Randomized Point Sampling for Output-Sensitive Rendering of Complex Dynamic Scenes. Universität Paderborn, 2000.
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 18962
Govindarajan, Sathish, Tamas Lukovszki, Anil Maheshwari, and Norbert Zeh. “I/O-Efficient Well-Separated Pair Decomposition and Applications.” In Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS, 585–614, 2000. https://doi.org/10.1007/s00453-005-1197-3.
LibreCat
| DOI
2000 | Book (Editor) | LibreCat-ID: 19084
Allkemper, Alo, and Norbert Otto Eke, eds. Deutsche Dramatiker des 20. Jahrhunderts. Berlin: Erich Schmidt, 2000.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 19086
Allkemper, Alo, and Norbert Otto Eke, eds. Literatur und Demokratie. Berlin: Erich Schmidt, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19196
Seng, Eva- Maria. “Architektur und Ausstattung von Schloß Augustusburg als politisches Vermächtnis eines ‘Guten Regiments’ und ‘Guter Ordnung.’” In Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul, edited by Gilbert Lupfer, Konstanze Rudert, and Paul Sigel, 296–309. Dresden, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 1920
Karl, Holger, Andreas Polze, and Matthias Werner. “Predictable Network Computing Using Message-Driven Scheduling.” In Proc. the Workshop on Run-Time Systems for Parallel Programming, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19397
Eke, Norbert Otto. “Das Schreckliche und das Komische. George Tabori und die Shoah.” In Jews in German Literature since 1945: German-Jewish Literature?, edited by Pól O’ Dochartaigh, 567–86. Amsterdam-Atlanta, GA: Rodopi, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19398
Eke, Norbert Otto. “Körper-Schrift. Heiner Müllers Anthropologie des Körpers.” In Heiner Müller: Probleme und Perspektiven. Bath-Symposion 1998, edited by Ian Wallace, Dennis Tate, and Gerd Labroisse, 48:69–88. Amsterdamer Beiträge zur neueren Germanistik, 2000.
LibreCat