Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
- Length: 175 pages
- Publication Date: 2023-04-03
The Essentials of Computer Organization and Architecture, 6th Edition
- Length: 750 pages
- Publication Date: 2023-05-08
Kubernetes Patterns: Reusable Elements for Designing Cloud Native Applications, 2nd Edition
- Length: 390 pages
- Publication Date: 2023-04-25
Practical Rust 1.x Cookbook: 100+ Solutions across Command Line, CI/CD, Kubernetes, Networking, Code Performance and Microservices
- Length: 262 pages
- Publication Date: 2023-02-10
Software Requirements Essentials: Core Practices for Successful Business Analysis
- Length: 208 pages
- Publication Date: 2023-04-24
Functional Programming in Golang: Apply functional techniques in Go to improve the testability, readability, and security of your code
- Length: 274 pages
- Publication Date: 2023-04-11
Getting Started with Angular: Create and Deploy Angular Applications
- Length: 392 pages
- Publication Date: 2023-03-24
Build Your Own Test Framework: A Practical Guide to Writing Better Automated Tests
- Length: 293 pages
- Publication Date: 2023-04-07
Getting Started with Angular: Create and Deploy Angular Applications
- Length: 410 pages
- Publication Date: 2023-04-22
Learning eBPF: Programming the Linux Kernel for Enhanced Observability, Networking, and Security
- Length: 234 pages
- Publication Date: 2023-04-18
Scaling Machine Learning with Spark: Distributed ML with MLlib, TensorFlow, and PyTorch
- Length: 300 pages
- Publication Date: 2023-04-18