Articles liés à Numerical Validation in Current Hardware Architectures:...
Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers . . . Computer Science and General Issues) - Couverture souple
Synopsis
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Numerical Validation in Current Hardware Architectures:...
Image d'archives
Numerical Validation in Current Hardware Architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers
Edité par
Springer Berlin Heidelberg, 2009
ISBN 10 : 3642015905
ISBN 13 : 9783642015908
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 276 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 5406898/12
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Numerical Validation in Current Hardware Architectures
Edité par
Springer Berlin Heidelberg, 2009
ISBN 10 : 3642015905
ISBN 13 : 9783642015908
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected duri. N° de réf. du vendeur 5043435
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Numerical Validation in Current Hardware Architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers
Edité par
Springer Berlin Heidelberg, 2009
ISBN 10 : 3642015905
ISBN 13 : 9783642015908
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 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. N° de réf. du vendeur 9783642015908
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Numerical Validation in Current Hardware Architectures
Edité par
Springer Berlin Heidelberg Apr 2009, 2009
ISBN 10 : 3642015905
ISBN 13 : 9783642015908
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 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. 276 pp. Englisch. N° de réf. du vendeur 9783642015908
Quantité disponible : 2 disponible(s)
Image d'archives
Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers (Lecture Notes in Computer Science, 5492)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642015908_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers . . Issues) (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783642015908
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Numerical Validation in Current Hardware Architectures
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2009, 2009
ISBN 10 : 3642015905
ISBN 13 : 9783642015908
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch. N° de réf. du vendeur 9783642015908
Quantité disponible : 2 disponible(s)
Image d'archives
Numerical Validation in Current Hardware Architectures
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 276. N° de réf. du vendeur 263059040
Quantité disponible : 1 disponible(s)
Image d'archives
Numerical Validation in Current Hardware Architectures
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 276. N° de réf. du vendeur 183059050
Quantité disponible : 1 disponible(s)
Image d'archives
Numerical Validation in Current Hardware Architectures
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 276 Illus. N° de réf. du vendeur 5837503
Quantité disponible : 1 disponible(s)