Formale Modelle für Informationssysteme : GI-Fachtagung, 24.-26. Mai 1979, Tutzing

書誌事項

Formale Modelle für Informationssysteme : GI-Fachtagung, 24.-26. Mai 1979, Tutzing

hrsg. von H. C. Mayr u. B. E. Meyer

(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」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ