C++ toolbox for verified computing 1 / R. Hammer

Public ISBD Titre : C++ toolbox for verified computing 1 : basic numerical problems. Theory algorithms and programs Type de document : texte imprimé Auteurs : R. Hammer ; Ratz, Dietmar ; Ulrich Kulisch ; Hocks, Matthias Editeur : Springer-Verlag Année de publication : 1995 Importance : xvi - 380 p. ISBN/ISSN/EAN : 978-3-540-59110-8 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68MXX Computer system organization:68M15 Reliability, testing and fault tolerance 68-XX Computer science :68NXX Software:68N15 Programming languages Mots-clés : computational reliability  c-xsc library Index. décimale : 68C Monographie C++ toolbox for verified computing 1 : basic numerical problems. Theory algorithms and programs [texte imprimé] / R. Hammer ; Ratz, Dietmar ; Ulrich Kulisch ; Hocks, Matthias . - [S.l.] : Springer-Verlag, 1995 . - xvi - 380 p. ISBN : 978-3-540-59110-8 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68MXX Computer system organization:68M15 Reliability, testing and fault tolerance 68-XX Computer science :68NXX Software:68N15 Programming languages Mots-clés : computational reliability  c-xsc library Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
11911	68C03	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Safety of computer architectures / Jean-Louis Boulanger

Public ISBD Titre : Safety of computer architectures Type de document : texte imprimé Auteurs : Jean-Louis Boulanger, Editeur scientifique Editeur : London : ISTE Année de publication : 2010 Importance : xv - 488 p. Format : 24 cm ISBN/ISSN/EAN : 978-1-84821-197-1 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68MXX Computer system organization:68M15 Reliability, testing and fault tolerance Mots-clés : computer science  computer systems  reliability Index. décimale : 68B Publication collective Safety of computer architectures [texte imprimé] / Jean-Louis Boulanger, Editeur scientifique . - London : ISTE, 2010 . - xv - 488 p. ; 24 cm. ISBN : 978-1-84821-197-1 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68MXX Computer system organization:68M15 Reliability, testing and fault tolerance Mots-clés : computer science  computer systems  reliability Index. décimale : 68B Publication collective

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21237	LINA/68B68	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1