Title: Async Rust: Unleashing the Power of Fearless Concurrency, Author: Maxwell Flitton
Title: Learn Rust in a Month of Lunches, Author: David MacLeod
Title: Effective Rust: 35 Specific Ways to Improve Your Rust Code, Author: David Drysdale
Title: AI-Assisted Programming: Better Planning, Coding, Testing, and Deployment, Author: Tom Taulli
Title: Mastering Go: Create Golang production applications using network libraries, concurrency, machine learning, and advanced data structures, Author: Mihalis Tsoukalos
Title: Machine Learning in Elixir, Author: Sean Moriarity
Title: Principles of Abstract Interpretation, Author: Patrick Cousot
Title: Full Stack iOS Development with Swift and Vapor, Author: Hem Dutt
Title: Accelerator Programming Using Directives: 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers, Author: Sandra Wienke
Title: Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,, Author: Laure Petrucci
Title: Beginning Ada Programming: From Novice to Professional, Author: Andrew T. Shvets
Title: Introducing Markdown and Pandoc: Using Markup Language and Document Converter, Author: Thomas Mailund
Title: Zephyr RTOS Embedded C Programming: Using Embedded RTOS POSIX API, Author: Andrew Eliasz
Title: Accelerator Programming Using Directives: 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings, Author: Sridutt Bhalachandra
Title: Euro-Par 2017: Parallel Processing: 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings, Author: Francisco F. Rivera
Title: Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings, Author: Yuliya Lierler
Title: Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, Author: Bor-Yuh Evan Chang
Title: Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings, Author: Maurice H. ter Beek
Title: Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings, Author: Falk Howar
Title: Reliable Software Technologies - Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings, Author: Marko Bertogna

Pagination Links