Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια.
Δημιουργία δωρεάν λογαριασμού
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 €
Σημείο Elta 3.99 €
Elta 4.49 €
ACS 4.99 €
Box Now 3.99 €
Σημείο ACS 3.99 €
Επικοινωνία
Πώς να κάνετε αγορές;
Βοήθεια
Παράδοση
DHL courier 9.99 €
Σημείο Elta 3.99 €
Elta 4.49 €
ACS 4.99 €
Box Now 3.99 €
Σημείο ACS 3.99 €
Δωρεάν αποστολή με Box Now άνω των 69.99 €
Οδηγός αγορών
Είμαστε στη διάθεσή σας!
210 2602819
Ο λογαριασμός μου
▸
Άδειο :-(
0
Numerical Software with Result Verification
International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
Γλώσσα
Αγγλική
Αγγλική
Βιβλίο
Χαρτόδετο
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Nume...
Πλήρης περιγραφή
Κωδικός Libristo: 01559177
?
125 b
125 b
51.63
€
Σε εξωτερική αποθήκη
Αποστέλλουμε σε 5-8 ημέρες
Παράδοση στην Ελλάδα
Παράδοση στην Ελλάδα
Έως 30 ημέρες για επιστροφή
Οι πελάτες αγόρασαν επίσης
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Castle, Germany, in January 2003.The 18 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.
Ηθοποιός
&
Πολύγλωσση
EWA KASP
για
Αναπαραγωγή βίντεο
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.
Πληροφορίες για το βιβλίο
Πλήρες όνομα
Numerical Software with Result Verification
Συγγραφέας
Rene Alt, Andreas Frommer, R. Baker Kearfott
Γλώσσα
Αγγλική
Αγγλική
Βιβλιοδεσία
Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης
2004
Αριθμός σελίδων
315
EAN
9783540212607
ISBN
3540212604
Κωδικός Libristo
01559177
ΕΕκδοτικός οίκος
Springer, Berlin
Βάρος
480
Διαστάσεις
155 x 233 x 17
Κατηγορία
Computing & Information Technology
>
Computer programming / software engineering
>
Algorithms & data structures
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
