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.

13802 Publications

1996 | Conference Paper | LibreCat-ID: 3262
Causal Testing
U. Goltz, H. Wehrheim, in: W. Penczek, A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.
LibreCat | DOI

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

1996 | Conference Paper | LibreCat-ID: 2184
Communication in Parallel Systems
F. Meyer auf der Heide, C. Scheideler, in: SOFSEM, Springer, 1996, pp. 16--33.
LibreCat | Files available

1996 | Conference Paper | LibreCat-ID: 8273
Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper)
G. Engels, A. Zamperoni, in: 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.

1996 | Conference Paper | LibreCat-ID: 16816
Computer Visualization - Concepts, Trends and Current Research
G. Domik-Kienegger, in: K. G. Jeffery, J. Kr{\’{a}}l, M. Bartosek (Eds.), {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, Springer, 1996, pp. 178–196.
LibreCat | DOI

1996 | Report | LibreCat-ID: 17418
Contention Resolution in Hashing Based Shared Memory Simulations
A. Czumaj, F. Meyer auf der Heide, V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, 1996.

1996 | Journal Article | LibreCat-ID: 10197 LibreCat

1996 | Conference Abstract | LibreCat-ID: 17843
Das Problem des ersten Schrittes in der modernen Axiomatik [Abstract]
V. Peckhaus, in: C. Binder (Ed.), 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, Wien, 1996, pp. 142–145.

1996 | Book Review | LibreCat-ID: 17940 LibreCat

Filters and Search Terms



Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: Default

Export / Embed