
Gebundenes Buch
Verifying Floating-Point Algorithms with the Coq System
15. Juli 2017
ISTE Press - Elsevier
67820778
eBook, ePUB | 79,95 € |

eBook, ePUB
17. November 2017
Elsevier Science & Techn.

eBook, PDF
2. Mai 2018
Springer International Publishing
Broschiertes Buch | 113,99 € | |
Gebundenes Buch | 113,99 € |

Ähnliche Artikel

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
An Introduction for the Inquisitive Reader
9. Juni 2022
Chapman and Hall/CRC / Taylor & Francis

Broschiertes Buch
2010
20. Oktober 2014
Springer / Springer US / Springer, Berlin
978-1-4899-9272-7

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

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
Theory and Practice
Softcover reprint of the original 1st ed. 2001
24. Mai 2013
Springer New York / Springer, Berlin

Broschiertes Buch
With Program Codes
2007
19. November 2014
Springer / Springer US / Springer, Berlin
978-1-4899-8897-3

Broschiertes Buch
Concurrent Programming in an Extended Java
Softcover reprint of the original 1st ed. 2004
24. März 2013
Springer / Springer US / Springer, Berlin
978-1-4757-8882-2

Broschiertes Buch
2. Aufl.
18. Juni 1990
Palgrave Macmillan / Palgrave Macmillan UK / Springer Palgrave Macmillan
978-0-333-52511-1
Ähnlichkeitssuche: Fact®Finder von OMIKRON