Numerical Software Verification

10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

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

More books from Springer International Publishing

bigCover of the book Justice for Victims of Crime by
bigCover of the book Dynamic Paleontology by
bigCover of the book Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data by
bigCover of the book Introduction to Biosensors by
bigCover of the book Advances in Analysis and Design of Deep Foundations by
bigCover of the book Dimensions of Practical Necessity by
bigCover of the book Match-Fixing in International Sports by
bigCover of the book Accountability, Transparency and Democracy in the Functioning of Bretton Woods Institutions by
bigCover of the book Machine Learning in Medicine - Cookbook Two by
bigCover of the book Holistic Analysis and Management of Distributed Social Systems by
bigCover of the book Kierkegaard After the Genome by
bigCover of the book Conflict and Multimodal Communication by
bigCover of the book Raw Materials Substitution Sustainability by
bigCover of the book Quality of Life Among Cancer Survivors by
bigCover of the book Strategic Innovation in Russia 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