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.

13796 Publications

1986 | Conference Paper | LibreCat-ID: 7815
Engels, G., Lewerentz, C., Nagl, M., & Schäfer, W. (1986). On the Structure of an Incremental and Integrated Software Development Environment. In Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA (Vol. 2a, pp. 585–597).

1986 | Journal Article | LibreCat-ID: 17468
Peckhaus, V. (1986). Case Studies Towards the Establishment of a Social History of Logic. History and Philosophy of Logic, 7, 185–186.

1986 | Conference Paper | LibreCat-ID: 21793
Mercer, J., Lowry, R., Leberl, F., & Domik, G. (1986). Digital terrain mapping with STAR-1 SAR data. In International Geoscience and Remote Sensing Symposium (pp. 645–650).

1987 | Conference Paper | LibreCat-ID: 11795
Haeb-Umbach, R., & Meyr, H. (1987). Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels. In Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio.

1987 | Conference Paper | LibreCat-ID: 15038
Domik, G. (1987). Methods and application of surface shape reconstruction from multiple SAR images. In IGARSS’87-International Geoscience and Remote Sensing Symposium (pp. 1551–1555).

1987 | Conference Paper | LibreCat-ID: 16916
Domik-Kienegger, G. (1987). 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 (pp. 67–68).

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

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

1987 | Book Chapter | LibreCat-ID: 19821
Büning, H. K., & Lettmann, T. (1987). Representation independent query and update operations on propositional definite Horn formulas. In E. Börger (Ed.), Computation Theory and Logic (pp. 208–223). Berlin, Heidelberg.
LibreCat | DOI

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


Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: APA

Export / Embed