Explore: Automatic Result
Discover books, insights, and more — all in one place.
Learn more about Automatic Result with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “automatic-result”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1C++ toolbox for verified computing I
By Rolf Hammer, Matthias Hocks, Ulrich Kulisch and Dietmar Ratz
“C++ toolbox for verified computing I” Metadata:
- Title: ➤ C++ toolbox for verified computing I
- Authors: Rolf HammerMatthias HocksUlrich KulischDietmar Ratz
- Language: English
- Number of Pages: Median: 380
- Publisher: Springer - Island Press
- Publish Date: 1995 - 1997
- Publish Location: New York - Berlin
“C++ toolbox for verified computing I” Subjects and Themes:
- Subjects: ➤ C++ (Computer program language) - C & Visual C - Mathematical theory of computation - Utilities & tools - Applied - Mathematical Analysis - Number Systems - C++ und C-XSC - Intervallarithmetik - Mathematics / Number Systems - Selbstverifizierende Numerik - Verified scientific computing - Verifiziertes wissenschaftliches Rechnen - automatic result - automatische Ergebnisverifikation - c++ and c-xsc - interval arithmetic - self-validating numerics - simplification of programming - verification - Mathematics
Edition Identifiers:
- The Open Library ID: OL50683470M - OL9061469M - OL1278428M
- Online Computer Library Center (OCLC) ID: 32166841
- Library of Congress Control Number (LCCN): 95010173
- All ISBNs: ➤ 9783642796524 - 9780387591100 - 3642796524 - 9783540591108 - 0387591109 - 3540591109
Author's Alternative Names:
"Ulrich W. Kulisch"Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find C++ toolbox for verified computing I at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.