Contact
Cum să cumpăr
Livrare
Consilier de cumpărături
Symbolic Algebraic Methods and Verification Methods
engleză
132 b
Până la 30 de zile pentru returnare
Clienții au cumpărat de asemenea
/
Carte broșată
220.26
lei
/
Carte broșată
421.67
lei
/
Carte broșată
90.81
lei
/
Carte broșată
94.32
lei
/
Carte broșată
143.69
lei
/
Carte broșată
145.70
lei
The usual implementation of real numbers as floating point numbers on existing computers has the well-known disadvantage that most of the real numbers are not exactly representable in floating point. Also the four basic arithmetic operations can usually not be performed exactly. During the last years research in different areas has been intensified in order to overcome these problems. (LEDA-Library by K. Mehlhorn et al., Exact arithmetic with real numbers by A. Edalat et al., Symbolic algebraic methods, verification methods). The latest development is the combination of symbolic-algebraic methods and verification methods to so-called hybrid methods. This book contains a collection of worked out talks on these subjects given during a Dagstuhl seminar at the Forschungszentrum für Informatik, Schloss Dagstuhl, Germany, presenting the state of the art.
Informații despre carte
engleză
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinataruluiAr putea de asemenea, să te intereseze
/
Carte broșată
87.80
lei
/
Carte broșată
136.47
lei
/
Carte broșată
93.42
lei
Bună ziua! Sunt Libroamiko, consilierul dumneavoastră de cărți.
Cu ce vă pot ajuta?