This book starts from the first steps in planning, building, and programming a robot with Raspberry Pi Pico. After a quick tour of Pico, Danny Staple begins with designing a robot chassis in 3D CAD, providing easy-to-follow instructions, shopping lists, and plans. Later chapters add simple sensors and outputs to extend the robot, reinforce design skills, and techniques for programming with CircuitPython. The book also covers interactions with electronics, standard robotics algorithms, and the discipline and process for building robots.

<ASIN:1803246073 >

Subtitled Read, debug, and optimize JVM applications, in this book Laurentiu Spilca demonstrates techniques for code profiling, advanced debugging, and log evaluation to find and fix bugs and performance problems. Spilca teaches code investigation techniques that will help you efficiently understand how Java apps work, how to optimize them, and how to fix the bugs that break them.

<ASIN:1617299774>

This book presents the theory of digital image processing, and implementations of algorithms using a dedicated library. David Tschumperle, Christophe Tilmant and Vincent Barra present the mathematical theories underlying digital image processing, as well as their practical implementation through examples of algorithms implemented in the C++ language, using the free and easy-to-use CImg library.

<ASIN:1032347538>

This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. K. Rustan M. Leino show students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs.

<ASIN:026254623X>

This book shows how to use GitLab CI/CD pipelines for automating and deploying different steps of your software development lifecycle using best practices and troubleshooting methods. Christopher Cowell, Nicholas Lotz and Chris Timberlake begin with the basics of Git and GitLab, showing how to commit and review code, and move on to how to set up GitLab Runners for executing and autoscaling CI/CD pipelines and creating and configuring pipelines for many software development lifecycle steps.

<ASIN:1803233001>

This book shows how to master Transact-SQL’s fundamentals, and write correct, robust code for querying and modifying data with modern Microsoft data technologies, including SQL Server 2022, Azure SQL Database, and Azure SQL Managed Instance. Long-time Microsoft Data Platform MVP Itzik Ben-Gan explains key T-SQL concepts, helping you apply your knowledge with hands-on exercises.

<ASIN:0138102104>

With the subtitle "From A/B testing to Bayesian optimization", this book consists of a toolbox of techniques for evaluating new features and fine-tuning parameters. David Sweet starts with a deep dive into methods like A/B testing, and then graduates to advanced techniques used to measure performance in industries such as finance and social media. He shows how to evaluate the changes you make to your system and ensure that your testing doesn’t undermine revenue or other business metrics.

<ASIN:‎1617298158>

This book shows how to use it to achieve cross-platform high performance with the latest web techniques, extensive integration with modern web standards, and integrated development environments (IDEs). The book is especially useful for those new to Angular, and Aristeidis Bampakos shows how to get to grips with the bare bones of the framework to start developing Angular apps.

<ASIN:‎ 1803240601>

This book shows how to deploy containerized applications on Linux, Windows, and MacOS systems using Podman. Daniel Walsh, who leads the Red Hat Podman team, shows how to securely manage the entire application lifecycle without human intervention,  covers Podman’s difference to Docker, and shows how to migrate Docker-based infrastructure. He also demonstrates how to convert containerized applications into Kubernetes-based microservices.

<ASIN:1633439682>

This book introduces deep learning from the bottom up, inviting students to learn by doing. With the characteristic humor and Socratic approach of other books in the series such as The Little Schemer and The Little Typer, in this kindred text Daniel P. Friedman and Anurag Mendhekar explain the workings of deep neural networks by constructing them incrementally from first principles using little programs that build on one another.

<ASIN:026254637X>

This book is the official guide to Rust 2021, and this second edition has been fully updated to Rust’s latest version. Steve Klabnik and Carol Nichols, alumni of the Rust Core Team, share their knowledge to help you get the most out of Rust’s features so that you can create robust and scalable programs. In addition to numerous code examples, you’ll find three chapters dedicated to building complete projects: a number-guessing game, a Rust implementation of a command line tool, and a multithreaded server.

<ASIN:1718503105>

This practical guide to Neo4j and the GDS library offers step-by-step explanations of essential concepts and practical instructions for implementing data science techniques on graph data using Neo4j version 5 and its associated libraries. Estelle Scifo starts by showing how to query Neo4j with Cypher and how to characterize graph datasets before moving on to the new and advanced capabilities of the GDS library that enable you to make predictions and write data science pipelines.

<ASIN:180461274X>