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.
7865 Publications
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. https://doi.org/10.1007/3-540-18170-9_167
LibreCat
| DOI
1987 | Book Chapter | LibreCat-ID: 19359
Seng, E.-M. (1987). 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., pp. 8–14).
LibreCat
1987 | Conference Paper | LibreCat-ID: 8257
Engels, G., Lewerentz, C., & Schäfer, W. (1987). 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, pp. 186–201). Berlin/Heidelberg: Springer. https://doi.org/dx.doi.org/10.1007/3-540-18771-5
LibreCat
| DOI
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.
LibreCat
1987 | Book Chapter | LibreCat-ID: 54368
Hartig, C. (1987). Kapitel 3: Das Genehmigungsverfahren der Studie an Patienten mit „Angstzuständen“ unter Mitarbeit von Florina Steger, Jan Jeskow). In F. Steger & J. Jeskow (Eds.), Das Antidepressivum Levoprotilin in Jena. Arzneimittelstudien westlicher Pharmaunternehmen in der DDR (pp. 23–38).
LibreCat
1986 | Book Chapter | LibreCat-ID: 19477
Seng, E.-M. (1986). Architekten- und Künstlerbiographien. In Kulturamt der Universitätsstadt Tübingen (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29) (pp. 102–108).
LibreCat
1986 | Book Chapter | LibreCat-ID: 19819
Kleine Büning, H., & Lettmann, T. (1986). Classes of first order formulas under various satisfiability definitions. In 8th International Conference on Automated Deduction. Berlin, Heidelberg. https://doi.org/10.1007/3-540-16780-3_119
LibreCat
| DOI
1986 | Book Chapter | LibreCat-ID: 19360
Seng, E.-M. (1986). Die Zeichner und die Art der Darstellung - Zur Entwicklung und Funktion der Architekturzeichnung im 19. Jahrhundert. In Kulturamt der Universitätsstadt Tübingen (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29) (Vol. Nr. 29, pp. 4–16).
LibreCat
1986 | Book Chapter | LibreCat-ID: 19364
Seng, E.-M. (1986). Das Ulmer Hauptwerk: Der Blaubeurer Hochaltar und die Erhart-Frage. In G. Schäfer & M. Brecht (Eds.), Blätter für württembergische Kirchengeschichte, 86. Jg. (Vol. 86. Jg., pp. 299–319). Stuttgart.
LibreCat
1986 | Book Chapter | LibreCat-ID: 16774
Borodin, A., Fich, F. E., Meyer auf der Heide, F., Upfal, E., & Wigderson, A. (1986). A tradeoff between search and update time for the implicit dictionary problem. In Automata, Languages and Programming. Berlin, Heidelberg. https://doi.org/10.1007/3-540-16761-7_54
LibreCat
| DOI
1986 | Book Chapter | LibreCat-ID: 16775
Meyer auf der Heide, F. (1986). Speeding up random access machines by few processors. In STACS 86. Berlin, Heidelberg. https://doi.org/10.1007/3-540-16078-7_72
LibreCat
| DOI
1986 | Book Chapter | LibreCat-ID: 16776
Borodin, A., Fich, F., Meyer auf der Heide, F., Upfal, E., & Wigderson, A. (1986). A time-space tradeoff for element distinctness. In STACS 86. Berlin, Heidelberg. https://doi.org/10.1007/3-540-16078-7_89
LibreCat
| DOI
1986 | Journal Article | LibreCat-ID: 11880
Oerder, M., Ascheid, G., Haeb-Umbach, R., & Meyr, H. (1986). An all digital implementation of a receiver for bandwidth-efficient communication. Signal Processing: Theories and Applications.
LibreCat
1986 | Report | LibreCat-ID: 13022
Hellebrand, S. (1986). Deformation dicker Punkte und Netze von Quadriken. Universität Regensburg, Fakultät für Mathematik, Regensburg, Germany.
LibreCat
1986 | Book | LibreCat-ID: 29879
Böcker, J., Hartmann, I., & Zwanzig, C. (1986). Nichtlineare und adaptive Regelungssysteme. Springer-Verlag. https://doi.org/10.1007/978-3-642-82879-9
LibreCat
| DOI
| Download (ext.)
1986 | Journal Article | LibreCat-ID: 35395
Schmidt, C., Wefing, S., Blümich, B., & Spiess, H. W. (1986). Dynamics of molecular reorientations: direct determination of rotational angles from two-dimensional NMR of powders. Chemical Physics Letters, 130(1–2), 84–90. https://doi.org/10.1016/0009-2614(86)80431-6
LibreCat
| DOI
1986 | Journal Article | LibreCat-ID: 38491
Noé, R. (1986). ENDLESS POLARIZATION CONTROL EXPERIMENT WITH 3 ELEMENTS OF LIMITED BIREFRINGENCE RANGE. ELECTRONICS LETTERS, 22(25), 1341–1343. https://doi.org/10.1049/el:19860922
LibreCat
| DOI
1986 | Journal Article | LibreCat-ID: 38490
Noé, R. (1986). ENDLESS POLARIZATION CONTROL IN COHERENT OPTICAL COMMUNICATIONS. ELECTRONICS LETTERS, 22(15), 772–773. https://doi.org/10.1049/el:19860529
LibreCat
| DOI
1984 | Book Chapter | LibreCat-ID: 16787
Meyer auf der Heide, F. (1984). Efficient simulations among several models of parallel computers (extended abstract). In STACS 84. Berlin, Heidelberg. https://doi.org/10.1007/3-540-12920-0_20
LibreCat
| DOI
1982 | Book | LibreCat-ID: 29933 | 
Böcker, J. (1982). Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme. Institut für Regelungstechnik, TU Berlin.
LibreCat
| Files available