KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig am 12.10.2026 auf englische Krimis & Thriller (krimis-thriller-15521) online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel, Abos & Flatrates. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
  • Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
  • Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Band 15220 - 21%

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II

Aus der Reihe Lecture Notes in Computer Science
21% sparen

64,99 € UVP 82,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.10.2024

Abbildungen

XII, 370 p. 114 illus., 60 illus. in color.

Herausgeber

Tiziana Margaria + weitere

Verlag

Springer

Seitenzahl

370

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

581 g

Sprache

Englisch

ISBN

978-3-031-75106-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.10.2024

Abbildungen

XII, 370 p. 114 illus., 60 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

370

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

581 g

Sprache

Englisch

ISBN

978-3-031-75106-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
  • Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

  • Rigorous Engineering of Collective Adaptive Systems  -  Introduction to the 5th Track Edition.- Optimality-preserving Reduction of Chemical Reaction Networks.- Exploring Consensus Robustness in Swarms with Disruptive Individuals.- Towards Real-Time Aggregate Computing.- Epistemic Ensembles in Semantic and Symbolic Environments.- The evolving conscious agent, I.- Emergence in Multi-Agent Systems: A Safety Perspective.- The EM-BDD algorithm for learning hidden Markov models.- Is Machine Learning Model Checking Privacy Preserving?.- Matching Expectations in Ensembles: Connecting Verifiable Credentials and the Semantic Web.- Once and for all: how to compose modules - The Composition Calculus.- RailCabs and Birds in Julia - Context-Role Ensemble Engineering in Practice.- How Well Do LLMs Understand DEECo Ensemble-based Component Architectures.- Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-KLAIM Code.- Rigorous Model Engineering of Hierarchical Multirate CPSs in MR-HybridSynchAADL.- An Approach for Extended Swarm Formation Flight with Drones: Protease2.0.- Monitoring Local and Global Properties of Collective Adaptive Systems.- Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic.- Statistical model checking of cooperative autonomous driving systems.- Attributed Point-to-point Communication in R-Check.- Local Reasoning and Attribute-based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems.