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.
7904 Publications
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: 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: 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 | 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 | 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 | 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 | 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 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: 17990
Czumaj, Artur, Christian Sohler, and Martin Ziegler. “Property Testing in Computational Geometry.” In Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00), 4698:155–66. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2000. https://doi.org/10.1007/3-540-45253-2_15.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 18146
Ziegler, Martin, and Vasco Brattka. “Computing the Dimension of Linear Subspaces.” In SOFSEM 2000: Theory and Practice of Informatics, 1963:450–58. Berlin, Heidelberg: Springer, 2000. https://doi.org/10.1007/3-540-44411-4_34.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 18150
Ziegler, Martin, and Christian Sohler. “Computing Cut Numbers.” In Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00), 73–79, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 21783
Volbracht, Sabine, and Gitta Domik. “Developing Effective Navigation Techniques in Virtual 3D Environments.” In Virtual Environments 2000, edited by Jurriaan Mulder and Robert van Liere, 55–64. Vienna: Springer Vienna, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7872
Engels, Gregor, and Reiko 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), 1853:127–50. LNCS. Berlin/Heidelberg: Springer, 2000. http://dx.doi.org/10.1007/3-540-45022-X_12.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7875
Engels, Gregor, Jan Hendrik Hausmann, Reiko Heckel, and Stefan 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), 1939:323–37. LNCS. Berlin/Heidelberg: Springer, 2000. http://dx.doi.org/10.1007/3-540-40011-7_23.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8124
Krauter, Stefan, 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
Krauter, Stefan, 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
Krauter, Stefan. “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
Calaminus, D., Elisabeth Klöpfer, Dennis Kundisch, and P. Wolfersberger. “Ein Contentmodell für den Multichannel Vertrieb von Finanzdienstleistungen.” In 3. FANTagung 2000, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 7690
Heidtkamp, C., Cedrik Meier, D. Reuter, M. Versen, S. Hoch, D. Diaconescu, and A.D. Wieck. “Tunable Backscattering in Quantum Hall Systems Induced by Neighbouring Gates.” Physica B: Condensed Matter 284–288 (2000): 1728–29. https://doi.org/10.1016/s0921-4526(99)02892-6.
LibreCat
| DOI