default search action
Informatik - Forschung und Entwicklung, Band 11
Band 11, Heft 1, 1996
- Hans-Hellmut Nagel:
Zur Strukturierung eines Bildfolgen-Auswertungssystems. 3-11 - Gerd Herzog, Anselm Blocher, Klaus-Peter Gapp, Eva Stopp, Wolfgang Wahlster:
VITRA: Verbalisierung visueller Information. 12-19 - Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann:
Die Beweisentwicklungsumgebung Omega-MKRP. 20-26 - Jürgen Kreuziger, Rüdiger Dillmann:
Einsatz von Lernverfahren bei der Durchführung von Manipulationsaufgaben. 27-36 - Peter Ganghoff, Axel Köhne, Georg Näger, Ulf Osmers:
KNOSPE - Ein unterstützendes Planungssystem für die integrierte Montagesystemplanung. 37-43
Band 11, Heft 2, 1996
- Jürgen Avenhaus, Klaus Madlener:
Theorembeweisen in hierarchischen bedingten Spezifikationen. 53-60 - Christoph Brzoska:
Temporales logisches Programmieren. 61-68 - Bernhard Ziegler:
ESS - Ein schneller Algorithmus zur Mustersuche in Zeichenfolgen. 69-83 - Hans-Jörg Bullinger, Klaus-Peter Fähnrich, Christian Janssen:
Ein Beschreibungskonzept für Dialogabläufe bei graphischen Benutzerschnittstellen. 84-93 - Volker Gruhn:
Geschäftsprozeß-Management als Grundlage der Software-Entwicklung. 94-101 - Hans-Jörg Bullinger, K. F. Wißler:
Rapid Product Development und Erprobung Innovativer Produkte - Sonderforschungsbereich 374. 103-107
Band 11, Heft 3, 1996
- Stefan Greiner, Gunter Bolch:
Approximative analytische Leistungsbewertung am Beispiel eines UNIX-basierten Multiprozessor Betriebssystems. 111-124 - René-Marc Gille, Helmut Balzert:
Generierung von Diagrammeditoren auf der Basis von OOA-Modellen. 125-135 - Jens-Peter Akelbein, Hans Christoph Zeidler:
Das Konzept eines File Controllers und seine Einbindung in bestehende Betriebssysteme. 136-148 - Herbert Schreiter:
Informatikforschung an der Technischen Universität Chemnitz-Zwickau. 152-159
Band 11, Heft 4, 1996
- Ernst-Erich Doberkat:
Themenheft Softwaretechnik. 167 - Arne Frick, Walter Zimmer, Wolf Zimmermann:
Konstruktion robuster und flexibler Klassenbibliotheken. 168-178 - Rudolf Berghammer:
Wiederverwendbare Algorithmenschemata in ML am Beispiel von Graphdurchlauf-Problemen. 179-190 - Andy Schürr, Andreas J. Winter, Albert Zündorf:
Spezifikation und Prototyping graphbasierter Systeme. 191-202
- Thomas Beuter, Peter Dadam:
Prinzipien der Replikationskontrolle in verteilten Datenbanksystemen. 203-212
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.