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
| Gebundenes Buch | 192,99 € | |
| eBook, PDF | 113,95 € |
Gebundenes Buch
Applying Formalized Logic to Analysis
2011
16. Juli 2011
Springer / Springer London / Springer, Berlin
80031844,978-0-85729-807-2
| Broschiertes Buch | 41,99 € | |
| eBook, PDF | 40,95 € |
Ähnliche Artikel
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2005
19. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2312-7
Broschiertes Buch
Softcover reprint of the original 1st ed. 2004
8. Oktober 2012
Springer / Springer London / Springer, Berlin
978-1-4471-1052-1
Gebundenes Buch
2004 edition
20. Januar 2004
Springer / Springer London / Springer, Berlin
978-1-85233-565-6
Broschiertes Buch
Softcover reprint of the original 1st ed. 1998
20. November 2011
Springer / Springer London / Springer, Berlin
978-1-4471-1593-9
Gebundenes Buch
2nd ed.
19. November 2004
Springer / Springer New York / Springer, Berlin
10983911,978-0-387-20874-9
Broschiertes Buch
2nd ed.
25. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-1929-8
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
