Title: Information Flow: The Logic of Distributed Systems, Author: Jon Barwise
Title: Introduction to Python for Science and Engineering, Author: David J. Pine
Title: Program Proofs, Author: K. Rustan M. Leino
Title: AI-Assisted Programming: Better Planning, Coding, Testing, and Deployment, Author: Tom Taulli
Title: ESOP '90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, Author: Neil Jones
Title: Rust for the IoT: Building Internet of Things Apps with Rust and Raspberry Pi, Author: Joseph Faisal Nusairat
Title: Programming Language Concepts, Author: Peter Sestoft
Title: Modern X86 Assembly Language Programming: Covers X86 64-bit, AVX, AVX2, and AVX-512, Author: Daniel Kusswurm
Title: The Agent Modeling Language - AML: A Comprehensive Approach to Modeling Multi-Agent Systems, Author: Radovan Cervenka
Title: Practical Rust Projects: Build Serverless, AI, Machine Learning, Embedded, Game, and Web Applications, Author: Shing Lyu
Title: Generic Data Structures and Algorithms in Go: An Applied Approach Using Concurrency, Genericity and Heuristics, Author: Richard Wiener
Title: C++20 Recipes: A Problem-Solution Approach, Author: J. Burton Browning
Title: Advanced R 4 Data Programming and the Cloud: Using PostgreSQL, AWS, and Shiny, Author: Matt Wiley
Title: Practical MATLAB: With Modeling, Simulation, and Processing Projects, Author: Irfan Turk
Title: 100 Go Mistakes and How to Avoid Them, Author: Teiva Harsanyi
Title: Learn Rust in a Month of Lunches, Author: David MacLeod
Title: String Algorithms in C: Efficient Text Representation and Search, Author: Thomas Mailund
Title: Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings, Author: Martin Gebser
Title: Practical MATLAB Modeling with Simulink: Programming and Simulating Ordinary and Partial Differential Equations, Author: Sulaymon L. Eshkabilov
Title: Model-Based Systems Engineering with OPM and SysML, Author: Dov Dori

Pagination Links