Scientific Computing, Computer Arithmetic, and Validated Numerics

16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Computer Science, General Computing
Cover of the book Scientific Computing, Computer Arithmetic, and Validated Numerics by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319317694
Publisher: Springer International Publishing Publication: April 8, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319317694
Publisher: Springer International Publishing
Publication: April 8, 2016
Imprint: Springer
Language: English

This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014.

The 22 full papers presented were carefully reviewed and selected from 60 submissions. The main concerns of research addressed by SCAN conferences are validation, verification or reliable assertions of numerical computations. Interval arithmetic and other treatments of uncertainty are developed as appropriate tools.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014.

The 22 full papers presented were carefully reviewed and selected from 60 submissions. The main concerns of research addressed by SCAN conferences are validation, verification or reliable assertions of numerical computations. Interval arithmetic and other treatments of uncertainty are developed as appropriate tools.

More books from Springer International Publishing

Cover of the book Essential Techniques in Elbow Surgery by
Cover of the book Poverty and Exclusion of Minorities in China and India by
Cover of the book Case-Based Reasoning Research and Development by
Cover of the book Model-Based Processing for Underwater Acoustic Arrays by
Cover of the book Modeling and Optimization for Mobile Social Networks by
Cover of the book Mathematics as a Tool by
Cover of the book Verifiable Composition of Signature and Encryption by
Cover of the book Cellular Communications Systems in Congested Environments by
Cover of the book Practising Corporate Social Responsibility in Malaysia by
Cover of the book Collaborative Networks of Cognitive Systems by
Cover of the book Eco-Responsible Cities and the Global Ocean by
Cover of the book Practical Panarchy for Adaptive Water Governance by
Cover of the book Quantum Spin Systems on Infinite Lattices by
Cover of the book Research Methodology in Marketing by
Cover of the book Plant, Soil and Microbes by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy