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.
23 Publications
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 | 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: 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: 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 | 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 | 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 | 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 | 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 | Conference Paper | LibreCat-ID: 11795
Haeb-Umbach R, Meyr H. Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels. In: Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio. ; 1987.
LibreCat
1987 | Conference Paper | LibreCat-ID: 15038
Domik G. Methods and application of surface shape reconstruction from multiple SAR images. In: IGARSS’87-International Geoscience and Remote Sensing Symposium. ; 1987:1551-1555.
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
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: 35394
Schmidt C, Blümich B, Wefing S, Kaufmann S, Spiess HW. Molecular motions from two-dimensional NMR of powders: Comparison of rotational jumps and diffusive reorientations. Berichte der Bunsengesellschaft für physikalische Chemie. 1987;91(11):1141-1145. doi:10.1002/bbpc.19870911113
LibreCat
| DOI
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 | Encyclopedia Article | LibreCat-ID: 37872
Grotjahn R. Ruth Crawford Seeger. In: Danuser H, Kämper D, Terse P, eds. Amerikanische Musik Seit Charles Ives. 1st ed. Laaber-Verlag; 1987:326f.
LibreCat
1987 | Encyclopedia Article | LibreCat-ID: 37873
Grotjahn R. Wallingford Riegger. In: Danuser H, Kämper D, Terse P, eds. Amerikanische Musik seit Charles Ives. 1st ed. Laaber-Verlag; 1987:375f.
LibreCat
1987 | Encyclopedia Article | LibreCat-ID: 37874
Grotjahn R. George Rochberg. In: Danuser H, Kämper D, Terse P, eds. Amerikanische Musik Seit Charles Ives. 1st ed. Laaber-Verlag; 1987:377f.
LibreCat
1987 | Journal Article | LibreCat-ID: 40338
Heppke G, Kitzerow H-S, Krumrey M. Angular Dependence of Blue Phase Selective Reflection in the Electric Field. Molecular Crystals and Liquid Crystals Incorporating Nonlinear Optics. 1987;150(1):265-276. doi:10.1080/00268948708074802
LibreCat
| DOI
1987 | Book Chapter | LibreCat-ID: 45510
Mahnken R, Stein E, Wetjen D, Heemann U. Theoretische und numerische Aspekte der Berechnung thermo-mechanischer Kriechvorgänge im Steinsalz. In: Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft. Vol 39. Erich Goltzke KG; 1987:61-121.
LibreCat
1987 | Book Chapter | LibreCat-ID: 51486
Hilgert J. Maximal Semigroups and the Support of Gauss-Semigroups. In: Viertl R, ed. Probability and Baysian Statistics. Plenum Press; 1987.
LibreCat
1987 | Journal Article | LibreCat-ID: 51452
Hilgert J. Maximal Semigroups and Controllability in Products of Lie Groups. Archiv Math. 1987;49:189-195.
LibreCat