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.

8680 Publications


1981 | Report | LibreCat-ID: 8184
Engels, G., Pletat, U., & Ehrich, H.-D. (1981). Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück.
LibreCat
 

1981 | Report | LibreCat-ID: 8185
Pletat, U., Engels, G., & Ehrich, H.-D. (1981). Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science.
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7811
Engels, G., & Schäfer, W. (1982). Specification of a Programming Support Environment by Graph Grammars. In Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany) (pp. 47–62). München/Leipzig: Hanser.
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7812
Pletat, U., Engels, G., & Ehrich, H.-D. (1982). An Operational Approach to Conditional Algebraic Specifications. In Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France) (Vol. 82, pp. 254–270).
LibreCat
 

1983 | Journal Article | LibreCat-ID: 7412
Engels, G., Pletat, U., & Ehrich, H.-D. (1983). An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Informatica, 9(3), 235–254. http://dx.doi.org/10.1007/BF00265557
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7411
Engels, G., Gall, R., Nagl, M., & Schäfer, W. (1983). Software Specification Using Graph Grammars. Computing, 31(4), 317–346. http://dx.doi.org/10.1007/BF02251236
LibreCat | DOI
 

1983 | Conference Paper | LibreCat-ID: 8255
Nagl, M., Engels, G., Gall, R., & Schäfer, W. (1983). Software Specification by Graph Grammars. In Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany) (Vol. 153, pp. 267–287). Berlin/Heidelberg: Springer. https://doi.org/dx.doi.org/10.1007/BFb0000113
LibreCat | DOI
 

1984 | Journal Article | LibreCat-ID: 15124
Domik, G., Kobrick, M., & Leberl, F. (1984). Analyse von Radarbildern mittels digitaler Hoehenmodelle. Bildmessung Und Luftbildwesen, 52(5), 249–263.
LibreCat
 

1984 | Journal Article | LibreCat-ID: 15055
Domik, G. (1984). Evaluation of radar stereo viewability by means of a simulation technique. ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use, 2.
LibreCat
 

1984 | Journal Article | LibreCat-ID: 14995
Domik, G., Leberl, F., & Kobrick, M. (1984). Radar image simulation and its application in image analysis. Archives of the International Society of Photogrammetry and Remote Sensing, 25, A3a.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: APA

Export / Embed