Title: AI-Assisted Programming: Better Planning, Coding, Testing, and Deployment, Author: Tom Taulli
Title: Effective Rust: 35 Specific Ways to Improve Your Rust Code, Author: David Drysdale
Title: Learn Rust in a Month of Lunches, Author: David MacLeod
Title: Async Rust: Unleashing the Power of Fearless Concurrency, Author: Maxwell Flitton
Title: Mastering Go: Create Golang production applications using network libraries, concurrency, machine learning, and advanced data structures, Author: Mihalis Tsoukalos
Title: Principles of Abstract Interpretation, Author: Patrick Cousot
Title: Machine Learning in Elixir, Author: Sean Moriarity
Title: Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings, Author: Ekaterina Komendantskaya
Title: Practical Aspects of Declarative Languages: 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings, Author: José F. Morales
Title: Julia Quick Syntax Reference: A Pocket Guide for Data Science Programming, Author: Antonello Lobianco
Title: Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings, Author: Bruno C. d. S. Oliveira
Title: Scala: From a Functional Programming Perspective: An Introduction to the Programming Language, Author: Vicenç Torra
Title: Understanding Control Flow: Concurrent Programming Using ?C++, Author: Peter A. Buhr
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: Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings, Author: Maurice H. ter Beek
Title: Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, Author: Anthony Widjaja Lin
Title: Mastering Spring AI: The Java Developer's Guide for Large Language Models and Generative AI, Author: Banu Parasuraman
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: Quick Start Guide to Dart Programming: Create High-Performance Applications for the Web and Mobile, Author: Sanjib Sinha
Title: Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, Author: Alberto Lluch Lafuente

Pagination Links