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.

13566 Publications


1994 | Conference Paper | LibreCat-ID: 7830
Engels, Gregor, and Hartmut Ehrig. “Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective.” Proceedings Colloquium on Graph Transformation and Its Application in Computer Science, vol. B-19, Universitat de les Illes Balears, Departament de Ci, 1994.
LibreCat
 

1994 | Report | LibreCat-ID: 8193
Ebert, Jürgen, and Gregor Engels. Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8092
Krauter, Stefan, et al. “Optical Modelling, Simulation and Improvement of PV Module Encapsulation.” Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8263
Andries, Marc, and Gregor Engels. “Syntax and Semantics of Hybrid Database Languages.” Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), vol. 776, Springer, 1994, pp. 19–36, doi:http://dx.doi.org/10.1007/3-540-57787-4_2.
LibreCat | DOI
 

1994 | Book Review | LibreCat-ID: 17774
Peckhaus, Volker. “Erik Heijerman/H. Walter Schmitz (Eds.), Significs, Mathematics and Semiotics. The Signific Movement in the Netherlands. Proceedings of the International Conference Bonn 19–21 November 1986, Nodus Publicationen: Münster 1991 (= Materialien Zur Geschichte Der Sprachwissenschaft Und Der Semiotik; 5).” Modern Logic, vol. 4, 1994, pp. 449–54.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17837
Peckhaus, Volker. “The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic [Abstract].” Abstract of Papers Presented to the American Mathematical Society, vol. 15, Nr. 5 (August 1994), 1994, p. 447.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17488
Peckhaus, Volker. “Hilbert’s Axiomatic Programme and Philosophy.” The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities, edited by Eberhard Knobloch and David E. Rowe, Academic Press, 1994, pp. 91–112.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 19415
Eke, Norbert Otto. “Heiner Müller.” Deutsche Dichter des 20. Jahrhunderts, edited by Hartmut Steinecke, Erich Schmidt, 1994, pp. 726–41.
LibreCat
 

1994 | Dissertation | LibreCat-ID: 19624
Wanka, Rolf. Paralleles Sortieren Auf Mehrdimensionalen Gittern. 1994.
LibreCat | Files available
 

1994 | Book | LibreCat-ID: 3333
Kleine Büning, Hans, and Theodor Lettmann. Aussagenlogik - Deduktion und Algorithmen. Teubner, 1994, doi:10.1007/978-3-322-84809-3.
LibreCat | DOI
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed