Del i serien Informatik-Fachberichte

Formale Modelle für Informationssysteme

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

Häftad, Tyska, 1979

AvH. C. Mayr,B. E. Meyer

769 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1979-10-01
Mått170 x 244 x 15 mm
Vikt475 g
FormatHäftad
SpråkTyska
SerieInformatik-Fachberichte
Antal sidor266
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540097730

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it

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 serie

Programmiersprachen

H.J. Schneider, M. Nagl

Häftad, 1976

769 kr

Betrieb von Rechenzentren

A. Schreiner

Häftad, 1976

769 kr

Rechnernetze und Datenfernverarbeitung

D. Haupt, H. Petersen

Häftad, 1976

769 kr

Computer Architecture

W. Händler

Häftad, 1976

1 489 kr

GI — 6. Jahrestagung

E. J. Neuhold

Häftad, 1976

769 kr

Fachtagung Prozessrechner 1977

G. Schmidt

Häftad, 1977

769 kr

Digitale Bildverarbeitung Digital Image Processing

H.-H. Nagel

Häftad, 1977

769 kr

Modelle für Rechensysteme

P.P. Spies

Häftad, 1977

1 489 kr

GI — 7. Jahrestagung

H. J. Schneider

Häftad, 1977

1 489 kr

Del 11

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

R. Gnatz, K. Samelson

Häftad, 1977

749 kr

Du kanske också är intresserad av

Sarah J. Maas - A Court of Splintered Harmony, Häftad

Nyhet

Del 6

A Court of Splintered Harmony

Sarah J. Maas

Häftad, 2026

259 kr

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

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Del 7

Fördrivaren

Viveca Sten

Inbunden, 2026

289 kr319 kr

Katarina Wennstam - Moder blod, Inbunden

Nyhet

Del 4

Moder blod

Katarina Wennstam

Inbunden, 2026

269 kr299 kr

Nyhet

Threshing Day (Limited Deluxe Edition)

Rebecca Yarros

Inbunden, 2026

339 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Nyhet

Allt det blå på himlen

Mélissa Da Costa

Pocket, 2026

79 kr129 kr

Nyhet

Del 3

Kärleken

Pascal Engman

Inbunden, 2026

269 kr299 kr

Nyhet

Pixi adventskalender 2026 : med omslag av Maria Löfgren

Flera Författare

Häftad, 2026

299 kr

Mari Jungstedt - När göken tystnar, Inbunden

Nyhet

Del 1

När göken tystnar

Mari Jungstedt

Inbunden, 2026

289 kr319 kr

Del i serien Informatik-Fachberichte

Formale Modelle für Informationssysteme

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

Häftad, Tyska, 1979

AvH. C. Mayr,B. E. Meyer

769 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1979-10-01
Mått170 x 244 x 15 mm
Vikt475 g
FormatHäftad
SpråkTyska
SerieInformatik-Fachberichte
Antal sidor266
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540097730

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it

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.