Numerical Software Verification

9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Numerical Software Verification

More books from Springer International Publishing

bigCover of the book The Road to Universal Logic by
bigCover of the book Noncolorectal, Nonneuroendocrine Liver Metastases by
bigCover of the book Process Simulation and Optimization in Sustainable Logistics and Manufacturing by
bigCover of the book Mechanisms of Molecular Carcinogenesis – Volume 2 by
bigCover of the book Sustainable Pest Management in Date Palm: Current Status and Emerging Challenges by
bigCover of the book Biomedical Applications Based on Natural and Artificial Computing by
bigCover of the book Land Rights and Expropriation in Ethiopia by
bigCover of the book Directed Energy Weapons by
bigCover of the book Epistemology, Ethics, and Meaning in Unusually Personal Scholarship by
bigCover of the book Integer Programming and Combinatorial Optimization by
bigCover of the book Protection of Information and the Right to Privacy - A New Equilibrium? by
bigCover of the book Molecular Mechanisms of Microbial Evolution by
bigCover of the book A Practical Guide to Biomedical Research by
bigCover of the book The Origins and Nature of Scandinavian Central Banking by
bigCover of the book Thermal Transport in Oblique Finned Micro/Minichannels 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