Formale Modelle für Informationssysteme : GI-Fachtagung, 24.-26. Mai 1979, Tutzing
著者
書誌事項
Formale Modelle für Informationssysteme : GI-Fachtagung, 24.-26. Mai 1979, Tutzing
(Informatik-Fachberichte, 21)
Springer-Verlag, 1979
- : us
- : gw
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
On cover: Fachtagung der GI, Tutzing, 1979
Summary in English
Includes bibliographies
内容説明・目次
- 巻冊次
-
: us ISBN 9780387097732
内容説明
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.
- 巻冊次
-
: gw ISBN 9783540097730
目次
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.
「Nielsen BookData」 より