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.
1702 Publications
1991 | Conference Abstract | LibreCat-ID: 17822
@inproceedings{Peckhaus_1991, place={o.O.u.J. (Uppsala)}, title={Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908) [Abstract]}, booktitle={Abstracts of the 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, August 7–14, 1991, Bd. 2: General Philosophy of Science. Sections 6–9}, author={Peckhaus, Volker}, year={1991}, pages={158} }
LibreCat
1991 | Conference Paper | LibreCat-ID: 39922
@inproceedings{Goser_Hilleringmann_Rückert_1991, place={Berlin, Heidelberg}, title={Application and implementation of neural networks in microelectronics}, booktitle={Artificial Neural Networks}, publisher={Springer Berlin Heidelberg}, author={Goser, K. and Hilleringmann, Ulrich and Rückert, U.}, editor={Prieto, Alberto}, year={1991}, pages={243–259} }
LibreCat
1990 | Journal Article | LibreCat-ID: 34763
@article{Süßmann_1990, title={»Wie Kinderzeichnungen«? Zum literarischen Verfahren in Marieluise Fleißers erster Erzählung}, volume={4}, journal={Avant Garde}, author={Süßmann, Johannes}, year={1990}, pages={59–69} }
LibreCat
1989 | Book Chapter | LibreCat-ID: 19321
@inbook{Seng_1989, place={Tübingen}, title={Vom Ballhaus zum Gotteshaus, Vorgeschichte und Bau der katholischen St. Johannes-Kirche in Tübingen}, booktitle={Tübinger Blätter, 76. Jg. }, author={Seng, Eva- Maria}, editor={Bürger- und Verkehrsverein Tübingen e.V. Editor}, year={1989}, pages={29–34} }
LibreCat
1988 | Mastersthesis | LibreCat-ID: 18692
@book{Seng_1988, place={Tübingen 1987}, title={Die Johanneskirche am Feuersee in Stuttgart und der Architekt Christian Friedrich von Leins (1814 - 1892), Magisterarbeit masch.}, author={Seng, Eva- Maria}, year={1988} }
LibreCat
1988 | Book Chapter | LibreCat-ID: 16768
@inbook{Dietzfelbinger_Mehlhorn_Meyer auf der Heide_Rohnert_1988, place={Berlin, Heidelberg}, title={Upper and lower bounds for the dictionary problem}, DOI={10.1007/3-540-19487-8_24}, booktitle={SWAT 88}, author={Dietzfelbinger, M. and Mehlhorn, K. and Meyer auf der Heide, Friedhelm and Rohnert, H.}, year={1988} }
LibreCat
| DOI
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 | Book Chapter | LibreCat-ID: 19359
@inbook{Seng_1987, series={Tübinger Blätter}, title={Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins}, volume={74. Jg.}, booktitle={Tübinger Blätter, 74. Jg. }, author={Seng, Eva- Maria}, editor={Bürger- und Verkehrsverein Tübingen e.V.Editor}, year={1987}, pages={8–14}, collection={Tübinger Blätter} }
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
1986 | Book Chapter | LibreCat-ID: 19477
@inbook{Seng_1986, title={Architekten- und Künstlerbiographien}, booktitle={Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29)}, author={Seng, Eva- Maria}, editor={Kulturamt der Universitätsstadt Tübingen Editor}, year={1986}, pages={102–108} }
LibreCat
1986 | Book Chapter | LibreCat-ID: 19819
@inbook{Kleine Büning_Lettmann_1986, place={Berlin, Heidelberg}, title={Classes of first order formulas under various satisfiability definitions}, DOI={10.1007/3-540-16780-3_119}, booktitle={8th International Conference on Automated Deduction}, author={Kleine Büning, H. and Lettmann, Theodor}, year={1986} }
LibreCat
| DOI
1986 | Book Chapter | LibreCat-ID: 19360
@inbook{Seng_1986, series={Tübinger Kataloge }, title={Die Zeichner und die Art der Darstellung - Zur Entwicklung und Funktion der Architekturzeichnung im 19. Jahrhundert}, volume={Nr. 29}, booktitle={Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29)}, author={Seng, Eva- Maria}, editor={Kulturamt der Universitätsstadt Tübingen Editor}, year={1986}, pages={4–16}, collection={Tübinger Kataloge } }
LibreCat
1986 | Book Chapter | LibreCat-ID: 19364
@inbook{Seng_1986, place={Stuttgart}, series={Blätter für württembergische Kirchengeschichte}, title={Das Ulmer Hauptwerk: Der Blaubeurer Hochaltar und die Erhart-Frage}, volume={86. Jg.}, booktitle={Blätter für württembergische Kirchengeschichte, 86. Jg. }, author={Seng, Eva- Maria}, editor={Schäfer, Gerhart and Brecht, MartinEditors}, year={1986}, pages={299–319}, collection={Blätter für württembergische Kirchengeschichte} }
LibreCat
1986 | Book Chapter | LibreCat-ID: 16774
@inbook{Borodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1986, place={Berlin, Heidelberg}, title={A tradeoff between search and update time for the implicit dictionary problem}, DOI={10.1007/3-540-16761-7_54}, booktitle={Automata, Languages and Programming}, author={Borodin, Allan and Fich, Faith E. and Meyer auf der Heide, Friedhelm and Upfal, Eli and Wigderson, Avi}, year={1986} }
LibreCat
| DOI
1986 | Book Chapter | LibreCat-ID: 16775
@inbook{Meyer auf der Heide_1986, place={Berlin, Heidelberg}, title={Speeding up random access machines by few processors}, DOI={10.1007/3-540-16078-7_72}, booktitle={STACS 86}, author={Meyer auf der Heide, Friedhelm}, year={1986} }
LibreCat
| DOI
1986 | Book Chapter | LibreCat-ID: 16776
@inbook{Borodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1986, place={Berlin, Heidelberg}, title={A time-space tradeoff for element distinctness}, DOI={10.1007/3-540-16078-7_89}, booktitle={STACS 86}, author={Borodin, A. and Fich, F. and Meyer auf der Heide, Friedhelm and Upfal, E. and Wigderson, A.}, year={1986} }
LibreCat
| DOI
1986 | Book | LibreCat-ID: 29879
@book{Böcker_Hartmann_Zwanzig_1986, place={Berlin}, title={Nichtlineare und adaptive Regelungssysteme}, DOI={10.1007/978-3-642-82879-9}, publisher={Springer-Verlag}, author={Böcker, Joachim and Hartmann, Irmfried and Zwanzig, Christian}, year={1986} }
LibreCat
| DOI
| Download (ext.)
1986 | Journal Article | LibreCat-ID: 35395
@article{Schmidt_Wefing_Blümich_Spiess_1986, title={Dynamics of molecular reorientations: direct determination of rotational angles from two-dimensional NMR of powders}, volume={130}, DOI={10.1016/0009-2614(86)80431-6}, number={1–2}, journal={Chemical Physics Letters}, publisher={Elsevier BV}, author={Schmidt, Claudia and Wefing, S. and Blümich, B. and Spiess, H.W.}, year={1986}, pages={84–90} }
LibreCat
| DOI
1984 | Book Chapter | LibreCat-ID: 16787
@inbook{Meyer auf der Heide_1984, place={Berlin, Heidelberg}, title={Efficient simulations among several models of parallel computers (extended abstract)}, DOI={10.1007/3-540-12920-0_20}, booktitle={STACS 84}, author={Meyer auf der Heide, Friedhelm}, year={1984} }
LibreCat
| DOI
1981 | Book Chapter | LibreCat-ID: 16813
@inbook{Meyer auf der Heide_Rollik_1981, place={Berlin, Heidelberg}, title={Random access machines and straight-line programs}, DOI={10.1007/3-540-10854-8_29}, booktitle={Fundamentals of Computation Theory}, author={Meyer auf der Heide, Friedhelm and Rollik, Anton}, year={1981} }
LibreCat
| DOI