(Ilmumisaeg: 14-Feb-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031245718)
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 to p...Loe edasi...
(Ilmumisaeg: 14-Feb-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031245718)
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 to p...Loe edasi...
Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 08-Apr-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319317694)
This book constitutes the refereed post proceedings of the16th International Symposium, SCAN 2014, held in Wurzburg, Germany, in September 2014.The 22 full papers presented were carefullyreviewed and selected from 60 submissions. The main concer...Loe edasi...
Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 08-Apr-2016, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319317694)
This book constitutes the refereed post proceedings of the16th International Symposium, SCAN 2014, held in Wurzburg, Germany, in September 2014.The 22 full papers presented were carefullyreviewed and selected from 60 submissions. The main concer...Loe edasi...
(Ilmumisaeg: 05-Jul-2011, PDF+DRM, Kirjastus: Princeton University Press, ISBN-13: 9781400838974)
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 computing and pure mathe...Loe edasi...
(Ilmumisaeg: 05-Jul-2011, EPUB+DRM, Kirjastus: Princeton University Press, ISBN-13: 9781400838974)
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 computing and pure mathe...Loe edasi...
