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.
1759 Publications
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 Chapter | LibreCat-ID: 19196
E.-M. Seng, “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, G. Lupfer, K. Rudert, and P. Sigel, Eds. Dresden, 2000, pp. 296–309.
LibreCat
2000 | Conference Paper | LibreCat-ID: 18150
M. Ziegler and C. Sohler, “Computing Cut Numbers,” in Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00), 2000, pp. 73–79.
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: 8342
G. Engels and A. Zamperoni, “Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!,” in Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), 2000, vol. 1779, pp. 359–368.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8919
L. Panning, W. Sextro, and K. Popp, “Optimization of Interblade Friction Damper,” in International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME, 2000, pp. 1–8.
LibreCat
2000 | Journal Article | LibreCat-ID: 16345
F. Meyer auf der Heide and R. Wanka, “Von der Hollerith-Maschine zum Parallelrechner - Die alltägliche Aufgabe des Sortierens als Fortschrittsmotor für die Informatik,” ForschungsForum Paderborn, pp. 112–116, 2000.
LibreCat
| Files available
2000 | Book (Editor) | LibreCat-ID: 36301
P. Böhme, F. Kessl, R. Heil, and T. Reinke, Eds., Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion. Neuwied/Kriftel: Luchterhand Verlag, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 34782 |
J. Süßmann, Geschichtsschreibung oder Roman? Zur Konstitutionslogik von Geschichtserzählungen zwischen Schiller und Ranke (1780–1824), vol. 41. Stuttgart: Franz Steiner, 2000.
LibreCat
| Download (ext.)