Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification
- Length: 589 pages
- Publication Date: 2024-10-19
Solidity Programming: From Basics to Expert Proficiency
- Length: 562 pages
- Publication Date: 2024-08-24
AI at the Wheel: The Revolution of Autonomous Driving
- Length: 227 pages
- Publication Date: 2024-08-29
Microsoft 365 Certified: Collaboration Communications Systems Engineer Associate Certification Companion: A Guide to Prepare for Exam MS-721
- Length: 319 pages
- Publication Date: 2024-12-10
Forth Fundamentals: Mastering Stack-Based Programming and Minimalist System Design
- Length: 616 pages
- Publication Date: 2024-10-20
Python-Powered Ethical Hacking: Building Advanced Cybersecurity Tools
- Length: 499 pages
- Publication Date: 2024-09-09
Inside Xamarin: A Xamarin Developer’s Comprehensive Manual | Elevating Cross-Platform App Potential
- Length: 202 pages
- Publication Date: 2023-09-16
Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming
- Length: 594 pages
- Publication Date: 2024-10-21
Elm Programming: Building Reliable Web Applications with Functional Programming
- Length: 607 pages
- Publication Date: 2024-10-20
Unison in Practice: Functional Programming and Distributed Code Storage Redefined
- Length: 619 pages
- Publication Date: 2024-10-21
