Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
- Length: 175 pages
- Publication Date: 2023-04-03
Creating Software with Modern Diagramming Techniques: Build Better Software with Mermaid
- Length: 158 pages
- Publication Date: 2023-03-14
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
Design Thinking for Tech: Solving Problems and Realizing Value in 24 Hours
- Length: 448 pages
- Publication Date: 2022-12-10
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
Big Data Analytics and Intelligent Systems for Cyber Threat Intelligence
- Length: 280 pages
- Publication Date: 2023-04-28
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