Gebundenes Buch
Verifying Floating-Point Algorithms with the Coq System
15. Juli 2017
ISTE Press - Elsevier
67820778
eBook, PDF
2. Mai 2018
Springer International Publishing
| Broschiertes Buch | 111,99 € | |
| Gebundenes Buch | 111,99 € |
Ähnliche Artikel
Broschiertes Buch
An Introduction for the Inquisitive Reader
9. Juni 2022
Chapman and Hall/CRC / Taylor & Francis
Gebundenes Buch
Volume a
1990.
12. September 1990
Elsevier Science / Elsevier Science & Technology
C2009-0-15405-3
Gebundenes Buch
An Introduction for the Inquisitive Reader
9. Juni 2022
Chapman and Hall/CRC / Taylor & Francis
Gebundenes Buch
Interfaces That Invite Social and Physical Interaction
2014
7. März 2014
Springer / Springer Nature Singapore / Springer, Berlin
86298384,978-981-4560-95-5
Broschiertes Buch
Softcover reprint of the original 1st ed. 2004
24. April 2013
Springer / Springer US / Springer, Berlin
978-1-4757-7984-4
Broschiertes Buch
Softcover reprint of the original 1st ed. 2001
1. November 2012
Birkhäuser Basel / Springer, Basel
Broschiertes Buch
Theory and Practice
Softcover reprint of the original 1st ed. 2001
24. Mai 2013
Springer New York / Springer, Berlin
Broschiertes Buch
Softcover reprint of the original 1st ed. 2002
23. Oktober 2012
Birkhäuser / Birkhäuser Boston / Springer, Basel
978-1-4612-6619-8
Broschiertes Buch
With Program Codes
2007
19. November 2014
Springer / Springer US / Springer, Berlin
978-1-4899-8897-3
Ähnlichkeitssuche: Fact®Finder von OMIKRON
