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.

13548 Publications


1987 | Conference Paper | LibreCat-ID: 11795
@inproceedings{Haeb-Umbach_Meyr_1987, title={Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels}, booktitle={Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio}, author={Haeb-Umbach, Reinhold and Meyr, Heinrich}, year={1987} }
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 15038
@inproceedings{Domik_1987, title={Methods and application of surface shape reconstruction from multiple SAR images}, booktitle={IGARSS’87-International Geoscience and Remote Sensing Symposium}, author={Domik, Gitta}, year={1987}, pages={1551–1555} }
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 16916
@inproceedings{Domik-Kienegger_1987, title={Digital Rectification Method for Radar Images Applied on Huge Arrays}, number={Rep. 29}, booktitle={Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar}, author={Domik-Kienegger, Gitta}, year={1987}, pages={67–68} }
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 7816
@inproceedings{Engels_Schürr_1987, place={Berlin/Heidelberg}, title={A Hybrid Interpreter in a Software Development Environment}, volume={289}, booktitle={Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France)}, publisher={Springer}, author={Engels, Gregor and Schürr, Andy}, year={1987}, pages={80–88} }
LibreCat
 

1987 | Journal Article | LibreCat-ID: 17820
@article{Peckhaus_Thiel_1987, title={DFG fördert an der FAU: Projekt: Fallstudien zur Begründung einer Sozialgeschichte der Logik}, volume={70/71}, number={Juni 1987}, journal={FAU Uni-Kurier}, author={Peckhaus, Volker and Thiel, Christian}, year={1987}, pages={49} }
LibreCat
 

1987 | Book Chapter | LibreCat-ID: 19821
@inbook{Büning_Lettmann_1987, place={Berlin, Heidelberg}, title={Representation independent query and update operations on propositional definite Horn formulas}, DOI={10.1007/3-540-18170-9_167}, booktitle={Computation Theory and Logic}, author={Büning, Hans Kleine and Lettmann, Theodor}, editor={Börger, EgonEditor}, year={1987}, pages={208–223} }
LibreCat | DOI
 

1987 | Journal Article | LibreCat-ID: 16772
@article{Borodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1987, title={A Time-Space Tradeoff for Element Distinctness}, DOI={10.1137/0216007}, journal={SIAM Journal on Computing}, author={Borodin, A. and Fich, F. and Meyer auf der Heide, Friedhelm and Upfal, E. and Wigderson, A.}, year={1987}, pages={97–99} }
LibreCat | DOI
 

1987 | Conference Paper | LibreCat-ID: 7817
@inproceedings{Engels_Nagl_Schäfer_1987, title={On the Structure of Structure-Oriented Editors for Different Applications}, volume={22}, number={1}, booktitle={Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA}, publisher={ACM SIGPLAN Notices}, author={Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm}, year={1987}, pages={190–198} }
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 8257
@inproceedings{Engels_Lewerentz_Schäfer_1987, place={Berlin/Heidelberg}, title={Graph Grammar Engineering: A Software Specification Method}, volume={291}, DOI={dx.doi.org/10.1007/3-540-18771-5}, booktitle={Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)}, publisher={Springer}, author={Engels, Gregor and Lewerentz, Claus and Schäfer, Wilhelm}, year={1987}, pages={186–201} }
LibreCat | DOI
 

1987 | Book Chapter | LibreCat-ID: 17819
@inbook{Peckhaus_Kötter_1987, title={Interdisziplinäres Institut für Wissenschaftstheorie und Wissenschaftsgeschichte}, booktitle={Friedrich-Alexander-Universität Erlangen-Nürnberg. Jahresbericht 1984/85 und 1985/86 (Mai 1987)}, author={Peckhaus, Volker and Kötter, Rudolf}, year={1987}, pages={89} }
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: BibTeX

Export / Embed