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
Representation independent query and update operations on propositional definite Horn formulas
H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.
LibreCat
| DOI
H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.
1987 | Journal Article | LibreCat-ID: 17820
DFG fördert an der FAU: Projekt: Fallstudien zur Begründung einer Sozialgeschichte der Logik
V. Peckhaus, C. Thiel, FAU Uni-Kurier 70/71 (1987) 49.
LibreCat
V. Peckhaus, C. Thiel, FAU Uni-Kurier 70/71 (1987) 49.
1987 | Book Chapter | LibreCat-ID: 19359
Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 74. Jg. , 1987, pp. 8–14.
LibreCat
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 74. Jg. , 1987, pp. 8–14.
1987 | Conference Paper | LibreCat-ID: 21791
Image based SAR product simulation for analysis
G. Domik, F. Leberl, in: ASPRS-ACSM, 1987.
LibreCat
G. Domik, F. Leberl, in: ASPRS-ACSM, 1987.
1987 | Conference Paper | LibreCat-ID: 7816
A Hybrid Interpreter in a Software Development Environment
G. Engels, A. Schürr, in: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), Springer, Berlin/Heidelberg, 1987, pp. 80–88.
LibreCat
G. Engels, A. Schürr, in: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), Springer, Berlin/Heidelberg, 1987, pp. 80–88.
1987 | Conference Paper | LibreCat-ID: 7817
On the Structure of Structure-Oriented Editors for Different Applications
G. Engels, M. Nagl, W. Schäfer, in: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, ACM SIGPLAN Notices, 1987, pp. 190–198.
LibreCat
G. Engels, M. Nagl, W. Schäfer, in: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, ACM SIGPLAN Notices, 1987, pp. 190–198.
1987 | Conference Paper | LibreCat-ID: 8257
Graph Grammar Engineering: A Software Specification Method
G. Engels, C. Lewerentz, W. Schäfer, in: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), Springer, Berlin/Heidelberg, 1987, pp. 186–201.
LibreCat
| DOI
G. Engels, C. Lewerentz, W. Schäfer, in: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), Springer, Berlin/Heidelberg, 1987, pp. 186–201.
1987 | Journal Article | LibreCat-ID: 16772
A Time-Space Tradeoff for Element Distinctness
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, SIAM Journal on Computing (1987) 97–99.
LibreCat
| DOI
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, SIAM Journal on Computing (1987) 97–99.
1987 | Journal Article | LibreCat-ID: 16773
The Complexity of Parallel Sorting
F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1987) 100–107.
LibreCat
| DOI
F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1987) 100–107.
1987 | Conference Paper | LibreCat-ID: 16916
Digital Rectification Method for Radar Images Applied on Huge Arrays
G. Domik, in: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, 1987, pp. 67–68.
LibreCat
G. Domik, in: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, 1987, pp. 67–68.
1987 | Conference Paper | LibreCat-ID: 11795
Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels
R. Haeb-Umbach, H. Meyr, in: Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio, 1987.
LibreCat
R. Haeb-Umbach, H. Meyr, in: Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio, 1987.
1987 | Conference Paper | LibreCat-ID: 15038
Methods and application of surface shape reconstruction from multiple SAR images
G. Domik, in: IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–1555.
LibreCat
G. Domik, in: IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–1555.
1987 | Conference Paper | LibreCat-ID: 15050
Methods and accuracy of operational digital image mapping with aircraft SAR
F. Leberl, G. Domik, B.J. Mercer, in: 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–158.
LibreCat
F. Leberl, G. Domik, B.J. Mercer, in: 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–158.
1987 | Book Chapter | LibreCat-ID: 17819
Interdisziplinäres Institut für Wissenschaftstheorie und Wissenschaftsgeschichte
V. Peckhaus, R. Kötter, in: Friedrich-Alexander-Universität Erlangen-Nürnberg. Jahresbericht 1984/85 und 1985/86 (Mai 1987), 1987, p. 89.
LibreCat
V. Peckhaus, R. Kötter, in: Friedrich-Alexander-Universität Erlangen-Nürnberg. Jahresbericht 1984/85 und 1985/86 (Mai 1987), 1987, p. 89.
1987 | Journal Article | LibreCat-ID: 35394
Molecular motions from two-dimensional NMR of powders: Comparison of rotational jumps and diffusive reorientations
C. Schmidt, B. Blümich, S. Wefing, S. Kaufmann, H.W. Spiess, Berichte Der Bunsengesellschaft Für Physikalische Chemie 91 (1987) 1141–1145.
LibreCat
| DOI
C. Schmidt, B. Blümich, S. Wefing, S. Kaufmann, H.W. Spiess, Berichte Der Bunsengesellschaft Für Physikalische Chemie 91 (1987) 1141–1145.
1987 | Book Chapter | LibreCat-ID: 27968
Anschauliches Lernen im Museum.
R. Bigga, in: Allgemeinbildung und Arbeit, Technik, Wirtschaft - Innovationen in Curriculum und Schul-Praxis., GATWU, Oldenburg, 1987, pp. 120–127.
LibreCat
R. Bigga, in: Allgemeinbildung und Arbeit, Technik, Wirtschaft - Innovationen in Curriculum und Schul-Praxis., GATWU, Oldenburg, 1987, pp. 120–127.
1987 | Encyclopedia Article | LibreCat-ID: 37872
Ruth Crawford Seeger
R. Grotjahn, in: H. Danuser, D. Kämper, P. Terse (Eds.), Amerikanische Musik Seit Charles Ives, 1st ed., Laaber-Verlag, Lilienthal, 1987, p. 326f.
LibreCat
R. Grotjahn, in: H. Danuser, D. Kämper, P. Terse (Eds.), Amerikanische Musik Seit Charles Ives, 1st ed., Laaber-Verlag, Lilienthal, 1987, p. 326f.
1987 | Encyclopedia Article | LibreCat-ID: 37873
Wallingford Riegger
R. Grotjahn, in: H. Danuser, D. Kämper, P. Terse (Eds.), Amerikanische Musik seit Charles Ives, 1st ed., Laaber-Verlag, Lilienthal, 1987, p. 375f.
LibreCat
R. Grotjahn, in: H. Danuser, D. Kämper, P. Terse (Eds.), Amerikanische Musik seit Charles Ives, 1st ed., Laaber-Verlag, Lilienthal, 1987, p. 375f.
1987 | Encyclopedia Article | LibreCat-ID: 37874
George Rochberg
R. Grotjahn, in: H. Danuser, D. Kämper, P. Terse (Eds.), Amerikanische Musik Seit Charles Ives, 1st ed., Laaber-Verlag, Lilienthal, 1987, p. 377f.
LibreCat
R. Grotjahn, in: H. Danuser, D. Kämper, P. Terse (Eds.), Amerikanische Musik Seit Charles Ives, 1st ed., Laaber-Verlag, Lilienthal, 1987, p. 377f.
1987 | Journal Article | LibreCat-ID: 40338
Angular Dependence of Blue Phase Selective Reflection in the Electric Field
G. Heppke, H.-S. Kitzerow, M. Krumrey, Molecular Crystals and Liquid Crystals Incorporating Nonlinear Optics 150 (1987) 265–276.
LibreCat
| DOI
G. Heppke, H.-S. Kitzerow, M. Krumrey, Molecular Crystals and Liquid Crystals Incorporating Nonlinear Optics 150 (1987) 265–276.