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.

13305 Publications


1999 | Journal Article | LibreCat-ID: 3687
Gallenberger, W., Harteis, C., & Kraft, S. (1999). Zu den Bedingungen der Möglichkeit. Helmut Heid zum 65. Geburtstag. Zeitschrift Für Berufs-Und Wirtschaftspädagogik, 95(1), 1–9.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 3252
Wehrheim, H. (1999). Partial order reductions for failures refinement. Electr. Notes Theor. Comput. Sci., 71--84. https://doi.org/10.1016/S1571-0661(05)80296-8
LibreCat | DOI
 

1999 | Book | LibreCat-ID: 3339
Lettmann, T., & Kleine Büning, H. (1999). Propositional Logic : Deduction and Algorithms. Cambridge Univ. Press.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 7401
Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., … Taentzer, G. (1999). Graph Transformation for Specification and Programming. Science of Computer Programming, 34(1), 1–54. http://dx.doi.org/10.1016/S0167-6423(98)00023-9
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 7850
Corradini, A., Heckel, R., & Montanari, U. (1999). Tile Transition Systems as Structured Coalgebras. In Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99) (Vol. 1684, pp. 13–38). Berlin/Heidelberg: Springer.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 7519
Heckel, R., Engels, G., Ehrig, H., & Taentzer, G. (1999). Classification and Comparison of Module Concepts for Graph Transformation Systems. In Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools (Vol. 2, pp. 669–689). Singapore: World Scientific.
LibreCat
 

1999 | Conference (Editor) | LibreCat-ID: 7792
Engels, G., Beiersdörfer, K., & Schäfer, W. (Eds.). (1999). Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8118
Krauter, S., Stephan, R., & Bastos, L. (1999). Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro. In Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8120
Krauter, S. (1999). The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics. In Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8322
Sauer, S., & Engels, G. (1999). OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems. In Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA) (pp. 64–71). Indian Wells, California, USA.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed