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.
9847 Publications
1998 | Book (Editor) | LibreCat-ID: 53587
Müller W, Rammig FJ, eds. Proceedings Des Workshops Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen.; 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18740
Peckhaus V. Ewald, William (Hg.), From Kant to Hilbert. A Source Book in the Foundations of Mathematics, 2 Bde., The Clarendon Press: Oxford/Oxford University Press: New York 1996. Mathematical Reviews, MR1465678 (98i:01040). Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18272 | 
Peckhaus V. Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14. zbMATH Open, Zbl 089401007. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18232 |
Peckhaus V. Sandu, Gabriel, “IF First-Order Logic, Kripke, and 3-Valued Logic”, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 254–270. zbMATH Open, Zbl 087703011. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18271 |
Peckhaus V. Rodych, Victor, “Wittgenstein on Mathematical Meaningfulness, Decidability, and Application”, Notre Dame Journal of Formal Logic 38 (1997), Nr. 2, 195–224. zbMATH Open, Zbl 089100007. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18246 |
Peckhaus V. Cobos, J., “A Mathematician out of his Time: Ventura Reyes Prosper”, Extr. Math. 11, Nr. 2 (1996), 306–314. zbMATH Open, Zbl 088301027. Published online 1998.
LibreCat
| Download (ext.)
1997 | Dissertation | LibreCat-ID: 19631
Bäumker A. Communication Efficient Parallel Searching. Vol 28. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1997.
LibreCat
1997 | Dissertation | LibreCat-ID: 19636
Dittrich W. Communication and I/O Efficient Parallel Data Structures. Vol 27. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1997.
LibreCat
1997 | Dissertation | LibreCat-ID: 19637
Strothmann W-B. Bounded Degree Spanning Trees. Vol 35. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1997.
LibreCat
| Files available
1997 | Conference Paper | LibreCat-ID: 19869
Czumaj A, Strothmann W-B. Bounded degree spanning trees. In: Proceedings of the Fifth Annual European Symposium on Algorithms (ESA’97). ; 1997. doi:10.1007/3-540-63397-9_9
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 2438
Simon J, Weicker R, Vieth M. Workload Analysis of Computation Intensive Tasks: Case Study on SPEC CPU95 Benchmarks. In: Proc. European Conf. on Parallel Processing (Euro-Par). Vol 1300. Lecture Notes in Computer Science (LNCS). Berlin / Heidelberg: Springer; 1997:971-984. doi:10.1007/BFb0002841
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 2441
Fischer M, Simon J. Embedding SCI into PVM. In: Proc. European Parallel Virtual Machine / Message Passing Interface Users’ Group Meeting (EuroPVM/MPI). Vol 1332. Lecture Notes in Computer Science (LNCS). Berlin / Heidelberg: Springer; 1997:175-184. doi:10.1007/3-540-63697-8_84
LibreCat
| DOI
1997 | Book Chapter | LibreCat-ID: 3029
Blömer J. Denesting by bounded degree radicals. In: Algorithms — ESA ’97. Berlin, Heidelberg: Springer Berlin Heidelberg; 1997:53-63. doi:10.1007/3-540-63397-9_5
LibreCat
| Files available
| DOI
1997 | Journal Article | LibreCat-ID: 3033
Blömer J, Karp R, Welzl E. The rank of sparse random matrices over finite fields. Random Structures \& Algorithms. 1997;(4):407-419. doi:10.1002/(SICI)1098-2418(199707)10:4<407::AID-RSA1>3.0.CO;2-Y
LibreCat
| DOI
1997 | Report | LibreCat-ID: 18955
Strothmann W-B, Lukovszki T. Decremental Biconnectivity on Planar Graphs. Paderborn; 1997.
LibreCat
| Files available
1997 | Conference Paper | LibreCat-ID: 7839
Engels G, Heckel R, Taentzer G, Ehrig H. A View-Oriented Approach to System Modelling Using Graph Transformations. In: Jazayeri M, Schauer H, eds. Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland). Vol 1301. Berlin/Heidelberg: Springer; 1997:327-343. doi:http://dx.doi.org/10.1007/3-540-63531-9
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 8106
Krauter S, Duwe H. Das ECO–PV–System. In: Zwölftes Nationales Symposium Für Photovoltaische Energiewandlung, Staffelstein, 26.–28. Februar 1997, Band 1, S. 297–302. ; 1997.
LibreCat
1997 | Journal Article | LibreCat-ID: 8107
Krauter S. Lernen über das World–Wide–Web am Beispiel der Sonnenenergienutzung. Telelearning: Aufgabe und Chance für Bildung und Gesellschaft. 1997:149-150.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8108
Kerst U, Krauter S, Hanitsch R. 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. ; 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8276
Gadducci F, Heckel R. A 2-Categorical Presentation of Distributed Graph Transformation. In: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France). Bordeaux; 1997.
LibreCat