Abonnieren Sie unseren Newsletter

Die Merkliste ist leer.

Registrieren Passwort vergessen?

Der Warenkorb ist leer.

Bitte warten - die Druckansicht der Seite wird vorbereitet.

Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Druckansicht verlassenErneut drucken

Coloured Petri Nets

Coloured Petri Nets

Coloured Petri Nets

ISBN/GTIN

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 2

von

BuchGebunden

CHF136.00

In den Warenkorb

Beschreibung

Weitere Beschreibungen

Details

ISBN/GTIN978-3-540-58276-2

ProduktartBuch

EinbandGebunden

Verlag

Springer Berlin Heidelberg

Erscheinungsdatum28.11.1994

Auflage1995

ReiheMonographs in Theoretical Computer Science. An EATCS Series

Seiten196 Seiten

SpracheEnglisch

MasseBreite 160 mm, Höhe 241 mm, Dicke 16 mm

Gewicht465 g

Artikel-Nr.1608934

KatalogBuchzentrum

Datenquelle-Nr.8869640

Weitere Details

Reihe

Coloured Petri Nets

Process Algebra with Timing

Theory of Semi-Feasible Algorithms

Semantic Integration of Heterogeneous Software Specifications

Duration Calculus

Fundamentals of Algebraic Graph Transformation

Theoretical Aspects of Local Search

Logics of Specification Languages

Time-Dependent Scheduling

Unfoldings

Stochastic Coalgebraic Logic

Handbook of Weighted Automata

Incomplete Information: Structure, Inference, Complexity

Theory of Semi-Feasible Algorithms

Semantic Integration of Heterogeneous Software Specifications

Fundamentals of Algebraic Graph Transformation

Petri Net Algebra

Logics of Specification Languages

Process Algebra with Timing

Deterministic Extraction from Weak Random Sources

Unfoldings

Duration Calculus

Theoretical Aspects of Local Search

Coloured Petri Nets

Coloured Petri Nets

Kolmogorov Complexity and Computational Complexity

Patterns in Permutations and Words

Specification and Analysis of Concurrent Systems

Foundations of Algebraic Specification and Formal Software Development

Coloured Petri Nets

The Logic of Partial Information

Syntax-Directed Semantics

Iteration Theories

Finiteness and Regularity in Semigroups and Formal Languages

Deterministic Extraction from Weak Random Sources

Modeling Time in Computing

Stochastic Coalgebraic Logic

Relations and Graphs

Handbook of Weighted Automata

Fault-Tolerant Search Algorithms

Autor

Weitere Produkte von Jensen, Kurt

Tools and Algorithms for the Construction and Analysis of Systems

Peerless

Squatchy's In His Puddle

Rye's Rite

High-level Petri Nets

Transactions on Petri Nets and Other Models of Concurrency VII

Application and Theory of Petri Nets 1992

Running on Empty: Canada and the Indochinese Refugees, 1975-1980

Rye's Rite

Transactions on Petri Nets and Other Models of Concurrency VII

High-level Petri Nets

Tools and Algorithms for the Construction and Analysis of Systems

Schlagworte

BIC

THEMA Schlagwort

Software Engineering (UMZ)

Mathematik für Informatiker (UYAM)

Diskrete Mathematik (PBD)

Datenbanken (UN)

THEMA Hauptschlagwort

Software Engineering (UMZ)

VLB

Coloured Petri nets (CP-nets)

distributed systems

High-level Petri nets

Occurence graphs

data structures

timed Petri nets

VLB Haupt-Lesemotiv