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.

18455 Publications


2000 | Book Review | LibreCat-ID: 18345
Peckhaus V. Boolos, George; Heck, Richard G. jun., “Die Grundlagen der Arithmetik, §§ 82–3”, in: Matthias Schirn (Hg.), The Philosophy of Mathematics Today. Papers from a Conference, Munich, Germany, June 28–July 4, 1993, Clarendon Press: Oxford 1998, 407–428. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 93503008]. 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18338
Peckhaus V. Arsac, Jacques, «Les langages de programmation: une moderne Babel», C.R. Académie des Sciences (Paris). La vie des Sciences 13, Nr. 1 (1996), 25–37. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 92768015]. 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18340
Peckhaus V. Landini, Gregory, Russell’s Hidden Substitutional Theory, Oxford University Press: Oxford 1998. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 93303002]. 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18357
Peckhaus V. Mancosu, Paolo, “Between Russell and Hilbert: Behmann on the Foundations of Mathematics”, Bulletin of Symbolic Logic 5 (1999), 303–330. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 942030029]. 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 18617
Schindlmayr A. Decay properties of the one-particle Green function in real space and imaginary time. Physical Review B. 2000;62(19):12573-12576. doi:10.1103/PhysRevB.62.12573
LibreCat | Files available | DOI | WoS
 

2000 | Book Chapter | LibreCat-ID: 19196
Seng E-M. Architektur und Ausstattung von Schloß Augustusburg als politisches Vermächtnis eines “Guten Regiments” und “Guter Ordnung.” In: Lupfer G, Rudert K, Sigel P, eds. Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul. Dresden; 2000:296-309.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 19398
Eke NO. Körper-Schrift. Heiner Müllers Anthropologie des Körpers. In: Wallace I, Tate D, Labroisse G, eds. Heiner Müller: Probleme und Perspektiven. Bath-Symposion 1998. Vol 48. Amsterdamer Beiträge zur neueren Germanistik. ; 2000:69-88.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 19401
Eke NO. Der Kritiker in der Kritik. Willibald Alexis, das Junge Deutschland und Alexis’ autobiographische Fragmente Erinnerungen aus meinem Leben. In: Beutin W, Stein P, eds. Willibald Alexis (1798-1871). Ein Autor des Vor- und Nachmärz. Bielefeld: Aisthesis; 2000:55-80.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 19709
Büker P. Das Fremde spüren - dem Anderen begegnen. Elisabeth Reuter: Soham. Eine Geschichte vom Fremdsein. Praxis Deutsch . 2000;27, H. 162:31-36.
LibreCat
 

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

2000 | Conference Paper | LibreCat-ID: 2150
Czumaj A, Scheideler C. A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract). In: STOC. ACM; 2000:38--47.
LibreCat | Files available
 

2000 | Journal Article | LibreCat-ID: 2148
Czumaj A, Scheideler C. Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma. Random Struct Algorithms. 2000;17(3-4):213--237.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 13174
Luke A, Baumhögger E, Scheunemann P. 3-DIMENSIONAL DESCRIPTION OF THE MICROSTRUCTURE OF HEATED SURFACES IN NUCLEATE POOL BOILING. Multiphase Science and Technology. 2000. doi:10.1615/multscientechn.v12.i3-4.20
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 20996
Hahn O, Eis M, Meschut G. 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: 21002
Hahn O, Koyro M, Meschut G. Kleben in Kombination mit Fügen durch Umformen. der praktiker . 2000;9:356-361.
LibreCat
 

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

2000 | Journal Article | LibreCat-ID: 18446
Lorys K, Wanka R, Oesterdiekhoff B, Kutylowski M. Periodification Scheme: Constructing Sorting Networks with Constant Period. Journal of the ACM. 2000;45:944-967. doi:10.1145/355483.355490
LibreCat | DOI
 

2000 | Dissertation | LibreCat-ID: 24486
Lewandowski A. Methode zur Gestaltung von Leistungserstellungsprozessen in Industrieunternehmen. Vol 68. Heinz Nixdorf Institut, Universität Paderborn; 2000.
LibreCat
 

2000 | Conference (Editor) | LibreCat-ID: 24498
Gausemeier J, Lückel J, eds. 4. Internationales Heinz Nixdorf Symposium - Auf dem Weg zu den Produkten für die Märkte von morgen... Vol 82. Heinz Nixdorf Institut, Universität Paderborn; 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24493
Grasmann M. Produktkonfiguration auf Basis von Engineering Data Management-Systemen. Vol 75. Heinz Nixdorf Institut, Universität Paderborn; 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24501
Krüger J. 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. Heinz Nixdorf Institut, Universität Paderborn; 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24506
Quintanilla J. Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme. Vol 87. Heinz Nixdorf Institut, Universität Paderborn; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 16495
Meyer auf der Heide F, Räcke H, Westermann M. Data management in hierarchical bus networks. In: Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’00. ; 2000. doi:10.1145/341800.341814
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 27935
Bigga R. Fünf vor zwölf und keinen Ausbildungsplatz. Eine Unterrichtsskizze zur Berufsorientierung. . awt-info . 2000;2:20-28.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 10183
Steffen E. A refinement of Vizing’s theorem. Discrete Mathematics. 2000;218:289-291.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 11869
Lieb M, Haeb-Umbach R. LDA derived cepstral trajectory filters in adverse environmental conditions. In: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2000). Vol 2. ; 2000:II1105-II1108 vol.2. doi:10.1109/ICASSP.2000.859157
LibreCat | DOI | Download (ext.)
 

2000 | Conference Paper | LibreCat-ID: 11871
Loog M, Haeb-Umbach R. Multi-class Linear Dimension Reduction by Generalized Fisher Criteria. In: International Conference on Spoken Language Processing (ICSLP 2000). ; 2000.
LibreCat | Download (ext.)
 

2000 | Conference Paper | LibreCat-ID: 13005
Hellebrand S, Liang H-G, Wunderlich H-J. A Mixed Mode BIST Scheme Based on Reseeding of Folding Counters. In: {IEEE International Test Conference (ITC’00)}. Atlantic City, NJ, USA: {IEEE}; 2000:778-784. doi:10.1109/test.2000.894274
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13757
Schmidt WG, Bernholc J, Bechstedt F. (001) Surfaces of GaP and InP: structural motifs, electronic states and optical signatures. Applied Surface Science. 2000;166:179-184. doi:10.1016/s0169-4332(00)00406-2
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 15063
Hüllermeier E. Change detection in heuristic search. In: Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas. ; 2000:898-903.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 14844
Hüllermeier E. Similarity-based inference as evidential reasoning. In: Horn W, ed. In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany. IOS Press; 2000:50-54.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 1634
Clermont A, Schmeisser W, Krimphove D, eds. Personalführung Und Organisation. München: Verlag Vahlen; 2000.
LibreCat
 

2000 | Book | LibreCat-ID: 1608
Krimphove D, Pieper SU, Schollmeier A. Europarecht - Das Casebook. 2nd ed. Köln: Carl Heymanns Verlag KG; 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 16198
Hüllermeier E, Kraft M, Weise P. Evaluation and specification of a synergetic business cycle model with German data. Homo Oeconomicus XVI. 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 1920
Karl H, Polze A, Werner M. Predictable Network Computing using Message-driven Scheduling. In: Proc. the Workshop on Run-Time Systems for Parallel Programming. ; 2000.
LibreCat
 

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

2000 | Conference Paper | LibreCat-ID: 3250
Wehrheim H. Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In: S. E. Maibaum T, 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. Lecture Notes in Computer Science. ; 2000:334--348. doi:10.1007/3-540-46428-X_23
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 3248
Wehrheim H. Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. Formal Asp Comput. 2000;(3):147--164. doi:10.1007/s001650070026
LibreCat | DOI
 

2000 | Conference Abstract | LibreCat-ID: 6014
Calaminus D, Klöpfer E, Kundisch D, Wolfersberger P. Ein Contentmodell für den Multichannel Vertrieb von Finanzdienstleistungen. In: 3. FANTagung 2000. ; 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 6507
Platzner M. Reconfigurable accelerators for combinatorial problems. Computer. 2000;33(4):58-60. doi:10.1109/2.839322
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 6223
Friedrich A, Kabst R, Rodehuth M, Weber W. Job Rotation: An Empirical Analysis on the Utilization and Strategic Integration in European Companies. In: Brewster C, Mayrhofer W, Morley M, eds. New Challenges for European Human Resource Management. Houndmills/Basingstoke: Macmillan Press; 2000:56-71.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 6691
Bendfeld J, Bettenwort G, Drilling C, et al. MODEL FOR EVALUATING MPP METHODS FOR GRID-CONNECTED PV PLANTS. In: Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom. ; 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7543
Kremer H-H, Wilbers K. Telekooperatives Lehren und Lernen - Erfahrungen aus dem virtuellen Seminar “WiPäd München - Köln.” In: Straka GA, Bader R, Sloane PFE, eds. Perspektiven der Berufs- und Wirtschaftspädagogik. Forschungsberichte der Sektion Berufs- und Wirtschaftspädagogik der Deutschen Gesellschaft für Erziehungswissenschaft - Frühjahrstagung 2000. Opladen; 2000:159-170.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7550
Kremer H-H, Sloane PFE. Präzisierung: Fächer- und lernortübergreifende Ausbildungskonzepte. In: Sloane PFE, ed. Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung.” Markt Schwaben; 2000:15-32.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7555
Kremer H-H, Sloane PFE. Präzisierung: Entwicklungswege und -beispiel. In: Sloane PFE, ed. Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung.” Markt Schwaben; 2000:33-44.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7562
Kremer H-H, Sloane PFE. DFG-Projekt “FäLoU”: Evaluationskonzept. In: Sloane PFE, ed. Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung.” Markt Schwaben; 2000:81-83.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7872
Engels G, Heckel R. Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution. In: Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland). Vol 1853. LNCS. Berlin/Heidelberg: Springer; 2000:127-150. doi:http://dx.doi.org/10.1007/3-540-45022-X_12
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 7877
Mehner K, Wagner A. Visualizing the Synchronization of Java-Threads with UML. In: Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington). Washington, DC, USA: IEEE Computer Society; 2000:199-206.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7670
Bliemel F, Eggert A. Stärkt Customer Care die Kundenbeziehung? Eine kausalanalytische Untersuchung aus Kundensicht. In: Bruhn M, Stauss B, eds. Jahrbuch Für Dienstleistungsmanagement 2000 - Kundenbeziehungen Im Dienstleistungsbereich. Wiesbaden: Gabler; 2000:197-211.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 7396
Engels G, Heckel R. Graph Transformation and Visual Modeling Techniques. Bulletin of the EATCS. 2000;(71):186-202.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed