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>

This book is a friendly walkthrough to help readers build a first web application using Ruby and the Rails framework. Jonathan Evans uses the example of helping cats run a farm.

<ASIN:1034777041>

This book is aimed at intermediate Swift developers who are familiar with writing asynchronous applications and who want to make use of the concurrency features Apple introduced in Swift 5.5. The Kodeco Team and Marin Todorov look at async/await, tasks and actors.

<ASIN:1950325814>

The data mesh is a new way to decentralize data management, and in this book Jacek Majchrzak, Dr. Sven Balnojan and Dr. Marian Siwiak show how to start implementing a data mesh with flexible processes and organizational change, including both an extended case study and multiple real-world examples.

<ASIN:1633439976>