Suchergebnisse für ""Christian Retore""




Ähnliche Artikel


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

Generative and Transformational Techniques in Software Engineering III
59,99 €
Versandfertig in 2-4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers
3. Januar 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-18022-4

Software Engineering and Formal Methods
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
1st ed. 2016
23. Juni 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-41590-1

Parameterized Complexity in the Polynomial Hierarchy
61,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Ronald de Haan
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy
1st edition 2019
31. Dezember 2019
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-60669-8

Modelling Puzzles in First Order Logic
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Adrian Groza
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1st ed. 2021
27. Oktober 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-62546-7

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

MATLAB Deep Learning
46,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Phil Kim
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
With Machine Learning, Neural Networks and Artificial Intelligence
1st ed.
15. Juni 2017
Apress / Springer, Berlin
978-1-4842-2844-9

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

Computer Science Logic
76,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Jacques Duparc / Thomas A. Henzinger (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
2007
30. August 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12122257,978-3-540-74914-1



Ähnlichkeitssuche: Fact®Finder von OMIKRON