KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

Gültig bis 11.11.2026 | Gültig für Spielzeug, Filme, Musik, Software, Games, Geschenke & Trends, Schreibwaren, Hörbücher und Hörbuch-Downloads (außer Abo & Shelfies), gebrauchte Bücher, nicht preisgebundene Bücher und Kalender | Einlösbar unter thalia.de und in der Thalia App | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Einzelne Artikel können ausgeschlossen sein | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Digitale Hörbücher nur für Android  | Nicht gültig für preisgebundene Artikel (aufgrund der Buchpreisbindung sind Gutscheine nicht auf Bücher, eBooks, Presse einlösbar), tolino eReader & Zubehör, Abonnements & Flatrates, Geschenkkarten, Versandkosten und Services
  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency XI
  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency XI
Band 9930

Transactions on Petri Nets and Other Models of Concurrency XI

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.09.2016

Abbildungen

XVIII, 319 p. 103 illus.

Herausgeber

Maciej Koutny + weitere

Verlag

Springer Berlin

Seitenzahl

319

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

517 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-662-53400-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.09.2016

Abbildungen

XVIII, 319 p. 103 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

319

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

517 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-662-53400-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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 XI
  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency XI

  • Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.- A Petri-Net-Based Approach to Model and Analyze the Management of Cloud Applications.- Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets.- Validating DCCP Simultaneous Feature Negotiation Procedure.- Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-modeling and Transformation Framework.- Mining Conditional Partial Order Graphs from Event Logs.- Conditions for Petri Net Solvable Binary Words.- Self-Tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data.- A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms.- Negotiations and Petri Nets.- A Formal Framework for Diagnostic Analysis for Errors of Business Processes.- MCC 2015- The Fifth Model Checking Contest.- Running LoLA 2.0 in a Model Checking Competition.- MARCIE's Secrets of Efficient Model Checking.- Symbolic ModelChecker for Petri Nets: pnmc.- TAPAAL and Reachability Analysis of P/T Nets.