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.

18268 Publications


1987 | Conference Paper | LibreCat-ID: 7816
Engels G, Schürr A. A Hybrid Interpreter in a Software Development Environment. In: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France). Vol 289. Berlin/Heidelberg: Springer; 1987:80-88.
LibreCat
 

1987 | Journal Article | LibreCat-ID: 17820
Peckhaus V, Thiel C. DFG fördert an der FAU: Projekt: Fallstudien zur Begründung einer Sozialgeschichte der Logik. FAU Uni-Kurier. 1987;70/71(Juni 1987):49.
LibreCat
 

1987 | Book Chapter | LibreCat-ID: 19821
Büning HK, Lettmann T. Representation independent query and update operations on propositional definite Horn formulas. In: Börger E, ed. Computation Theory and Logic. Berlin, Heidelberg; 1987:208-223. doi:10.1007/3-540-18170-9_167
LibreCat | DOI
 

1987 | Conference Paper | LibreCat-ID: 16916
Domik G. Digital Rectification Method for Radar Images Applied on Huge Arrays. In: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar. ; 1987:67-68.
LibreCat
 

1987 | Book Chapter | LibreCat-ID: 27968
Bigga R. Anschauliches Lernen im Museum. . In: Allgemeinbildung und Arbeit, Technik, Wirtschaft - Innovationen in Curriculum und Schul-Praxis. GATWU; 1987:120-127.
LibreCat
 

1987 | Journal Article | LibreCat-ID: 16772
Borodin A, Fich F, Meyer auf der Heide F, Upfal E, Wigderson A. A Time-Space Tradeoff for Element Distinctness. SIAM Journal on Computing. 1987:97-99. doi:10.1137/0216007
LibreCat | DOI
 

1987 | Conference Paper | LibreCat-ID: 7817
Engels G, Nagl M, Schäfer W. On the Structure of Structure-Oriented Editors for Different Applications. In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA. Vol 22. ACM SIGPLAN Notices; 1987:190-198.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 8257
Engels G, Lewerentz C, Schäfer W. Graph Grammar Engineering: A Software Specification Method. In: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA). Vol 291. Berlin/Heidelberg: Springer; 1987:186-201. doi:dx.doi.org/10.1007/3-540-18771-5
LibreCat | DOI
 

1987 | Book Chapter | LibreCat-ID: 17819
Peckhaus V, Kötter R. Interdisziplinäres Institut für Wissenschaftstheorie und Wissenschaftsgeschichte. In: Friedrich-Alexander-Universität Erlangen-Nürnberg. Jahresbericht 1984/85 und 1985/86 (Mai 1987). ; 1987:89.
LibreCat
 

1987 | Journal Article | LibreCat-ID: 16773
Meyer auf der Heide F, Wigderson A. The Complexity of Parallel Sorting. SIAM Journal on Computing. 1987:100-107. doi:10.1137/0216008
LibreCat | DOI
 

1987 | Book Chapter | LibreCat-ID: 19359
Seng E-M. Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins. In: Bürger- und Verkehrsverein Tübingen e.V., ed. Tübinger Blätter, 74. Jg. . Vol 74. Jg. Tübinger Blätter. ; 1987:8-14.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 21791
Domik G, Leberl F. Image based SAR product simulation for analysis. In: ASPRS-ACSM. ; 1987.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 15050
Leberl F, Domik G, Mercer BJ. Methods and accuracy of operational digital image mapping with aircraft SAR. In: 1987 ASPRS ACSM Annual Convention. ; 1987:148-158.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 11783
Haeb-Umbach R. A Comparison of Coherent and Differentially Coherent Detection Schemes for Fading Channels. In: International Conference on Vehicular Technology, Philadelphia. ; 1988.
LibreCat | Download (ext.)
 

1988 | Journal Article | LibreCat-ID: 16764
Meyer auf der Heide F. Fast algorithms for N-dimensional restrictions of hard problems. Journal of the ACM (JACM). 1988:740-747. doi:10.1145/44483.44490
LibreCat | DOI
 

1988 | Report | LibreCat-ID: 8186
Ebert J, Engels G. Ein Konzept Zur Beschreibung von Software-Architekturen. EWH Koblenz; 1988.
LibreCat
 

1988 | Journal Article | LibreCat-ID: 17469
Peckhaus V. Karl Eugen Müller (1865–1932) und seine Rolle in der Entwicklung der Algebra der Logik. History and Philosophy of Logic. 1988;9:43-56.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 13021
Wunderlich H-J, Hellebrand S. Generating Pattern Sequences for the Pseudo-Exhaustive Test of MOS-Circuits. In: {18th International Symposium on Fault-Tolerant Computing, FTCS-18}. Tokyo, Japan: {IEEE (Comput. Soc. Press)}; 1988:36-45. doi:10.1109/ftcs.1988.5294
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 15320
Brugel EW, Domik G, Voels SA. A multi-spectral analysis system using large databases. In: European Southern Observatory Conference and Workshop Proceedings. Vol 28. ; 1988:3-8.
LibreCat
 

1988 | Journal Article | LibreCat-ID: 16765
Borodin A, Fich FE, Meyer auf der Heide F, Upfal E, Wigderson A. A tradeoff between search and update time for the implicit dictionary problem. Theoretical Computer Science. 1988:57-68. doi:10.1016/0304-3975(88)90018-7
LibreCat | DOI
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: AMA

Export / Embed