Numerical Software With Result Verification(1st Edition)
Authors:
Rene Alt ,Andreas Frommer ,R Baker Kearfott ,Wolfram Luther
In Stock: 1 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3540212604, 978-3540212607
Book publisher: Springer
Book Price $0 : Reliable Computing Techniques Are Essential If The Validity Of The Output Of A - Merical Algorithm Is To Be Guaranteed To Be Correct. Our Society Relies More And More On Computer Systems. Usually, Our Systems Appear To Work Successfully, But There Are Sometimes Serious, And Often Minor, Errors. Validated Computing Is One Essential Technology To Achieve Increased Software Reliability. Formal - Gor In The De?nition Of Data Types, The Computer Arithmetic, In Algorithm Design, And In Program Execution Allows Us To Guarantee That The Stated Problem Has (or Does Not Have) A Solution In An Enclosing Interval We Compute. If The Enclosure Is Narrow, We Are Certain That The Result Can Be Used. Otherwise, We Have A Clear Warning That The Uncertainty Of Input Values Might Be Large And The Algorithm And The Model Have To Be Improved. The Use Of Interval Data Types And Al- Rithms With Controlled Rounding And Result Veri?cation Capture Uncertainty In Modeling And Problem Formulation, In Model Parameter Estimation, In Algorithm Truncation, In Operation Round-o?, And In Model Interpretation. The Techniques Of Validated Computing Have Proven Their Merits In Many Scienti?c And Engineering Applications. They Are Based On Solid And Interesting Theoretical Studies In Mathematics And Computer Science. Contributions From ?elds Including Real, Complex And Functional Analysis, Semigroups, Probability, Statistics,fuzzyintervalanalysis,fuzzylogic,automaticdi?erentiation,computer Hardware, Operating Systems, Compiler Construction, Programming Languages, Object-oriented Modeling, Parallel Processing, And Software Engineering Are All Essential.
Customers also bought these books (16)
Accounting - 9th edition
Lew Edwards
ISBN: 1118608224, 1118608227, 730323994, 9780730323990, 730319172, 9780730319177, 978-1118608227
$113.58 $162.26
Ethics And Morality In Consumption Interdisciplinary Perspectives - 1st Edition
Deirdre Shaw
ISBN: 1317653939, 9781317653936
$88.2 $126.00
Numerical Methods For Engineers - 5th Edition
Steven C. Chapra
ISBN: 978-0071244299, 0071244298
$0 $52.99
University Physics with Modern Physics - 12th Edition
Hugh D. Young
ISBN: 978-0321501479, 9780805321876, 321501470, 978-0321501219
$0 $24.30
Sets Logic And Maths For Computing - 1st Edition
David Makinson
ISBN: B0034PVGS8, 978-3030422189
$0 $14.22
Softwaresysteme Und Ihre Modellierung Grundlagen Methoden Und Techniken - 1st Edition
Peter Tabeling
ISBN: 3540258280, 978-3540258285
$0 $39.99
Advances In Algorithms Languages And Complexity - 1st Edition
Ding Zhu Du
ISBN: 0792343964, 978-0792343967
$153.99 $219.99
Relational Methods In Computer Science - 1st Edition
Chris Brink
ISBN: 3211829717, 978-3211829714
$0 $54.99
Implementation And Application Of Functional Languages 23rd International Symposium Ifl 2011 Lawrence Ks Usa October 3 5 2011 Revised Selected Computer Science And General Issues - 1st Edition
Andy Gill
ISBN: 3642344062, 978-3642344060
$0 $42.99
SAT Subject Test Chemistry 2010-2011 - 2011 Edition
Claire Aldridge
ISBN: 1419553461, 978-1419553462
$0 $9.00
Sea Turtle Research And Conservation Lessons From Working In The Field - 1st Edition
Brad Nahill
ISBN: 012821029X, 978-0128210291
$0 $65.99
Statistics For The Behavioral Sciences - 2nd Edition
Gregory J. Privitera
ISBN: 1452286906, 978-1452286907
$0 $24.50
Understanding Basic Statistics - 9th Edition
Charles Henry Brase
ISBN: 0357757351, 978-0357757352
$63.15 $90.21
I Am 7 And Awesome 10 Inspiring Stories About Courage Self Confidence Kindness And Friendship For 7 Year Old Boys - 1st Edition
Zoey Mercer
ISBN: 1964613140, 978-1964613147
$0 $7.00
Categorical Methods In Computer Science With Aspects From Topology - 1st Edition
Hartmut Ehrig
ISBN: 3540517227, 978-3540517221
$0 $36.08
Bioinformatics German Conference On Bioinformatics Gcb 96 Leipzig Germany September 30 October 2 1996 Selected Papers - 1st Edition
Ralf Hofestadt
ISBN: 3540633707, 978-3540633709
$0 $4.48Popular Among Students (13)
Catalyzing Transformation Making System Change Happen - 1st Edition
Dr. Sandra Waddock
ISBN: 1637425082, 978-1637425084
$0 $29.09
Polarity Intelligence The Missing Logic In Leadership - 1st Edition
Dr. Tracy Christopherson
ISBN: 1636981887, 978-1636981888
$0 $15.00
Youth In Conflict With The Law - 4th Edition
Denise Whitehead
ISBN: 1773380435, 9781773380438
$0 $56.95
10 Steps To Successful Facilitation Association For Talent Development - 2nd Edition
Atd
ISBN: 1949036286, 978-1949036282
$0 $18.97
Global Change And Forest Soils Cultivating Stewardship Of A Finite Natural Resource - 1st Edition
Matt Busse
ISBN: 0444639985, 978-0444639981
$65.77 $93.95
Numerical Software With Result Verification International Dagstuhl Seminar Dagstuhl Castle Germany January 19 24 2003 Revised Papers - 1st Edition
Rena C Alt
ISBN: 3662169274, 978-3662169278
$0 $71.00
Lisp For Ai And Machine Learning Unleash The Power Of Symbolic Computation - 1st Edition
Anthony Wanger
ISBN: B0CW2QHLT2
$0 $49.75
Software Engineering And Formal Methods Sefm 2014 Collocated Workshops Hofm Safome Opencert Mokmasd Ws Fmds Grenoble France September 1 2 - 2015 Edition
Carlos Canal
ISBN: 3319152009, 978-3319152004
$0 $52.99
Algorithmic Language And Program Development - 1st Edition
F.L. Bauer
ISBN: 364261809X, 978-3642618093
$0 $54.99
Learn Openai Whisper Transform Your Understanding Of Genai Through Robust And Accurate Speech Processing Solutions - 1st Edition
Josue R Batista
ISBN: 183508592X, 978-1835085929
$0 $31.99