eBook Details: Paperback: 151 pages Publisher: WOW! eBook (March 1, 2022) Language: English ISBN-10: 1484279778 ISBN-13: 978-1484279779 eBook Description: Introducing Software Verification with Dafny Language: Proving Program Correctness Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are...
eBook Details: Paperback: 653 pages Publisher: WOW! eBook (April 13, 2022) Language: English ISBN-10: 1484279174 ISBN-13: 978-1484279175 eBook Description: Modern Parallel Programming with C++ and Assembly Language: X86 SIMD Development Using AVX, AVX2, and AVX-512 Learn the fundamentals of x86 Single instruction multiple data (SIMD) programming using C++ intrinsic functions and...
eBook Details: Paperback: 728 pages Publisher: WOW! eBook (March 26, 2022) Language: English ISBN-10: 1484272226 ISBN-13: 978-1484272220 eBook Description: Python for MATLAB Development: Extend MATLAB with 300.000+ Modules from the Python Package Index: MATLAB can run Python code! Python for MATLAB Development shows you how to enhance MATLAB with Python solutions...
eBook Details: Paperback: 297 pages Publisher: WOW! eBook (March 27, 2022) Language: English ISBN-10: 1484280164 ISBN-13: 978-1484280164 eBook Description: Adaptive Machine Learning Algorithms with Python: Solve Data Analytics and Machine Learning Problems on Edge Devices Learn to use adaptive algorithms to solve real-world streaming data problems. This Adaptive Machine Learning Algorithms...
eBook Details: Paperback: 355 pages Publisher: WOW! eBook (March 6, 2022) Language: English ISBN-10: 1484279204 ISBN-13: 978-1484279205 eBook Description: Hands-on Machine Learning with Python: Implement Neural Network Solutions with Scikit-learn and PyTorch Here is the perfect comprehensive guide for readers with basic to intermediate level knowledge of machine learning and deep...
