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 Peptides and Peptide-based Biomaterials and their Biomedical Applications by
bigCover of the book Spin Spirals and Charge Textures in Transition-Metal-Oxide Heterostructures by
bigCover of the book Disc Winds Matter by
bigCover of the book The Bloody Code in England and Wales, 1760–1830 by
bigCover of the book Digital Methods and Remote Sensing in Archaeology by
bigCover of the book The Business of Social and Environmental Innovation by
bigCover of the book Engineering Software Systems: Research and Praxis by
bigCover of the book Intelligence Systems in Environmental Management: Theory and Applications by
bigCover of the book Preventing Health and Environmental Risks in Latin America by
bigCover of the book Pediatric Forensic Evidence by
bigCover of the book Adapting to an Uncertain Climate by
bigCover of the book Managing More-than-Moore Integration Technology Development by
bigCover of the book Mental Health Economics by
bigCover of the book The Semantic Web – ISWC 2017 by
bigCover of the book Translating War 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