Reinhard+schober – Bücher, CDs, DVDs und mehr, Seite 2

Bridging the Gap Between AI and Reality

This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The paper…

lieferbar innerhalb 2-3 Wochen

Buch

Legend of the Galactic Heroes: Die Neue These Vol. 3 (mit Sammelschuber)

In einer fernen Zukunft bevölkert die Menschheit große Teile der Milchstraße. Doch seit 150 Jahren herrscht Krieg in der Galaxie. Denn während das Galaktische Imperium nach Monarchie strebt, will die Alli…

umgehend lieferbar, Bestand beim Lieferanten vorhanden

DVD

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Lecture Notes in Computer Science -Band 15223

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Lecture Notes in Computer Science -Band 15222

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Lecture Notes in Computer Science -Band 15221

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Lecture Notes in Computer Science -Band 15220

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Lecture Notes in Computer Science -Band 15219

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Image Analysis in Stroke Diagnosis and Interventions

This book constitutes the refereed proceedings of the 4th International MICCAI Stroke Workshop on Imaging and Treatment Challenges, SWITCH 2024, as well as the Ischemic Stroke Lesion Segmentation Challeng…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Reinhard+Schober" - alle Bücher, CDs, DVDs und mehr