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
Web Development with Blazor: An in-depth practical guide for .NET developers to build interactive UIs with C#, 2nd Edition
- Length: 360 pages
- Publication Date: 2023-03-16
The Essentials of Computer Organization and Architecture, 6th Edition
- Length: 750 pages
- Publication Date: 2023-05-08
Animating SwiftUI Applications: Create visually stunning and engaging animations for iOS with SwiftUI
- Length: 478 pages
- Publication Date: 2023-03-13
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
Building Modern CLI Applications in Go: Develop next-level CLIs to improve user experience, increase platform usage, and maximize production
- Length: 406 pages
- Publication Date: 2023-03-10
Software Requirements Essentials: Core Practices for Successful Business Analysis
- Length: 208 pages
- Publication Date: 2023-04-24