KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 05.10.2026 ab einem Mindestbestellwert von 30€ auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads, nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. 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 Versandkosten und Services. Preisgebundene Artikel sind vom Mindestbestellwert ausgeschlossen.
  • Produktbild: Software Engineering for Resilient Systems
  • Produktbild: Software Engineering for Resilient Systems
Band 8166

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings

Aus der Reihe Lecture Notes in Computer Science

47,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.09.2013

Abbildungen

X, 199 p. 87 illus.

Herausgeber

Anatoliy Gorbenko + weitere

Verlag

Springer Berlin

Seitenzahl

199

Maße (L/B/H)

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

Gewicht

330 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-40893-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.09.2013

Abbildungen

X, 199 p. 87 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

199

Maße (L/B/H)

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

Gewicht

330 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-40893-9

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: Software Engineering for Resilient Systems
  • Produktbild: Software Engineering for Resilient Systems

  • Empirical Assessment of Resilience.- Security-Informed Safety: If It’s Not Secure, It’s Not Safe.- Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors.- Towards Agile Development of Critical Software.- Supporting the Evolution of Free and Open Source Software Distributions.- Optimizing Verification of Structurally Evolving Algebraic Petri Nets.- A Case Study in Refinement-Based Modelling of a Resilient Control System.- Synthesis of Resilient Choreographies.- Formal Development and Quantitative Assessment of a Resilient Multi-robotic System.- The SafeCap Project on Railway Safety Verification and Capacity Simulation.- Modeling of Autonomous Vehicle Operation in Intelligent Transportation Systems.- Preliminary Contributions Towards Auto-resilience.- A New Approach to Software Reliability.- Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs.- Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning.