Suchergebnisse für ""Antonio Cerone""




Ähnliche Artikel


Software Verification and Formal Methods for ML-Enabled Autonomous Systems
49,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
1st ed. 2022
16. Dezember 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-031-21221-5

Modelling Distributed Systems
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Wan Fokkink
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of hardcover 1st edition 2007
18. November 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-09321-0

Modelling Distributed Systems
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Wan Fokkink
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2007
26. September 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12072095,978-3-540-73937-1

Tools and Algorithms for the Construction and Analysis of Systems
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
1st edition 2019
4. April 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-17501-6

Grundkurs Datenbankentwicklung
44,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 3-5 Tagen
Versandkostenfrei*
Stephan Kleuker
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Von der Anforderungsanalyse zur komplexen Datenbankanfrage
5. Aufl.
15. Februar 2024
Springer Fachmedien Wiesbaden / Springer Vieweg / Springer, Berlin
89236118,978-3-658-43022-1

Software Technologies: Applications and Foundations
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
1st ed. 2016
6. Dezember 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-50229-8

A Guide to Graph Colouring
65,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
R.M.R. Lewis
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Algorithms and Applications
Softcover reprint of the original 1st ed. 2016
23. August 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-37282-2

Verification, Model Checking, and Abstract Interpretation
61,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings
1st edition 2020
7. Februar 2020
Springer / Springer International Publishing / Springer, Berlin
978-3-030-39321-2

Formal Methods and Software Engineering
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
1st ed. 2016
15. Oktober 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-47845-6



Ähnlichkeitssuche: Fact®Finder von OMIKRON