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.
9707 Publications
1998 | Book (Editor) | LibreCat-ID: 53587
Müller, W., & Rammig, F. J. (Eds.). (1998). Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.
LibreCat
1998 | Book Review | LibreCat-ID: 18272 | 
Peckhaus, V. (1998). Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14. In zbMATH Open, Zbl. 0894.01007 (Zbl. 894.01007).
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18232 |
Peckhaus, V. (1998). Sandu, Gabriel, “IF First-Order Logic, Kripke, and 3-Valued Logic”, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 254–270. In zbMATH Open, Zbl. 0877.03011 (Zbl. 0877.03011).
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18248 |
Peckhaus, V. (1998). Beller, Walter, “Logic in Mexico”, In: Santiago Ramirez (ed.), Mexican Studies in the History and Philosophy of Science, Kluwer: Dordrecht 1995 (= Boston Stud. Philos. Sci.; 172), 1–22. In zbMATH Open, Zbl. 0884.01017 (Zbl. 0884.01017).
LibreCat
| Download (ext.)
1997 | Dissertation | LibreCat-ID: 19631
Bäumker, A. (1997). Communication Efficient Parallel Searching (Vol. 28). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
1997 | Dissertation | LibreCat-ID: 19636
Dittrich, W. (1997). Communication and I/O Efficient Parallel Data Structures (Vol. 27). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
1997 | Dissertation | LibreCat-ID: 19637
Strothmann, W.-B. (1997). Bounded Degree Spanning Trees (Vol. 35). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
1997 | Conference Paper | LibreCat-ID: 19869
Czumaj, A., & Strothmann, W.-B. (1997). Bounded degree spanning trees. Proceedings of the Fifth Annual European Symposium on Algorithms (ESA’97). https://doi.org/10.1007/3-540-63397-9_9
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 2438
Simon, J., Weicker, R., & Vieth, M. (1997). Workload Analysis of Computation Intensive Tasks: Case Study on SPEC CPU95 Benchmarks. In Proc. European Conf. on Parallel Processing (Euro-Par) (Vol. 1300, pp. 971–984). Berlin / Heidelberg: Springer. https://doi.org/10.1007/BFb0002841
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 2441
Fischer, M., & Simon, J. (1997). Embedding SCI into PVM. In Proc. European Parallel Virtual Machine / Message Passing Interface Users’ Group Meeting (EuroPVM/MPI) (Vol. 1332, pp. 175–184). Berlin / Heidelberg: Springer. https://doi.org/10.1007/3-540-63697-8_84
LibreCat
| DOI
1997 | Book Chapter | LibreCat-ID: 3029
Blömer, J. (1997). Denesting by bounded degree radicals. In Algorithms — ESA ’97 (pp. 53–63). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-63397-9_5
LibreCat
| Files available
| DOI
1997 | Book | LibreCat-ID: 17447
Peckhaus, V. (1997). Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert. Berlin: Akademie-Verlag.
LibreCat
1997 | Conference Paper | LibreCat-ID: 7839
Engels, G., Heckel, R., Taentzer, G., & Ehrig, H. (1997). A View-Oriented Approach to System Modelling Using Graph Transformations. In M. Jazayeri & H. Schauer (Eds.), Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland) (Vol. 1301, pp. 327–343). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-63531-9
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 8106
Krauter, S., & Duwe, H. (1997). Das ECO–PV–System. In Zwölftes Nationales Symposium für Photovoltaische Energiewandlung, Staffelstein, 26.–28. Februar 1997, Band 1, S. 297–302.
LibreCat
1997 | Journal Article | LibreCat-ID: 8107
Krauter, S. (1997). Lernen über das World–Wide–Web am Beispiel der Sonnenenergienutzung. Telelearning: Aufgabe Und Chance Für Bildung Und Gesellschaft, 149–150.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8108
Kerst, U., Krauter, S., & Hanitsch, R. (1997). Reflection-Losses at Structured PV-Modules. In Proceedings of the 14th European Photovoltaic Solar Energy Conference, Barcelona (Spanien), 30. Juni – 4. Juli 1997, S. 232–235.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7515
Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., & Corradini, A. (1997). Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations (pp. 247–312). Singapore: World Scientific.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7517
Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., & Löwe, M. (1997). Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. In Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations (pp. 163–245). Singapore: World Scientific.
LibreCat
1997 | Book | LibreCat-ID: 6537
Bendfeld, J., Gärtner, S. O., & Ortjohann, E. (1997). Windatlas für die Kreise Holzminden, Hameln-Pyrmont und Teile der Kreise Schaumburg und Hildesheim. Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung.
LibreCat
1997 | Book | LibreCat-ID: 6752
Tönnies, M. (1997). Samuel Beckett’s Dramatic Strategy. Audience Laughter and the Postmodernist Debate. Trier: WVT.
LibreCat