C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Springer (9783642796531) | C++ Toolbox
Preis von (4 Angebote)110.94 EUR
Weitere Informationen
Verified Computers Solution For Parametric Problems
Gesponsert
Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
Weitere Informationen
Galaxus.de
Gesponsert
Verified Computers Solution For Parametric Problems, Fachbücher von Ahmed Elaraby Ahmed
Günstigstes Angebot
49.00 EUR
Siehe Produktangebot
Dieses Produkt im Comparor
KategorieDieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
InternationalFinden Sie dieses Produkt in einem unserer internationalen Geschäfte
Dieses Produkt wurde in anderen Ländern nicht gefunden
FarbenVorherrschende Farben des Produkts
Bezeichner
ISBN
9783838358239
ID
13028655
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
(9783866448858)
Preis von (3 Angebote)41.00 EUR
Weitere Informationen
Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs
Springer Berlin Heidelberg (9783642784255 / 7 black & white tables, biography) | For Verified Computing I
Preis von (3 Angebote)104.57 EUR
Weitere Informationen
The Bible Verified
(9783742809803) | Archibald The Bible Verified, The Bible Verified
Preis von (3 Angebote)21.90 EUR
Weitere Informationen
The Bible verified
(9783337822804) | The Bible
Preis von (3 Angebote)21.90 EUR
Weitere Informationen
VLISP A Verfied Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Springer (9781461359913) | Implementation of Scheme
Preis von (3 Angebote)149.84 EUR
Weitere Informationen