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.

13849 Publications


1996 | Conference (Editor) | LibreCat-ID: 7796
Special Issue on Graph Transformations
G. Engels, H. Ehrig, G. Rozenberg, A. Skowron, eds., Special Issue on Graph Transformations, IOS Press, Amsterdam, 1996.
LibreCat
 

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

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

1996 | Report | LibreCat-ID: 8198
Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.
G. Busatto, 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
Lernen im Internet am Beispiel der Solarenergie
S. Krauter, in: D. Beste, M. Kälke (Eds.), Bildung Im Netz, VDI–Verlag, Düsseldorf, 1996, pp. 115–120.
LibreCat
 

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

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

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

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

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

1996 | Conference Abstract | LibreCat-ID: 17844
Die Wurzeln der deutschen Algebra der Logik
V. Peckhaus, in: Deutsche Mathematiker-Vereinigung. Jahrestagung 1996. 15.–21. September 1996 in Jena, o.O.u.J. (Jena), 1996, p. 196.
LibreCat
 
 

1996 | Book Review | LibreCat-ID: 17921
Quesada, Daniel, “State of Affairs and the Evolution of Carnap’s Semantics”, Logique & Analyse Nouv. Sér. 36 (1993), 149–157
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.01018] (1996).
LibreCat
 

1996 | Book Review | LibreCat-ID: 17940 LibreCat
 

1996 | Book Review | LibreCat-ID: 17926 LibreCat
 

1996 | Book Review | LibreCat-ID: 17933
Woleński, Jan, “Mathematical Logic in Poland 1900–1939: People, Circles, Institutions, Ideas”, Modern Logic 5 (1995), 363–405
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 843.03001] (1996).
LibreCat
 

1996 | Book Review | LibreCat-ID: 17938
Hintikka, Jaakko, “Why Parallel Processing?”, in: Casati/Smith/White (Hgg.) 1994 [9.39], 265–272
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 845.68039] (1996).
LibreCat
 

1996 | Book Review | LibreCat-ID: 17945 LibreCat
 

1996 | Book Review | LibreCat-ID: 17952
Detlefsen, Michael, “The Kantian Character of Hilbert’s Formalism”, in: Czermak (Hg.) 1993 [9.4], 195–205
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl 849.00016] (1996).
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17483
A Realistic Cost Model for the Communication Time in Parallel Programs
M. Fischer, J. Rethmann, A. Wachsmann, in: 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96), IOS Press, Amsterdam, 1996, pp. 13–27.
LibreCat | Files available
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author

Export / Embed