Artículos relacionados a C++ Toolbox for Verified Computing I: Basic Numerical...
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs - Tapa blanda
Sinopsis
This book 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 (SSCM Vol. 21). The sources of the programs in this book are freely available via anonymous ftp.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la 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.
- EditorialSpringer
- Año de publicación2011
- ISBN 10 3642796532
- ISBN 13 9783642796531
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas404
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 101,85
EUR 19,49 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para C++ Toolbox for Verified Computing I: Basic Numerical...
Imagen del vendedor
C++ Toolbox for Verified Computing I
Publicado por
Springer Berlin Heidelberg, 2011
ISBN 10: 3642796532
ISBN 13: 9783642796531
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Theory, Algorithms, and ProgramsOur 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 Numer. Nº de ref. del artículo: 5070906
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
C++ Toolbox for Verified Computing I
Publicado por
Springer Berlin Heidelberg Dez 2011, 2011
ISBN 10: 3642796532
ISBN 13: 9783642796531
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 404 pp. Englisch. Nº de ref. del artículo: 9783642796531
Cantidad disponible: 2 disponibles
Imagen del vendedor
C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs
Publicado por
Springer Berlin Heidelberg, 2011
ISBN 10: 3642796532
ISBN 13: 9783642796531
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9783642796531
Cantidad disponible: 1 disponibles
Imagen de archivo
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783642796531_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020236615
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
C++ Toolbox for Verified Computing I
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 404. Nº de ref. del artículo: 2648024063
Cantidad disponible: 4 disponibles
Imagen de archivo
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Publicado por
Springer Berlin Heidelberg, 2012
ISBN 10: 3642796532
ISBN 13: 9783642796531
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. reprint edition. 400 pages. 9.25x6.10x0.24 inches. In Stock. Nº de ref. del artículo: x-3642796532
Cantidad disponible: 2 disponibles
Imagen de archivo
C++ Toolbox for Verified Computing I
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Print on Demand pp. 404 29 Figures, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Nº de ref. del artículo: 44791328
Cantidad disponible: 4 disponibles
Imagen de archivo
C++ Toolbox for Verified Computing I
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 404. Nº de ref. del artículo: 1848024053
Cantidad disponible: 4 disponibles
Imagen de archivo
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: Like New. Like New. book. Nº de ref. del artículo: ERICA77336427965326
Cantidad disponible: 1 disponibles