Informatik - Forschung und Entwicklung, Band 5

Band 5, Heft 1, 1990

Asmus Hetzel, Bernhard Korte, Roland Krieger, Hans Jürgen Prömel, Ulf-Dietmar Radicke, Angelika Steger: Globale und lokale Verdrahtungsalgorithmen für Sea-of-Cells Design. 2-19 BibTeX
Wolfgang Rülling: Einsatzmöglichkeiten algorithmischer Layout-Beschreibungen. 20-34 BibTeX
Klaus Glashoff, Knut Merten: Ein effizientes numerisches Verfahren zur Berechnung von Signallaufzeiten auf Verbindungsleitungen in integrierten Schaltungen. 35-41 BibTeX
R. Bulirsch, Albert Gilg, Knut Merten, Karl Steger: Numerische Simulation in der Halbleiterindustrie. 42-56 BibTeX

Katja Steinbeißer, Uwe Dräger: Ein betriebstypologisches Verfahren zur Segmentierung des Anwendungssoftware-Marktes. 63-71 BibTeX
Stephan Rössig: Erweiterte Vektorisierung durch Vektor-Makro- und Vektor-Edit-Befehle. 72-83 BibTeX
Herbert Eberle, Kurt Geihs, Hermann Schmutz, Bernd Schöner: Anwendungsunabhängige Unterstützung für verteilte Datenverarbeitung in Netzen heterogener Systeme. 84-102 BibTeX

Holger Herzog, Frank Hildebrandt, Hans-Otto Leilich, P. Mertinatsch, Hans Christoph Zeidler, Günther Stiege: Die Braunschweiger relationale Datenbankmaschine RDBM - Projektergebnisse. 115-126 BibTeX
Theo Härder, Klaus Meyer-Wegener: Transaktionssysteme in Workstation/Server-Umgebungen. 127-143 BibTeX
Manfred Bretz, Jürgen Ebert: Formale Beschreibung der Ausnahmebehandlung in funktionalen Sprachen. 144-154 BibTeX

Rudolf Bayer, Horst Biller, Erich J. Neuhold: Vorbemerkungen zum Themenheft Nicht-Standard-Datenbanksysteme. 161 BibTeX
Gisbert Dröge, Hans-Jörg Schek, Andreas Wolf: Erweiterbarkeit in DASDBS. 162-176 BibTeX
Werner Kießling, Ulrich Güntzer: Deduktive Datenbanksysteme auf dem Weg zur Praxis. 177-187 BibTeX , (Bermerkungen zu diesem Beitrag: IFE 7(1): 41
Michael Ley, Bernd Walter: Der LILOG-DB-Fact-Manager: Ein Datenbankkern zur Speicherung variabel strukturierter komplexer Objekte. 188-201 BibTeX
Helmut Wächter, Andreas Reuter: Grundkonzepte und Realisierungstrategien des ConTract-Modells. 202-212 BibTeX