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.

1699 Publications


1989 | Book Chapter | LibreCat-ID: 19321
E.-M. Seng, “Vom Ballhaus zum Gotteshaus, Vorgeschichte und Bau der katholischen St. Johannes-Kirche in Tübingen,” in Tübinger Blätter, 76. Jg. , Bürger- und Verkehrsverein Tübingen e.V. , Ed. Tübingen, 1989, pp. 29–34.
LibreCat
 

1988 | Mastersthesis | LibreCat-ID: 18692
E.-M. Seng, Die Johanneskirche am Feuersee in Stuttgart und der Architekt Christian Friedrich von Leins (1814 - 1892), Magisterarbeit masch. Tübingen 1987, 1988.
LibreCat
 

1988 | Book Chapter | LibreCat-ID: 16768
M. Dietzfelbinger, K. Mehlhorn, F. Meyer auf der Heide, and H. Rohnert, “Upper and lower bounds for the dictionary problem,” in SWAT 88, Berlin, Heidelberg, 1988.
LibreCat | DOI
 

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

1987 | Book Chapter | LibreCat-ID: 19359
E.-M. Seng, “Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins,” in Tübinger Blätter, 74. Jg. , vol. 74. Jg., Bürger- und Verkehrsverein Tübingen e.V., Ed. 1987, pp. 8–14.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 8257
G. Engels, C. Lewerentz, and W. Schäfer, “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), 1987, vol. 291, pp. 186–201.
LibreCat | DOI
 

1986 | Book Chapter | LibreCat-ID: 19477
E.-M. Seng, “Architekten- und Künstlerbiographien,” in Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), Kulturamt der Universitätsstadt Tübingen , Ed. 1986, pp. 102–108.
LibreCat
 

1986 | Book Chapter | LibreCat-ID: 19819
H. Kleine Büning and T. Lettmann, “Classes of first order formulas under various satisfiability definitions,” in 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.
LibreCat | DOI
 

1986 | Book Chapter | LibreCat-ID: 19360
E.-M. Seng, “Die Zeichner und die Art der Darstellung - Zur Entwicklung und Funktion der Architekturzeichnung im 19. Jahrhundert,” in 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, Kulturamt der Universitätsstadt Tübingen , Ed. 1986, pp. 4–16.
LibreCat
 

1986 | Book Chapter | LibreCat-ID: 19364
E.-M. Seng, “Das Ulmer Hauptwerk: Der Blaubeurer Hochaltar und die Erhart-Frage,” in Blätter für württembergische Kirchengeschichte, 86. Jg. , vol. 86. Jg., G. Schäfer and M. Brecht, Eds. Stuttgart, 1986, pp. 299–319.
LibreCat
 

1986 | Book Chapter | LibreCat-ID: 16774
A. Borodin, F. E. Fich, F. Meyer auf der Heide, E. Upfal, and A. Wigderson, “A tradeoff between search and update time for the implicit dictionary problem,” in Automata, Languages and Programming, Berlin, Heidelberg, 1986.
LibreCat | DOI
 

1986 | Book Chapter | LibreCat-ID: 16775
F. Meyer auf der Heide, “Speeding up random access machines by few processors,” in STACS 86, Berlin, Heidelberg, 1986.
LibreCat | DOI
 

1986 | Book Chapter | LibreCat-ID: 16776
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, and A. Wigderson, “A time-space tradeoff for element distinctness,” in STACS 86, Berlin, Heidelberg, 1986.
LibreCat | DOI
 

1986 | Book | LibreCat-ID: 29879
J. Böcker, I. Hartmann, and C. Zwanzig, Nichtlineare und adaptive Regelungssysteme. Berlin: Springer-Verlag, 1986.
LibreCat | DOI | Download (ext.)
 

1986 | Journal Article | LibreCat-ID: 35395
C. Schmidt, S. Wefing, B. Blümich, and H. W. Spiess, “Dynamics of molecular reorientations: direct determination of rotational angles from two-dimensional NMR of powders,” Chemical Physics Letters, vol. 130, no. 1–2, pp. 84–90, 1986, doi: 10.1016/0009-2614(86)80431-6.
LibreCat | DOI
 

1984 | Book Chapter | LibreCat-ID: 16787
F. Meyer auf der Heide, “Efficient simulations among several models of parallel computers (extended abstract),” in STACS 84, Berlin, Heidelberg, 1984.
LibreCat | DOI
 

1981 | Book Chapter | LibreCat-ID: 16813
F. Meyer auf der Heide and A. Rollik, “Random access machines and straight-line programs,” in Fundamentals of Computation Theory, Berlin, Heidelberg, 1981.
LibreCat | DOI
 

1981 | Book Chapter | LibreCat-ID: 16814
F. Meyer auf der Heide, “Time-processor trade-offs for universal parallel computers,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1981.
LibreCat | DOI
 

1979 | Journal Article | LibreCat-ID: 16812
F. Meyer auf der Heide, “A comparison of two variations of a pebble game on graphs,” Automata, Languages and Programming. ICALP 1979, pp. 411–421, 1979.
LibreCat | DOI
 

Filters and Search Terms

isbn%3D3-540-32158-6

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed