Suchergebnisse für ""Helmut Veith""

Model Checking, second edition (eBook, ePUB)
41,95 €
Sofort per Download lieferbar
Versandkostenfrei
Edmund M. Clarke
Orna Grumberg
Daniel Kroening
…mehr Autoren
Doron Peled
Helmut Veith
Model Checking, second edition (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
4. Dezember 2018
MIT Press
Logic for Programming, Artificial Intelligence, and Reasoning
76,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Iliano Cervesato / Helmut Veith / Andrei Voronkov (Volume editor)
Logic for Programming, Artificial Intelligence, and Reasoning
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-89438-4
Auch erhältlich als
eBook, PDF73,95 €

Ähnliche Artikel

Computational Thinking (eBook, ePUB)
9,95 €
Sofort per Download lieferbar
Peter J. Denning
Matti Tedre
Computational Thinking (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
14. Mai 2019
MIT Press
Programming for the Puzzled (eBook, ePUB)
14,95 €
Sofort per Download lieferbar
Srini Devadas
Programming for the Puzzled (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
16. November 2017
MIT Press
Software Design for Flexibility (eBook, ePUB)
30,95 €
Sofort per Download lieferbar
Versandkostenfrei
Chris Hanson
Gerald Jay Sussman
Software Design for Flexibility (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
9. März 2021
MIT Press
Turing's Vision (eBook, ePUB)
12,95 €
Sofort per Download lieferbar
Chris Bernhardt
Turing's Vision (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
13. Mai 2016
MIT Press
Once Upon an Algorithm (eBook, ePUB)
14,95 €
Sofort per Download lieferbar
Martin Erwig
Once Upon an Algorithm (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
18. August 2017
MIT Press
Formal Methods for Multi-Agent Feedback Control Systems (eBook, ePUB)
51,95 €
Sofort per Download lieferbar
Versandkostenfrei
Lars Lindemann
Dimos V. Dimarogonas
Formal Methods for Multi-Agent Feedback Control Systems (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
29. April 2025
MIT Press
Multi-Agent Reinforcement Learning (eBook, ePUB)
39,95 €
Sofort per Download lieferbar
Versandkostenfrei
Stefano V. Albrecht
Filippos Christianos
Lukas Schäfer
Multi-Agent Reinforcement Learning (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
17. Dezember 2024
MIT Press
Bits to Bitcoin (eBook, ePUB)
17,95 €
Sofort per Download lieferbar
Mark Stuart Day
Bits to Bitcoin (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
28. August 2018
MIT Press
Veridical Data Science (eBook, ePUB)
45,95 €
Sofort per Download lieferbar
Versandkostenfrei
Bin Yu
Rebecca L. Barter
Veridical Data Science (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
15. Oktober 2024
MIT Press
Probabilistic Graphical Models (eBook, ePUB)
75,95 €
Sofort per Download lieferbar
Versandkostenfrei
Daphne Koller
Nir Friedman
Probabilistic Graphical Models (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
31. Juli 2009
MIT Press


Ähnlichkeitssuche: Fact®Finder von OMIKRON