(Ilmumisaeg: 03-Apr-2025, Hardback, Kirjastus: Cambridge University Press, ISBN-13: 9781316516133)
This updated edition provides a framework for assessing the reliability and uncertainty of modeling and simulation results used in industry and government. With extra worked examples and homework problems for graduate students, and new material on to...Loe edasi...
This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes t...Loe edasi...
A comprehensive, self-contained primer on validated numericsThis textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of scientific comput...Loe edasi...
(Ilmumisaeg: 15-Feb-2023, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031245701)
This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes t...Loe edasi...
This book constitutes the refereed post proceedings of the16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014. The 22 full papers presented were carefullyreviewed and selected from 60 submissions....Loe edasi...
(Ilmumisaeg: 25-Jul-2011, Hardback, Kirjastus: Princeton University Press, ISBN-13: 9780691147819)
This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of scientific computing and pure mathematics. In numerous fields ranging from pharmaceutics an...Loe edasi...
(Ilmumisaeg: 14-Oct-2010, Hardback, Kirjastus: Cambridge University Press, ISBN-13: 9780521113601)
Advances in scientific computing have made modelling and simulation an important part of the decision-making process in engineering, science, and public policy. This book provides a comprehensive and systematic development of the basic concepts, pri...Loe edasi...
