Buch

---

Übersicht

---

Verlag	:	Springer Berlin
Buchreihe	:	Informatik-Fachberichte (Bd. 21)
Sprache	:	Deutsch
Erschienen	:	01. 10. 1979
Seiten	:	266
Einband	:	Kartoniert
Höhe	:	244 mm
Breite	:	170 mm
Gewicht	:	474 g
ISBN	:	9783540097730

---

Inhaltsverzeichnis

---

Modelle für die Praxis.- Simulationstechnik.- ISAC — eine formale Methode zur rechnergestützten Beschreibung von Betriebsabläufen.- Ein Ansatz zur rechnergestützten Modellierung betrieblicher Informationssysteme.- Evolutionärer System-Entwurf.- Integration und Bewertung von Informationssystemen.- Möglichkeiten und Probleme der Integration von Daten- und Methodenbanken.- Leistungsanalyse von Datenbanksystemen durch Messung, analytische Modelle und Simulation.- Leistungsaspekte bei Datenbanksystemen.- Methoden und Algorithmen zur automatischen Informationsverwaltung.- Beschreibungsmethoden.- Graphentheoretische Modelle und Methoden.- Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme.- Modelling a Solution for a Control Problem in Distributed Systems by Restrictions.- Formale Beschreibungsmittel für offene Kommunikationssysteme im Rahmen von Normungsvorhaben.- Netztheorie.- Zur Verwendung von Petrinetz-Morphismen bei der System-Konstruktion.- Zur Modellierung von Systemen auf der Basis der Nebenläufigkeit.- Funktionsnetze — Ein Ansatz zur Beschreibung, Analyse und Simulation soziotechnischer Systeme.

Deine Buchhandlung

---