Formale Modelle für Informationssysteme

GI-Fachtagung, 24.–26. Mai 1979, Tutzing

AvH. C. Mayr,B. E. Meyer

Häftad, Tyska, 1979

Del i serien Informatik-Fachberichte

588 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1979-10-01
Mått:170 x 244 x 15 mm
Vikt:475 g
Format:Häftad
Språk:Tyska
Serie:Informatik-Fachberichte
Antal sidor:266
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540097730

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

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.

Mer från samma författare

Formale Modelle für Informationssysteme

B. E. Meyer, H. C. Mayr

E-bok

2013

608 kr

Mer från samma serie

Programmiersprachen

H.J. Schneider, M. Nagl

Häftad, 1976

588 kr

Betrieb von Rechenzentren

A. Schreiner

Häftad, 1976

588 kr

Rechnernetze und Datenfernverarbeitung

D. Haupt, H. Petersen

Häftad, 1976

588 kr

Computer Architecture

W. Händler

Häftad, 1976

1 135 kr

GI — 6. Jahrestagung

E. J. Neuhold

Häftad, 1976

588 kr

Fachtagung Prozessrechner 1977

G. Schmidt

Häftad, 1977

588 kr

Digitale Bildverarbeitung Digital Image Processing

H.-H. Nagel

Häftad, 1977

588 kr

Modelle für Rechensysteme

P.P. Spies

Häftad, 1977

1 138 kr

GI — 7. Jahrestagung

H. J. Schneider

Häftad, 1977

1 138 kr

Del 11

Methoden der Informatik für Rechnerunterstütztes Entwerfen und Konstruieren

R. Gnatz, K. Samelson

Häftad, 1977

571 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr

Formale Modelle für Informationssysteme

B. E. Meyer, H. C. Mayr

E-bok

2013

608 kr

Den fjärde väggen

Victor Pavic Lundberg

Inbunden, 2026

(3)

259 kr

Ruth Kvarnström-Jones - SIGNERAD - Systrarna på Sophiahemmet, Inbunden

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

10% rabatt på allt

Del 11

Medusa

Lars Kepler

Inbunden, 2026

269 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

10% rabatt på allt

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

10% rabatt på allt

Jag såg hur vi var stjärnor

Laleh Pourkarim

Inbunden, 2026

269 kr

Katarina Wennstam - Moder blod, Inbunden

10% rabatt på allt

Del 4

Moder blod

Katarina Wennstam

Inbunden, 2026

249 kr

-30%

Inte den du tror

Lisa Jewell

Pocket, 2026

(1)

69 kr99 kr

-30%

Se dig inte om

Harlan Coben

Pocket, 2026

(1)

69 kr99 kr

Formale Modelle für Informationssysteme

GI-Fachtagung, 24.–26. Mai 1979, Tutzing

AvH. C. Mayr,B. E. Meyer

Häftad, Tyska, 1979

Del i serien Informatik-Fachberichte

588 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1979-10-01
Mått:170 x 244 x 15 mm
Vikt:475 g
Format:Häftad
Språk:Tyska
Serie:Informatik-Fachberichte
Antal sidor:266
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540097730

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

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.