Articoli correlati a C++ Toolbox for Verified Computing I: Basic Numerical...
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2011
- ISBN 10 3642796532
- ISBN 13 9783642796531
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine404
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 101,85
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per C++ Toolbox for Verified Computing I: Basic Numerical...
Immagini fornite dal venditore
C++ Toolbox for Verified Computing I
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 5070906
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
C++ Toolbox for Verified Computing I
Editore:
Springer Berlin Heidelberg Dez 2011, 2011
ISBN 10: 3642796532
ISBN 13: 9783642796531
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783642796531
Quantità: 2 disponibili
Immagini fornite dal venditore
C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs
Editore:
Springer Berlin Heidelberg, 2011
ISBN 10: 3642796532
ISBN 13: 9783642796531
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783642796531
Quantità: 1 disponibili
Foto dell'editore
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783642796531_new
Quantità: Più di 20 disponibili
Foto dell'editore
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020236615
Quantità: Più di 20 disponibili
Foto dell'editore
C++ Toolbox for Verified Computing I
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 404. Codice articolo 2648024063
Quantità: 4 disponibili
Foto dell'editore
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Editore:
Springer Berlin Heidelberg, 2012
ISBN 10: 3642796532
ISBN 13: 9783642796531
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. reprint edition. 400 pages. 9.25x6.10x0.24 inches. In Stock. Codice articolo x-3642796532
Quantità: 2 disponibili
Foto dell'editore
C++ Toolbox for Verified Computing I
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 44791328
Quantità: 4 disponibili
Foto dell'editore
C++ Toolbox for Verified Computing I
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 404. Codice articolo 1848024053
Quantità: 4 disponibili
Foto dell'editore
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Like New. Like New. book. Codice articolo ERICA77336427965326
Quantità: 1 disponibili