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.

13800 Publications


1996 | Book (Editor) | LibreCat-ID: 16702
Meyer auf der Heide, Friedhelm, and Burkhard Monien, editors. Automata, Languages and Programming, 23rd International Colloquium, ICALP96. 1996, doi:10.1007/3-540-61440-0.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 8275
Heckel, Reiko, et al. “Automatic Integration of Safety Invariants into Z Specifications.” Proceedings of the Workshop on Tools for System Development and Verifcation, vol. 1, Shaker Verlag, 1996, pp. 70–83.
LibreCat | Download (ext.)
 

1996 | Book Review | LibreCat-ID: 17932
Peckhaus, Volker. “Bealer, George, ‘Toward a New Theory of Content’, in: Casati/Smith/White (Hgg.) 1994 [9.39], 179–191.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 842.03022], Zbl. 842.03022, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7835
Heckel, Reiko. “Behavioral Constraints for Loose Graph Transformation Systems.” Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, no. 155, Technical University of Berlin, 1996, pp. 12–13.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16895
Gutkauf, B., and Gitta Domik-Kienegger. “Benutzermodellierung Als Basis Für Adaptive Multimediale Präsentations- Und Interaktionssysteme.” Proceedigns 4. GI Workshop Adaptivität  Und Benutzermodellierung in Interaktiven Softwaresystemen, 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17915
Peckhaus, Volker. “Bolzano, Bernard, Miscellanea Mathematica 10, Hg. v. Bob van Rootselar/Anna van Der Lugt, Frommann-Holzboog: Stuttgart-Bad Cannstatt 1995 (Bernard Bolzano-Gesamtausgabe; II.B.6.2).” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 833.01035], Zbl. 833.01035, 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17943
Peckhaus, Volker. “Breger, Herbert, ‘Tacit Knowledge in Mathematical Theory’, in: J. Echeverria et Al. (Eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 79–90.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 847.00008], Zbl. 847.00008, 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17956
Peckhaus, Volker. “Casati, Roberto/Smith, Barry/White, Graham (Hgg.), Philosophy of the Cognitive Sciences. Proceedings of the 16th International Wittgenstein-Symposium, 15–22 August 1993, Kirchberg Am Wechsel, Austria, Hölder-Pichler-Tempsky: Wien 1994 (= Schriftenreihe Der Wittgenstein-Gesellschaft; 21).” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00032], Zbl. 849.00032, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 3262
Goltz, Ursula, and Heike Wehrheim. “Causal Testing.” Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, edited by Wojciech Penczek and Andrzej Szalas, 1996, pp. 394--406, doi:10.1007/3-540-61550-4_165.
LibreCat | DOI
 

1996 | Book Review | LibreCat-ID: 17954
Peckhaus, Volker. “Code, Murray, ‘Understanding, Intuition, and the Philosophy of Mathematics’, in: Czermak (Hg.) 1993 [9.4], 335–342.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00018], Zbl. 849.00018, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 2184
Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Communication in Parallel Systems.” SOFSEM, vol. 1175, Springer, 1996, pp. 16--33.
LibreCat | Files available
 

1996 | Conference Paper | LibreCat-ID: 8273
Engels, Gregor, and Andreas Zamperoni. “Comprehensive Support for Change: Generic, Multi-Dimensional (Software) Engineering Frameworks (Position Paper).” Proceedings of the Workshop on Requirements Engineering in a Changing World (Satellite Event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece), 1996, pp. 42–44.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16816
Domik-Kienegger, Gitta. “Computer Visualization - Concepts, Trends and Current Research.” {SOFSEM} ’96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings, edited by Keith G. Jeffery et al., vol. 1175, Springer, 1996, pp. 178–96, doi:10.1007/BFb0037404.
LibreCat | DOI
 

1996 | Report | LibreCat-ID: 17418
Czumaj, Artur, et al. Contention Resolution in Hashing Based Shared Memory Simulations. 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 10197
Steffen, Eckhard. “Counterexamples to a Conjecture about Bottlenecks in Non-Tait-Colourable Cubic Graphs.” Discrete Mathematics, vol. 161, 1996, p. 315.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17918
Peckhaus, Volker. “Czermak, Johannes (Hg.), Philosophy of Mathematics. Proceedings of the 15th International Wittgenstein-Symposium, 16–23 August 1992, Kirchberg Am Wechsel, Austria, Part 1, Hölder-Pichler-Tempsky: Wien 1993 (= Schriftenreihe Der Wittgenstein-Gesellschaft; 20/I).” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.00022], Zbl. 836.00022, 1996.
LibreCat
 

1996 | Conference Abstract | LibreCat-ID: 17843
Peckhaus, Volker. “Das Problem des ersten Schrittes in der modernen Axiomatik [Abstract].” IV. Österreichisches Symposion zur Geschichte der Mathematik. Neuhofen an der Ybbs, 5. bis 11. November 1995. 999 Jahre Österreich — ein Teil der globalen Entwicklung der Mathematik. Kurzfassungen der Vorträge, Nachtragsband, edited by Christa Binder, 1996, pp. 142–45.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17940
Peckhaus, Volker. “Dathe, Uwe, „Gottlob Frege Und Rudolf Eucken — Gesprächspartner in Der Herausbildungsphase Der Modernen Logik“, History and Philosophy of Logic 16 (1995), 245–255.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 846.01006], Zbl. 846.01006, 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17950
Peckhaus, Volker. “De Caro, Mario, ‘Galileo’s Mathematical Platonism’, in: Czermak (Hg.) 1993 [9.4], 13–22.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00015], Zbl. 849.00015, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8198
Busatto, Giorgio, and Gregor Engels. Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: MLA

Export / Embed