KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Transactions on Petri Nets and Other Models of Concurrency IV
Band 6550

Transactions on Petri Nets and Other Models of Concurrency IV

Aus der Reihe Transactions on Petri Nets and Other Models of Concurrency

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.01.2011

Abbildungen

XVIII, 225 p. 84 illus., 40 illus. in color.

Herausgeber

Kurt Jensen + weitere

Verlag

Springer Berlin

Seitenzahl

225

Maße (B/H)

15,5/23,5 cm

Sprache

Englisch

ISBN

978-3-642-18221-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.01.2011

Abbildungen

XVIII, 225 p. 84 illus., 40 illus. in color.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

225

Maße (B/H)

15,5/23,5 cm

Sprache

Englisch

ISBN

978-3-642-18221-1

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency IV
  • -Vicinity Respecting Homomorphisms for Abstracting System Requirements.- Search-Order Independent State Caching.- Bounded Parametric Model Checking for Elementary Net Systems.- SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets .- Parametric Model Checking with VerICS.- Schedule-Aware Workflow Management Systems.- On-the-Fly Auditing of Business Processes.- Modeling Organizational Units as Modular Components of Systems of Systems.- A Multi-Agent Organizational Framework for Coevolutionary Optimization.