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.
9300 Publications
1990 | Book | LibreCat-ID: 17445 | 
Peckhaus V. Hilbertprogramm und Kritische Philosophie. Das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie. Vol 7. Vandenhoeck & Ruprecht; 1990.
LibreCat
| Files available
1989 | Journal Article | LibreCat-ID: 19818
Kleine Büning H, Lettmann T, Mayr EW. Projections of vector addition system reachability sets are semilinear. Theoretical Computer Science. 1989:343-350. doi:10.1016/0304-3975(89)90055-8
LibreCat
| DOI
1989 | Book | LibreCat-ID: 19152
Eke NO, Vizkelety A, Skrodzki KJ, Steinecke H. Nikolaus Lenau. Werke und Briefe. Historisch-kritische Gesamtausgabe. Bd. 5,1: Briefe 1812-1837. Teil 1: Text (Edition). Wien: Österreichischer Bundesverlag, Klett-Cotta; 1989.
LibreCat
1989 | Dissertation | LibreCat-ID: 22313
Zimmer D. Flankenspielorientierte Einstellung Der Hypoid- Und Kegelradgetriebe. Universität Stuttgart; 1989.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7821
Ebert J, Engels G. Konzepte einer Software-Architektur-Beschreibungssprache. In: Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany). Vol 212. Informatik-Fachberichte. Berlin/Heidelberg: Springer; 1989:238-250.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7822
Engels G. CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata. In: Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme. Vol 18. ; 1989:1-16.
LibreCat
1989 | Conference Paper | LibreCat-ID: 7823
Engels G, Hohenstein U, Hülsmann K, Löhr-Richter P, Ehrich H-D. CADDY: Computer-Aided Design of Non-Standard Databases. In: Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany. Berlin: Pitman Publishing; 1989.
LibreCat
1989 | Report | LibreCat-ID: 8187
Engels G. Benutzerschnittstelle Und Architektur Der Integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig; 1989.
LibreCat
1989 | Book | LibreCat-ID: 7511
Engels G, Schäfer W. Programmentwicklungsumgebungen: Konzepte Und Realisierung. Stuttgart: Teubner; 1989.
LibreCat
1989 | Journal Article | LibreCat-ID: 16682
Dellnitz M, Werner B. Computational methods for bifurcation problems with symmetries—with special attention to steady state and Hopf bifurcation points. Journal of Computational and Applied Mathematics. 1989:97-123. doi:10.1016/0377-0427(89)90150-7
LibreCat
| DOI
1989 | Journal Article | LibreCat-ID: 16743
Just B, Meyer auf der Heide F, Wigderson A. On computations with integer division. RAIRO - Theoretical Informatics and Applications. 1989:101-111. doi:10.1051/ita/1989230101011
LibreCat
| DOI
1989 | Conference Paper | LibreCat-ID: 16744
Dietzfelbinger M, Meyer auf der Heide F. An optimal parallel dictionary. In: Proceedings of the First Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’89. ; 1989. doi:10.1145/72935.72974
LibreCat
| DOI
1989 | Book Chapter | LibreCat-ID: 16745
Meyer auf der Heide F. On genuinely time bounded computations. In: STACS 89. Berlin/Heidelberg; 1989. doi:10.1007/bfb0028969
LibreCat
| DOI
1989 | Book Chapter | LibreCat-ID: 16746
Meyer auf der Heide F, Wanka R. Time-optimal simulations of networks by universal parallel computers. In: STACS 89. Berlin/Heidelberg; 1989. doi:10.1007/bfb0028978
LibreCat
| DOI
1989 | Book Chapter | LibreCat-ID: 16789
Meyer auf der Heide F. Computing minimum spanning forests on 1- and 2-dimensional processor arrays. In: STACS 89. Berlin, Heidelberg; 1989. doi:10.1007/bfb0028983
LibreCat
| DOI
1989 | Conference Paper | LibreCat-ID: 39585
Rammig FJ, Müller W. ODICE: Object-Oriented Hardware Description in CAD Environment. In: Proc. of the Ninth IFIP Symposium on CHDLs and Their Application. ; 1989.
LibreCat
1988 | Conference Paper | LibreCat-ID: 19820
Kleine Büning H, Lettmann T. Perspektiven für die Logikprogrammierung. In: Rahmstorf G, ed. Workshop Wissensrepräsentation in Expertensystemen. Berlin, Heidelberg; 1988:56-78.
LibreCat
1988 | Conference Paper | LibreCat-ID: 7818
Engels G, Janning T, Schäfer W. A Highly Integrated Tool Set for Program Development Support. In: Proceedings of the Conference on ACM SIGSMALL/PC Symposium on ACTES (SIGSMALL 1988), Cannes (France). New York, NY, USA: ACM Press; 1988:1-10. doi:http://dx.doi.org/10.1145/62453.62454
LibreCat
| DOI
1988 | Conference Paper | LibreCat-ID: 7819
Engels G, Hohenstein U, Neugebauer L, Saake G, Ehrich H-D. Konzeption einer integrierten Datenbank-Entwurfsumgebung. In: Proceedings of DBTA/SI Data Dictionaries Und Entwicklungswerkzeuge Für Datenbank-Anwendungen, Zürich, Switzerland. Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken; 1988:151-157.
LibreCat
1988 | Conference Paper | LibreCat-ID: 7820
Engels G, Hohenstein U, Saake G, Ehrich H-D. Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung. In: Engels G, Hohenstein U, Saake G, Ehrich H-D, eds. Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen.” Darmstadt (Germany): G. Snelting; 1988:38-51.
LibreCat