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.
7513 Publications
2000 | Dissertation | LibreCat-ID: 2434
J. Simon, Werkzeugunterstützte effiziente Nutzung von Hochleistungsrechnern. Dr. Dirk Blunk Verlag, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 3249
C. Fischer and H. 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, 2000, pp. 469--483.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3250
H. Wehrheim, “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, 2000, pp. 334--348.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3251
H. Wehrheim, “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}, 2000, pp. 213--231.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 20994
M. Eis and G. Meschut, “Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen,” in Tagungsband zur Veranstaltung EndForm 2000, Aachen, 2000, pp. 135–152.
LibreCat
2000 | Conference Paper | LibreCat-ID: 20995
O. Hahn, M. Koyro, and G. Meschut, “Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen,” in Tagungsband zur Veranstaltung EndForm 2000, Aachen, 2000, pp. 225–241.
LibreCat
2000 | Report | LibreCat-ID: 21001
O. Hahn, G. 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 | Conference Paper | LibreCat-ID: 21003
P. Bohling, S. Jüttner, M. Kaiser, G. Meschut, and S. Schumann, “Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau,” presented at the 7. Paderborner Symposium Fügetechnik 2000, Paderborn, 2000, pp. 199–210.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 17458
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
2000 | Conference Paper | LibreCat-ID: 21783
S. Volbracht and G. Domik, “Developing Effective Navigation Techniques in Virtual 3D Environments,” in Virtual Environments 2000, 2000, pp. 55–64.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7872
G. Engels and R. Heckel, “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), 2000, vol. 1853, pp. 127–150.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7875
G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML,” in Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK), 2000, vol. 1939, pp. 323–337.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8124
S. Krauter and R. G. Araujo, “New Power Conditioning Unit Incorporating Charge Controller, Energy Flow Monitor, Data Logger, DC/AC Converter for Stand-Alone and Combined PV-Diesel Operation,” in Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2575–2577. , 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8125
S. Krauter and H. Herold, “PV in Brazil,” in Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2909–2911, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8126
S. Krauter, “Sistemas híbridos termo-solares/fotovoltaicos.,” in Proceedings of Workshop “Formas Não-Convencionais de Geração e Uso Racional de Energia”, UFSC, Florianópolis, Santa Catarina (Brasilien), 9.–11. November 2000., 2000.
LibreCat
2000 | Conference Abstract | LibreCat-ID: 6014
D. Calaminus, E. Klöpfer, D. Kundisch, and P. Wolfersberger, “Ein Contentmodell für den Multichannel Vertrieb von Finanzdienstleistungen,” in 3. FANTagung 2000, Siegen, Germany, 2000.
LibreCat