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.

13897 Publications


1996 | Journal Article | LibreCat-ID: 7405
R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, “Horizontal and Vertical Structuring of Typed Graph Transformation Systems,” Mathematical Structures in Computer Science, vol. 6, no. 6, pp. 613–648, 1996.
LibreCat
 

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

1996 | Book Chapter | LibreCat-ID: 8105
S. Krauter, “Lernen im Internet am Beispiel der Solarenergie,” in Bildung im Netz, D. Beste and M. Kälke, Eds. Düsseldorf: VDI–Verlag, 1996, pp. 115–120.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8275
R. Heckel, M. Conrad, G. Egger, and J. Hiemer, “Automatic Integration of Safety Invariants into Z Specifications,” in Proceedings of the Workshop on Tools for System Development and Verifcation, 1996, vol. 1, pp. 70–83.
LibreCat | Download (ext.)
 

1996 | Book Chapter | LibreCat-ID: 8403
H.-H. Kremer, “Existenzgründung,” in Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung - Existenzgründung, Marketing , H.-H. Kremer and E. Stickling, Eds. 1996, pp. 1–30.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16896
S. Volbracht, G. Domik-Kienegger, K. Shahrbabaki, and G. Fels, “An Experimental Comparison of 3D Display Modes,” in Proceedings of IEEE Visualization , San Francisco, USA, 1996, pp. 8–11.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17419
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, and R. Smolensky, “A lower bound for randomized algebraic decision trees,” in Proc. of 28th ACM-STOC, 1996, vol. 65453, pp. 612–621.
LibreCat
 

1996 | Encyclopedia Article | LibreCat-ID: 17642
V. Peckhaus, “Wiener [Ludwig Christian],” in Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J. Mittelstraß, Ed. Stuttgart/Weimar: J.B. Metzler, 1996, pp. 693–694.
LibreCat
 

1996 | Conference Abstract | LibreCat-ID: 17844
V. Peckhaus, “Die Wurzeln der deutschen Algebra der Logik,” in Deutsche Mathematiker-Vereinigung. Jahrestagung 1996. 15.–21. September 1996 in Jena, 1996, p. 196.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17919
V. Peckhaus, “Puhl, Klaus (Hg.), Philosophy of Mathematics. Proceedings of the 15th International Witt-genstein-Symposium, 16–23 August 1992, Kirchberg am Wechsel, Austria, Part 2, Hölder-Pichler-Tempsky: Wien 1993 (= Schriftenreihe der Wittgenstein-Gesellschaft; 20/II),” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 836.00023]. 1996.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: IEEE

Export / Embed