![Set Theory for Computing Set Theory for Computing](https://bilder.buecher.de/produkte/10/10051/10051200m.jpg)
Gebundenes Buch
From Decision Procedures to Declarative Programming with Sets
2001 edition
26. Juni 2001
Springer / Springer New York / Springer, Berlin
978-0-387-95197-3
Broschiertes Buch | 115,99 € |
![On Sets and Graphs On Sets and Graphs](https://bilder.buecher.de/produkte/55/55129/55129023m.jpg)
Broschiertes Buch
Perspectives on Logic and Combinatorics
Softcover reprint of the original 1st ed. 2017
9. September 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-85536-3
Gebundenes Buch | 42,99 € |
![On Sets and Graphs On Sets and Graphs](https://bilder.buecher.de/produkte/47/47530/47530561m.jpg)
Gebundenes Buch
Perspectives on Logic and Combinatorics
1st ed. 2017
22. Mai 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-54980-4
![Set Theory for Computing Set Theory for Computing](https://bilder.buecher.de/produkte/32/32216/32216301m.jpg)
Broschiertes Buch
From Decision Procedures to Declarative Programming with Sets
Softcover reprint of the original 1st ed. 2001
21. September 2011
Springer / Springer New York / Springer, Berlin
978-1-4419-2905-1
Ähnliche Artikel
![Computer Algebra Recipes Computer Algebra Recipes](https://bilder.buecher.de/produkte/10/10051/10051660m.jpg)
Gebundenes Buch
A Gourmet's Guide to the Mathematical Models of Science
8. Juni 2001
Springer / Springer New York / Springer, Berlin
10781860,978-0-387-95148-5
![Abstraction, Refinement and Proof for Probabilistic Systems Abstraction, Refinement and Proof for Probabilistic Systems](https://bilder.buecher.de/produkte/32/32220/32220323m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2005
19. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2312-7
![Automata, Logics, and Infinite Games Automata, Logics, and Infinite Games](https://bilder.buecher.de/produkte/11/11436/11436310m.jpg)
Broschiertes Buch
A Guide to Current Research
2002
13. Dezember 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00388-5
![Handbook of Logic and Proof Techniques for Computer Science Handbook of Logic and Proof Techniques for Computer Science](https://bilder.buecher.de/produkte/22/22363/22363225n.jpg)
Gebundenes Buch
2002
17. Januar 2002
Springer, Basel
![Logic and Complexity Logic and Complexity](https://bilder.buecher.de/produkte/36/36936/36936052m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2004
8. Oktober 2012
Springer / Springer London / Springer, Berlin
978-1-4471-1052-1
![Adapting Proofs-As-Programs Adapting Proofs-As-Programs](https://bilder.buecher.de/produkte/14/14172/14172801m.jpg)
Gebundenes Buch
The Curry--Howard Protocol
2005 edition
21. Juni 2005
Springer / Springer New York / Springer, Berlin
11303336,978-0-387-23759-6
![Geometric Fundamentals of Robotics Geometric Fundamentals of Robotics](https://bilder.buecher.de/produkte/06/06439/06439687m.jpg)
Gebundenes Buch
2nd ed.
19. November 2004
Springer / Springer New York / Springer, Berlin
10983911,978-0-387-20874-9
![Geometric Fundamentals of Robotics Geometric Fundamentals of Robotics](https://bilder.buecher.de/produkte/32/32207/32207508m.jpg)
Broschiertes Buch
2nd ed.
25. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-1929-8
![Adapting Proofs-as-Programs Adapting Proofs-as-Programs](https://bilder.buecher.de/produkte/32/32216/32216636m.jpg)
Broschiertes Buch
The Curry--Howard Protocol
Softcover reprint of hardcover 1st ed. 2005
19. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2014-0
Ähnlichkeitssuche: Fact®Finder von OMIKRON