Suchergebnisse für ""Thomas Zeume""




Ähnliche Artikel


Runtime Verification
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
1st ed. 2015
11. September 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-23819-7

Descriptional Complexity of Formal Systems
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
1st edition 2017
3. Juni 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-60251-6

Descriptional Complexity of Formal Systems
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
2015
28. Mai 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-19224-6

Unveiling Dynamics and Complexity
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
1st ed. 2017
12. Mai 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-58740-0

Formal Methods and Software Engineering
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
2014
23. September 2014
Springer / Springer International Publishing / Springer, Berlin
86382188,978-3-319-11736-2

Tools and Algorithms for the Construction and Analysis of Systems
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
2015
8. April 2015
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-46680-3

Tools and Algorithms for the Construction and Analysis of Systems
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
1st ed. 2017
31. März 2017
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-54576-8

Tools and Algorithms for the Construction and Analysis of Systems
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
1st ed. 2017
31. März 2017
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-54579-9

Theory and Practice of Formal Methods
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
1st ed. 2016
13. März 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-30733-6

Computability and Complexity Theory
63,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Steven Homer
Alan L. Selman
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2. Aufl.
3. März 2014
Springer / Springer US / Springer, Berlin
978-1-4899-8971-0



Ähnlichkeitssuche: Fact®Finder von OMIKRON