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.
37042 Publications
1983 | Journal Article | LibreCat-ID: 7411
Engels G, Gall R, Nagl M, Schäfer W. Software Specification Using Graph Grammars. Computing. 1983;31(4):317-346. doi:http://dx.doi.org/10.1007/BF02251236
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 7412
Engels G, Pletat U, Ehrich H-D. An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Informatica. 1983;9(3):235-254. doi:http://dx.doi.org/10.1007/BF00265557
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 16806
Meyer auf der Heide F. Efficiency of universal parallel computers. Acta Informatica. 1983:269-296. doi:10.1007/bf00265559
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 16807
Klein P, Meyer auf der Heide F. A lower time bound for the knapsack problem on random access machines. Acta Informatica. 1983:385-395. doi:10.1007/bf00290735
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 16808
Meyer auf der Heide F. Infinite cube-connected cycles. Information Processing Letters. 1983:1-2. doi:10.1016/0020-0190(83)90001-7
LibreCat
| DOI
1983 | Conference Paper | LibreCat-ID: 16809
Meyer auf der Heide F. A polynomial linear search algorithm for the n-dimensional knapsack problem. In: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing - STOC ’83. ; 1983. doi:10.1145/800061.808734
LibreCat
| DOI
1983 | Book Chapter | LibreCat-ID: 16810
Meyer auf der Heide F. Efficiency of universal parallel computers. In: Lecture Notes in Computer Science. Berlin/Heidelberg; 1983. doi:10.1007/bfb0036483
LibreCat
| DOI
1984 | Conference Paper | LibreCat-ID: 21603
Domik G, Leberl F, Kobrick M. Radar Image Simulation and its Application in Image Analysis. In: International Archives of Photogrammetry and Remote Sensing. Vol 25A. ISPRS 1984, XVth congress, Rio de Janeiro, 1984. Rio de Janeiro, Brazil; 1984:99–108.
LibreCat
1984 | Conference Paper | LibreCat-ID: 21604
Domik G, Leberl F, Raggam J. Rectification of Radar Images Using Stereo- Derived Height Models and Simulations. In: XVth Congress of the International Society for Photogrammetry and Remote Sensing. Vol 25A. Rio de Janeiro; 1984:109–116.
LibreCat
1984 | Conference Paper | LibreCat-ID: 21605
Domik G. Evaluation of radar stereo viewability by means of a simulation technique. In: ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use,. Vol 2. ; 1984.
LibreCat
1984 | Journal Article | LibreCat-ID: 16785
Meyer auf der Heide F. A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem. Journal of the ACM (JACM). 1984:668-676. doi:10.1145/828.322450
LibreCat
| DOI
1984 | Conference Paper | LibreCat-ID: 16786
Meyer auf der Heide F, Reischuk R. On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication. In: 25th Annual Symposium OnFoundations of Computer Science, 1984. ; 1984. doi:10.1109/sfcs.1984.715901
LibreCat
| DOI
1984 | Book Chapter | LibreCat-ID: 16787
Meyer auf der Heide F. Efficient simulations among several models of parallel computers (extended abstract). In: STACS 84. Berlin, Heidelberg; 1984. doi:10.1007/3-540-12920-0_20
LibreCat
| DOI
1984 | Conference Paper | LibreCat-ID: 16922
Domik G, Kienegger E. Method to Relate Digital SAR Images and Map Information in Mountainous Areas . In: Proceedings of the World Conference on Remote Sensing. ; 1984.
LibreCat
1984 | Conference Paper | LibreCat-ID: 15598
Rott H, Domik G. The SAR-580 experiment on snow and glaciers at the Austrian test site. In: Proc. SAR-580 Investigators Workshop. Vol 2. ; 1984:217-232.
LibreCat
1984 | Report | LibreCat-ID: 15600
Domik G, Leberl F, Raggam J. Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models. Graz Research Center; 1984.
LibreCat
1984 | Journal Article | LibreCat-ID: 15124
Domik G, Kobrick M, Leberl F. Analyse von Radarbildern mittels digitaler Hoehenmodelle. Bildmessung und luftbildwesen. 1984;52(5):249-263.
LibreCat
1984 | Book | LibreCat-ID: 17455 | 
Peckhaus V. Der nationalsozialistische „neue Begriff“ von Wissenschaft am Beispiel der „Deutschen Mathematik“ — Programm, Konzeption und politische Realisierung, Magisterarbeit an der Philosophischen Fakultät der Rheinisch-Westfälischen Technischen Hochschule Aachen, August 1984.; 1984.
LibreCat
| Download (ext.)
1984 | Mastersthesis | LibreCat-ID: 12793
Hagengruber RE. Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse in Platons Symposion.; 1984.
LibreCat
1984 | Journal Article | LibreCat-ID: 51461
Hilgert J, Hofmann KH. Lie Theory of Semigroups. Semigroup Forum. 1984;30:243-251.
LibreCat