Title: AI-Assisted Programming: Better Planning, Coding, Testing, and Deployment, Author: Tom Taulli
Title: Learn Rust in a Month of Lunches, Author: David MacLeod
Title: Async Rust: Unleashing the Power of Fearless Concurrency, Author: Maxwell Flitton
Title: Effective Rust: 35 Specific Ways to Improve Your Rust Code, Author: David Drysdale
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: Understanding Control Flow: Concurrent Programming Using ?C++, Author: Peter A. Buhr
Title: Accelerator Programming Using Directives: 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings, Author: Sunita Chandrasekaran
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: 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
Title: Procedural Programming with PostgreSQL PL/pgSQL: Design Complex Database-Centric Applications with PL/pgSQL, Author: Baji Shaik
Title: Full Stack iOS Development with Swift and Vapor, Author: Hem Dutt
Title: Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, Author: Alberto Lluch Lafuente
Title: Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings, Author: Kim Guldstrand Larsen
Title: Julia Quick Syntax Reference: A Pocket Guide for Data Science Programming, Author: Antonello Lobianco
Title: Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings, Author: Falk Howar
Title: Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, Author: Marten Lohstroh
Title: Languages and Compilers for Parallel Computing: 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers, Author: Lawrence Rauchwerger
Title: Beginning Data Science in R 4: Data Analysis, Visualization, and Modelling for the Data Scientist, Author: Thomas Mailund

Pagination Links