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
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
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"