Title: Numeric Computation and Statistical Data Analysis on the Java Platform, Author: Sergei V. Chekanov
Title: Programming Rust, Author: Jim Blandy
Title: Testing and Tuning Market Trading Systems: Algorithms in C++, Author: Timothy Masters
Title: Languages and Compilers for Parallel Computing: 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022, Revised Selected Papers, Author: Charith Mendis
Title: Raku Fundamentals: A Primer with Examples, Projects, and Case Studies, Author: Moritz Lenz
Title: Model Checking Quantum Systems: Principles and Algorithms, Author: Mingsheng Ying
Title: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, Author: Bernd Finkbeiner

Pagination Links