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

Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich; Ratz, Dietmar

ISBN 10: 3642796532 ISBN 13: 9783642796531

Verlag: Springer, 2011

Neu Softcover

Verk�ufer Ria Christie Collections, Uxbridge, Vereinigtes K�nigreich Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 25. M�rz 2015

Dieser Artikel ist nicht mehr verf�gbar.

Alle Artikel dieses Verk�ufers anzeigen Ein Kaufgesuch f�r �hnliche Artikel erstellen

Alle Exemplare dieses Buches anzeigen

Beschreibung

In. Bestandsnummer des Verk�ufers ria9783642796531_new

Diesen Artikel melden

Inhaltsangabe:

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.

Von der hinteren Coverseite: 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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: C++ Toolbox for Verified Computing I: Basic ...
Verlag: Springer
Erscheinungsdatum: 2011
Einband: Softcover
Zustand: New

Beste Suchergebnisse bei AbeBooks

Foto des Verk�ufers

C++ Toolbox for Verified Computing I

Rolf Hammer|Matthias Hocks|Ulrich Kulisch|Dietmar Ratz

Verlag: Springer Berlin Heidelberg, 2011

ISBN 10: 3642796532 ISBN 13: 9783642796531

Neu Softcover

Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 4 von 5 Sternen

Zustand: 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. Bestandsnummer des Verk�ufers 5070906

Verk�ufer kontaktieren

Neu kaufen

EUR 101,04

EUR 48,99 shipping
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

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

Rolf Hammer (u. a.)

Verlag: Springer-Verlag GmbH, 2011

ISBN 10: 3642796532 ISBN 13: 9783642796531

Neu Taschenbuch

Anbieter: preigu, Osnabr�ck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Verk�ufer kontaktieren

Neu kaufen

EUR 104,90

EUR 70,00 shipping
Versand von Deutschland nach USA

Anzahl: 5 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

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

Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich; Ratz, Dietmar

Verlag: Springer, 2011

ISBN 10: 3642796532 ISBN 13: 9783642796531

Neu Softcover

Anbieter: Lucky's Textbooks, Dallas, TX, USA

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. Bestandsnummer des Verk�ufers ABLIING23Mar3113020236615

Verk�ufer kontaktieren

Neu kaufen

EUR 111,25

EUR 3,40 shipping
Versand innerhalb von USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

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

Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich; Ratz, Dietmar

Verlag: Springer, 2011

ISBN 10: 3642796532 ISBN 13: 9783642796531

Neu Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. Bestandsnummer des Verk�ufers 18770818-n

Verk�ufer kontaktieren

Neu kaufen

EUR 112,43

EUR 2,25 shipping
Versand innerhalb von USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

C++ Toolbox for Verified Computing I

Rolf Hammer

Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2011, 2011

ISBN 10: 3642796532 ISBN 13: 9783642796531

Neu Taschenbuch Erstausgabe

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch. Bestandsnummer des Verk�ufers 9783642796531

Verk�ufer kontaktieren

Neu kaufen

EUR 117,69

EUR 60,00 shipping
Versand von Deutschland nach USA

Anzahl: 2 verf�gbar

In den Warenkorb

Foto des Verk�ufers

C++ Toolbox for Verified Computing I

Rolf Hammer

Verlag: Springer Berlin Heidelberg Dez 2011, 2011

ISBN 10: 3642796532 ISBN 13: 9783642796531

Neu Taschenbuch

Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: 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. Bestandsnummer des Verk�ufers 9783642796531

Verk�ufer kontaktieren

Neu kaufen

EUR 117,69

EUR 23,00 shipping
Versand von Deutschland nach USA

Anzahl: 2 verf�gbar

In den Warenkorb

Foto des Verk�ufers

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

Rolf Hammer

Verlag: Springer Berlin Heidelberg, 2011

ISBN 10: 3642796532 ISBN 13: 9783642796531

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: 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. Bestandsnummer des Verk�ufers 9783642796531

Verk�ufer kontaktieren