Suchergebnisse für ""Yasser Ibrahim""




Ähnliche Artikel


Model Checking and Artificial Intelligence
37,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Doron A. Peled / Michael Wooldridge (Volume editor)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
2009
2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-00430-8

Verification, Model Checking, and Abstract Interpretation
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
2008
26. Februar 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12228195,978-3-540-78162-2

Model Checking Software
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Thomas Ball / Sriram K. Rajamani (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
2003
28. April 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40117-9

Hybrid Systems Biology
31,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings
1st ed. 2016
27. September 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-47150-1

Verification, Model Checking, and Abstract Interpretation
37,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13¿15, 2019, Proceedings
1st ed. 2019
11. Januar 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-11244-8

Abstraction (computer science)
32,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2010
Alphascript Publishing

Foundations of Finitely Supported Structures
74,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Andrei Alexandru
Gabriel Ciobanu
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A Set Theoretical Viewpoint
1st ed. 2020
22. Juli 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-52964-2

Verification, Model Checking, and Abstract Interpretation
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
E. Allen Emerson (Volume ed.) / Kedar S. Namjoshi
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
2006
19. Dezember 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11609773,978-3-540-31139-3

25 Years of Model Checking
27,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
History, Achievements, Perspectives
2008
17. Juni 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12326419,978-3-540-69849-4

Bibliography on Abstract Data Types
79,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
B. Kutzler
F. Lichtenberger
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1983.
1. Mai 1983
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-12312-5



Ähnlichkeitssuche: Fact®Finder von OMIKRON