Formale Modelle für Informationssysteme : GI-Fachtagung, 24.-26. Mai 1979, Tutzing
Author(s)
Bibliographic Information
Formale Modelle für Informationssysteme : GI-Fachtagung, 24.-26. Mai 1979, Tutzing
（Informatik-Fachberichte, 21）
Springer-Verlag, 1979
- : us
- : gw
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
On cover: Fachtagung der GI, Tutzing, 1979
Summary in English
Includes bibliographies
Description and Table of Contents
- Volume
-
: us ISBN 9780387097732
Description
Equator is software designed to generate numerical values of over 200 mathematical functions in common use by engineers, scientists and others. Among the functions made available are simple ones such as cosines and binomial coefficients, as well as more complex examples such as Bessel functions and elliptic integrals.
The Windows-based Equator software is available as an integral part of the book An Atlas of Functions, Second Edition, although its utility is not limited to users of this book. The Atlas is available in both print and electronic formats; full details can be found at www.springer.com. Equator is sold as a stand-alone unit, in part to benefit those who may access the electronic version of the Atlas through their library.
- Volume
-
: gw ISBN 9783540097730
Table of Contents
Modelle fur die Praxis.- Simulationstechnik.- ISAC - eine formale Methode zur rechnergestutzten Beschreibung von Betriebsablaufen.- Ein Ansatz zur rechnergestutzten Modellierung betrieblicher Informationssysteme.- Evolutionarer System-Entwurf.- Integration und Bewertung von Informationssystemen.- Moeglichkeiten 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 fur Datenbanksysteme.- Modelling a Solution for a Control Problem in Distributed Systems by Restrictions.- Formale Beschreibungsmittel fur offene Kommunikationssysteme im Rahmen von Normungsvorhaben.- Netztheorie.- Zur Verwendung von Petrinetz-Morphismen bei der System-Konstruktion.- Zur Modellierung von Systemen auf der Basis der Nebenlaufigkeit.- Funktionsnetze - Ein Ansatz zur Beschreibung, Analyse und Simulation soziotechnischer Systeme.
by "Nielsen BookData"