Artículos relacionados a C++ Toolbox for Verified Computing: Basic Numerical...

C++ Toolbox for Verified Computing: Basic Numerical Problems - Tapa dura

 
9783540591108: C++ Toolbox for Verified Computing: Basic Numerical Problems

Sinopsis

This C++ Toolbox for Verified Computing presents an extensive set of sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for verified Computing which was based on the computer language PASCAL-XSC. The sources of the programs in this book are freely available via anonymous ftp. This book offers a general discussion on arithmetic and computational reliability, analytical mathematics and verification techniques, algorithms, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

Our aim in writing this book was to provide an extensive set of C++ programs for solving basic numerical problems with verification of the results. This C++ Toolbox for Verified Computing I is the C++ edition of the Numerical Toolbox for Verified Computing l. The programs of the original edition were written in PASCAL-XSC, a PASCAL eXtension for Scientific Computation. Since we published the first edition we have received many requests from readers and users of our tools for a version in C++. We take the view that C++ is growing in importance in the field of numeri­ cal computing. C++ includes C, but as a typed language and due to its modern concepts, it is superior to C. To obtain the degree of efficiency that PASCAL-XSC provides, we used the C-XSC library. C-XSC is a C++ class library for eXtended Scientific Computing. C++ and the C-XSC library are an adequate alternative to special XSC-Ianguages such as PASCAL-XSC or ACRITH-XSC. A shareware version of the C-XSC library and the sources of the toolbox programs are freely available via anonymous ftp or can be ordered against reimbursement of expenses. The programs of this book do not require a great deal of insight into the features of C++. Particularly, object oriented programming techniques are not required.

Contraportada

This C++ Toolbox for Verified Computing presents an extensive set of sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for Verified Computing which was based on the computer language PASCAL-XSC. The sources of the programs in this book are freely available via anonymous ftp. This book offers a general discussion on arithmetic and computational reliablility, analytical mathematics and verification techniques, algoriths, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verification or any familiarity with interval analysis. The necessary concepts are introduced. Some of the subjects that the book covers in detail are not usually found in standard numerical analysis texts.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar usado

Condición: Excelente
Ancien livre de bibliothèque. Edition...
Ver este artículo

EUR 6,00 gastos de envío desde Francia a España

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9783642796531: C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

Edición Destacada

ISBN 10:  3642796532 ISBN 13:  9783642796531
Editorial: Springer, 2011
Tapa blanda

Resultados de la búsqueda para C++ Toolbox for Verified Computing: Basic Numerical...

Imagen de archivo

Rolf Hammer, M. Hocks, Ulrich W. Kulisch et D. Ratz
ISBN 10: 3540591109 ISBN 13: 9783540591108
Antiguo o usado Tapa dura

Librería: Ammareal, Morangis, Francia

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 1995. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-578-798

Contactar al vendedor

Comprar usado

EUR 9,54
Convertir moneda
Gastos de envío: EUR 6,00
De Francia a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Hammer, Hocks, Kulisch, Ratz
Publicado por Springer, 1995
ISBN 10: 3540591109 ISBN 13: 9783540591108
Antiguo o usado Tapa dura

Librería: La bataille des livres, Pradinas, Francia

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Très bon. C++ Toolbox for Verified Computing: Basic Numerical Problems | Hammer, Hocks, Kulisch, Ratz | Springer, 1995. In-8° cartonné, 377 pages. Couverture propre. Intérieur frais sans soulignage ou annotation. Exemplaire de bibliothèque : petit code barre en pied de 1re de couv., cotation au dos, rares et discrets petits tampons à l'intérieur de l'ouvrage. Très bon état général pour cet ouvrage [BA 46+]. Nº de ref. del artículo: FR-IRI0-O6U6

Contactar al vendedor

Comprar usado

EUR 95,00
Convertir moneda
Gastos de envío: EUR 7,00
De Francia a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Hammer, Rolf & Matthias Hocks & Ulrich Kulisch & Dietmar Ratz
Publicado por Springer, 1997
ISBN 10: 3540591109 ISBN 13: 9783540591108
Antiguo o usado Tapa dura

Librería: Michener & Rutledge Booksellers, Inc., Baldwin City, KS, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Very Good+. Text clean and tight; no dust jacket; 9.30 X 6.20 X 0.70 inches; 382 pages. Nº de ref. del artículo: 208211

Contactar al vendedor

Comprar usado

EUR 56,63
Convertir moneda
Gastos de envío: EUR 66,85
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Ratz, Dietmar,Kulisch, Ulrich,Hocks, Matthias,Hammer, Rolf
Publicado por Springer, 1997
ISBN 10: 3540591109 ISBN 13: 9783540591108
Antiguo o usado Tapa dura

Librería: HPB-Red, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_342542255

Contactar al vendedor

Comprar usado

EUR 49,46
Convertir moneda
Gastos de envío: EUR 95,00
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Hammer, Rolf, Hocks, Matthias, Kulisch, Ulrich, Ratz, Dietma
Publicado por Springer, 1997
ISBN 10: 3540591109 ISBN 13: 9783540591108
Antiguo o usado Tapa dura

Librería: dsmbooks, Liverpool, Reino Unido

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Very Good. Very Good. book. Nº de ref. del artículo: D8S0-3-M-3540591109-4

Contactar al vendedor

Comprar usado

EUR 166,22
Convertir moneda
Gastos de envío: EUR 32,13
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito