Sign-In
Cart
Idris para principiantes: Cómo explorar los tipos dependientes y la programación funcional
Paperback
Series: Colección de Lenguajes de Próxima Generación, Book 42
Publisher: Independently Published
Published: Nov 6 2025
Pages: 290
Weight: 0.86
Height: 0.61 Width: 6.00 Depth: 9.00
Language: Spanish
Cuando tu código prueba que está bien.
Aprende Idris desde cero y descubre cómo los tipos dependientes transforman la programación funcional en precisión matemática.
Imagina un lenguaje donde el compilador no solo detecta errores... los demuestra imposibles.
Esa es la promesa de Idris, un lenguaje funcional moderno que combina tipos dependientes, pureza y expresividad para crear software más seguro, lógico y confiable.
Empiezas escribiendo simples funciones.
Luego, descubres cómo los tipos pueden describir comportamientos, verificar condiciones y probar propiedades del código dentro del mismo lenguaje.
Cada ejemplo amplÃa tu comprensión: el tipo no solo protege tu código... lo define.
Terminas el libro pensando diferente - como un ingeniero que ya no solo programa, sino razona formalmente sobre su software.
⚙️ Aprende Idris desde cero, con ejemplos claros y progresivos.
Also from
Farmer, Miguel
Ruby for Beginners, From Fundamentals to Building Full-Stack Applications: The Ultimate Guide to Learning Ruby and Creating Interactive, High-Quality
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
Programming Autonomous Robots with ROS2 and Python: A Practical Guide to Building Smart Robot Behaviors for Navigation, Sensing, and Interaction
Sanders, Rafael
Farmer, Miguel
Carter, Thompson
Paperback
Full-Stack JavaScript with TypeScript: Create Robust Apps Using Node, React, Express, and Strong Types
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
Flutter for Mobile Apps: Create Stunning Apps for Android and iOS: A Complete Guide to Building Cross-Platform Apps with Flutter
Farmer, Miguel
Sanders, Rafael
Paperback
Java Programming for Beginners: Learn Java from the Ground Up: A Step-by-Step Guide to Writing Java Applications and Programs
Sanders, Rafael
Farmer, Miguel
Paperback
Autonomous Robotics with ROS2 and Python: From Basics to Advanced Behavior Control for Intelligent Systems
Farmer, Miguel
Carter, Thompson
Sanders, Rafael
Paperback
Python Programming Essentials: Build Real-World Applications from Scratch: A Step-by-Step Guide to Mastering Python for Developers
Sanders, Rafael
Farmer, Miguel
Paperback
JavaScript Unleashed Build Interactive Web Apps with Ease: A Complete Guide to Mastering JavaScript and Web Development
Farmer, Miguel
Sanders, Rafael
Paperback
ROS2 and Python in Action: Building Intelligent Robots for Navigation, Sensing, and Real-World Problem Solving
Sanders, Rafael
Farmer, Miguel
Carter, Thompson
Paperback
React Native from Scratch: Build Cross-Platform Mobile Apps with JavaScript and Native Performance
Carter, Thompson
Sanders, Rafael
Paperback
Python Web Scraping: Collect and Analyze Data with BeautifulSoup: A Comprehensive Guide to Web Scraping Using Python
Sanders, Rafael
Farmer, Miguel
Paperback
Machine Learning with PyTorch: Learn to Build Neural Networks and AI Models with PyTorch
Farmer, Miguel
Paperback
Automate Everything with Python: Practical Scripts to Simplify Your Life, Work Smarter, and Save Hours Daily
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
Django and JavaScript: Building Scalable Full-Stack Applications with Python, React, and Vue.js
Sanders, Rafael
Farmer, Miguel
Carter, Thompson
Paperback
Full-Stack Development with Python & React: Build Dynamic Web Apps with Django, FastAPI, and Modern Front-End Frameworks
Sanders, Rafael
Carter, Thompson
Paperback
AWS Cloud for Beginners: An Introduction to Amazon Web Services Fundamentals
Farmer, Miguel
Paperback
Mobile Dev with Flutter: Mastering Cross-Platform Apps for iOS, Android, and Desktop
Farmer, Miguel
Paperback
Algorithm Optimization Solve Programming Challenges with Efficiency: A Step-by-Step Guide to Optimizing Algorithms for Performance
Farmer, Miguel
Sanders, Rafael
Paperback
The Rustacean's Path: From Zero to Systems Programming Hero in One Book
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
Rust for the Brave: Build Ultra-Fast, Memory-Safe Applications with Confidence
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
Clean Code Mastery: Writing Maintainable and Scalable Software: A Step-by-Step Guide to Writing Clean, Readable Code
Sanders, Rafael
Farmer, Miguel
Paperback
Docker & Kubernetes for Beginners: Containerize and Scale Your Applications Step-by-Step
Farmer, Miguel
Paperback
Python for Problem Solvers: Crack Coding Interviews, Build Smart Solutions, and Think Like a Pro Coder
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
Mastering Go, The Complete Guide to Building Scalable Applications: Unlock the Power of Go Language for HighPerformance Software Development
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
Git and GitHub for Beginners: A Step-by-Step Guide to Version Control and Collaboration
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
Machine Learning with Python: Build Your First AI Model: A Step-by-Step Guide to Using Python for Machine Learning Projects
Farmer, Miguel
Sanders, Rafael
Paperback
E-Commerce Development with PHP Build Online Stores from Scratch: A Comprehensive Guide to Building Secure and Scalable E-Commerce Sites
Sanders, Rafael
Farmer, Miguel
Paperback
JavaScript for Beginners Who Hate Boring Handbooks: Learn by Doing Build Interactive Sites and Projects with Confidence
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
Python Projects for Beginners: Create Games, Tools, and Apps While Learning Code the Fun Way
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
Go in Action, A Hands-On Approach to Programming with Go: Learn Practical Go Programming Techniques for Developing Cutting-Edge Applications
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
The Go Programming Bible, A Developer's Guide to Building Robust Systems: Advanced Go Concepts and Best Practices for Scalable Software
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
Mastering C++ the Easy Way: Step-by-Step Projects and Concepts for Absolute Beginners
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
The C# Playbook: Essential Skills and Projects for .NET and Unity Developers
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
TypeScript Unleashed: Strong Typing, Scalable Code, and Smarter JS Projects-Made Simple
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
The Modern JavaScript Handbook: ES6+, DOM, Async, and TypeScript Explained Without Jargon
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
Ruby Essentials, A Comprehensive Guide to Becoming a Ruby Master: Learn the Core Concepts of Ruby and Build Elegant, High-Quality Code
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
The Python Developer's Toolkit: Everything You Need to Go from Beginner to Pro in Web, Data, and Automation
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
Spring into Java Development: Build Modern Backends with Spring Boot, REST APIs, and Microservices
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
Go Programming for Beginners, Learn Go and Build Real-World Applications: A Beginner's Guide to Mastering Go Language and Crafting Efficient Software
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
JavaScript Web Development: Master the Language for Interactive Websites: A Complete Guide to Building Dynamic Websites with JavaScript
Farmer, Miguel
Sander, Rafael
Paperback
Building Go Apps, Essential Tips and Tricks for Developing with Go Language: Learn the Best Practices for Efficient, Scalable Software with Go
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
C# for Object-Oriented Programming Unlock the Power of OOP: A Comprehensive Guide to Mastering C# and Object-Oriented Design
Farmer, Miguel
Sander, Rafael
Paperback
Git Mastery Version Control for Developers: A Step-by-Step Guide to Mastering Git for Collaborative Coding
Farmer, Miguel
Sanders, Rafael
Paperback
Node.js for Modern Web Development: Create Scalable Applications: A Comprehensive Guide to Building Server-Side Apps with Node.js
Sanders, Rafael
Farmer, Miguel
Paperback
React for Beginners: Build Powerful User Interfaces with Ease: A Step-by-Step Guide to Mastering React for Front-End Development
Sanders, Rafael
Farmer, Miguel
Paperback
SQL Mastery: Unlock the Power of Databases and Queries: A Comprehensive Guide to Mastering SQL for Developers
Farmer, Miguel
Sanders, Rafael
Paperback
Python for Web Development: Build Dynamic Websites with Django: A Step-by-Step Guide to Mastering Python for Web Development
Farmer, Miguel
Sanders, Rafael
Farmer, Miguel
Paperback
Advanced Data Structures: Boost Your Programming with Complex Algorithms: A Step-by-Step Guide to Advanced Concepts in Data Structures
Sanders, Rafael
Farmer, Miguel
Paperback
React Native for Mobile Development: Build Cross-Platform Apps: A Complete Guide to Developing Mobile Apps with React Native
Farmer, Miguel
Sanders, Rafael
Paperback
Mastering Algorithms: Solve Complex Problems with Ease: A Step-by-Step Guide to Algorithmic Thinking and Optimization
Sanders, Rafael
Farmer, Miguel
Paperback
Game Development with Unity: Create Your First 2D Game from Scratch: A Complete Guide to Game Design and Development with Unity
Farmer, Miguel
Sanders, Rafael
Paperback
Intro to SQL: Everything You Need to Know to Build Databases: A Step-by-Step Guide to Mastering SQL Queries and Database Design
Farmer, Miguel
Sanders, Rafael
Paperback
Zero to Python Hero: A Complete Roadmap to Learn Python Fast and Land Your First Tech Job
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
Expert ROS2 and Python for Autonomous Robotics: Advanced Techniques for Intelligent Systems, Machine Learning, and Multi-Robot Coordination
Sanders, Rafael
Farmer, Miguel
Carter, Thompson
Paperback
Learning Kotlin: Build Android Apps from Scratch: A Complete Guide to Mastering Kotlin for Android Development
Farmer, Miguel
Sanders, Rafael
Paperback
Cross-Platform Programming with JavaScript & TypeScript: Create High-Performance Apps Using React Native, Electron, and Node.js
Sanders, Rafael
Carter, Thompson
Paperback
Python-Powered Web Apps: A Practical Guide to Building Front-End Interfaces with HTML, CSS, and JavaScript
Carter, Thompson
Sanders, Rafael
Paperback
Python RESTful APIs: Build and Consume APIs with Ease: A Step-by-Step Guide to Creating Robust Web Services with Python
Farmer, Miguel
Sanders, Rafael
Paperback
Java Made Simple: Master OOP, Build Cross-Platform Apps, and Ace Interviews
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
The Advanced Guide to ROS2 and Python Robotics: Cutting-Edge Strategies for Developing Smart Robots with Real-World Interactions
Sanders, Rafael
Farmer, Miguel
Carter, Thompson
Paperback
The ROS2 and Python Robotics Playbook: Designing and Controlling Autonomous Robots for Navigation and Real-World Interaction
Sanders, Rafael
Farmer, Miguel
Carter, Thompson
Paperback
Mastering Data Structures and Algorithms with C++: A Step-by-Step Guide to Advanced Programming Concepts and Techniques
Sanders, Rafael
Farmer, Miguel
Paperback
Innovative Robotics with ROS2 and Python: Advanced Concepts for Building Intelligent, Interactive, and Multi-Robot Systems
Sanders, Rafael
Farmer, Miguel
Carter, Thompson
Paperback
Developing Web Applications with Flask: Learn to Build Dynamic Web Apps with Python's Flask Framework
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
Professionelle Elixir-Programmierung: Wie man skalierbare Architekturen auf der Erlang-VM entwickelt
Farmer, Miguel
Paperback
Go for Microservices: Building Resilient, Distributed Systems in the Cloud-Native Era
Farmer, Miguel
Paperback
Zig für Anfänger: Wie man mit einer modernen C-Alternative sicherere und schnellere Software entwickelt
Farmer, Miguel
Paperback
Zig-Leitfaden für Fortgeschrittene: Wie Sie Speicher, Sicherheit und Leistung souverän verwalten
Farmer, Miguel
Paperback
Creating Data Dashboards with Python: Build Interactive and Insightful Dashboards Using Python
Farmer, Miguel
Paperback
Data Engineering with Python: Build ETL Pipelines and Data Workflows from Scratch
Farmer, Miguel
Paperback
Guía intermedia de F#: Cómo aplicar conceptos funcionales y orientados a objetos con F#
Farmer, Miguel
Paperback
TypeScript for Architects: Designing Type-Safe Enterprise Applications at Scale
Farmer, Miguel
Paperback
Azure for Developers: Deploying and Managing Applications in Microsoft's Cloud
Farmer, Miguel
Paperback
Flutter & Dart for CrossPlatform Development: Build Stunning Apps for Mobile, Web, and Desktop
Carter, Thompson
Sanders, Rafael
Paperback
Microservices Made Simple: Design Scalable Systems with a Step-by-Step Approach
Farmer, Miguel
Paperback
Guía intermedia de Elixir: Cómo aplicar Elixir en sistemas web y distribuidos del mundo real
Farmer, Miguel
Paperback
Programación profesional de Elixir: Cómo diseñar arquitecturas escalables en la máquina virtual Erlang
Farmer, Miguel
Paperback
Elixir Leitfaden für Fortgeschrittene: Wie man Elixir in realen Web- und verteilten Systemen anwendet
Farmer, Miguel
Paperback
Next.js 15 Deep Dive: Mastering Server Components, App Router, and Scalable SEO
Farmer, Miguel
Paperback
Real-Time Applications with Node.js: Build Scalable Real-Time Systems: A Step-by-Step Guide to Building Real-Time Apps with Node.js
Sanders, Rafael
Farmer, Miguel
Paperback
Mastering Data Structures: Enhance Your Programming Skills: A Step-by-Step Guide to Understanding and Implementing Algorithms
Sanders, Rafael
Farmer, Miguel
Paperback
Python Automation for Everyday Tasks: Automate Your Routine Tasks with Python Scripts and Boost Your Productivity
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
The ROS2 and Python Advanced Robotics Blueprint: Cutting-Edge Tools for Autonomous Navigation and Intelligent Systems
Sanders, Rafael
Farmer, Miguel
Carter, Thompson
Paperback
Programación profesional en F#: Cómo aprender el lenguaje funcional de Microsoft para el desarrollo .NET
Farmer, Miguel
Paperback
F# para principiantes: Cómo aprender el lenguaje funcional de Microsoft para el desarrollo .NET
Farmer, Miguel
Paperback
Guía intermedia de Idris: Cómo crear aplicaciones con seguridad de tipos y verificadas con Idris
Farmer, Miguel
Paperback
Programación profesional de Idris: Cómo diseñar sistemas confiables con tipos dependientes a gran escala
Farmer, Miguel
Paperback
Programación profesional de Zig: Cómo desarrollar sistemas complejos, de alto rendimiento y seguros
Farmer, Miguel
Paperback
Zig para principiantes: Cómo crear software más seguro y rápido con una alternativa moderna a C
Farmer, Miguel
Paperback
Professionelle Zig Programmierung: Wie man komplexe, leistungsstarke und sichere Systeme entwickelt
Farmer, Miguel
Paperback
Idris-Leitfaden für Fortgeschrittene: Wie man mit Idris typsichere und verifizierte Anwendungen erstellt
Farmer, Miguel
Paperback
Professionelle IdrisProgrammierung: Wie man zuverlässige Systeme mit abhängigen Typen in großem Umfang entwickelt
Farmer, Miguel
Paperback
F# Leitfaden für Fortgeschrittene: Wie man funktionale und objektorientierte Konzepte mit F# anwendet
Farmer, Miguel
Paperback
Professionelle F#-Programmierung: Wie man Microsofts funktionale Programmiersprache für die .NET-Entwicklung erlernt
Farmer, Miguel
Paperback
Elixier für Anfänger: Wie man skalierbare, zuverlässige und parallele Anwendungen mit Leichtigkeit erstellt
Farmer, Miguel
Paperback
Kubernetes for the Rest of Us: A Simplified Guide to Container Orchestration
Farmer, Miguel
Paperback
API Design Patterns: Building Robust, Scalable, and Developer-Friendly Web Services
Farmer, Miguel
Paperback
Python in Action: Master Programming Fundamentals and Build Real-World Projects with Ease
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
Introduction to Artificial Intelligence: Build Your First AI Model with Python: A Step-by-Step Guide to Getting Started with AI and Machine Learning
Sanders, Rafael
Farmer, Miguel
Paperback
Building Web Apps with Angular A Complete Guide for Developers: A Step-by-Step Guide to Mastering Web Development with Angular
Sanders, Rafael
Farmer, Miguel
Paperback
Mastering Cross-Platform App Development: Build Scalable Apps for iOS, Android, and Web with Flutter and React Native
Sanders, Rafael
Carter, Thompson
Paperback
Python for Front-End Developers: Integrating Django, FastAPI, and Flask with Modern JavaScript Frameworks
Sanders, Rafael
Carter, Thompson
Paperback
Mobile App Development with React Native: Create Cross-Platform Mobile Apps for iOS and Android with React Native
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
Building E-Commerce Websites with Shopify: A Complete Guide to Launching Your Online Store Using Shopify
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
Setzen Sie auf Microservices: Aufbau widerstandsfähiger, verteilter Systeme im Cloud-nativen Zeitalter
Farmer, Miguel
Paperback
TypeScript für Architekten: Entwicklung typsicherer Unternehmensanwendungen in großem Umfang
Farmer, Miguel
Paperback
Creating Dynamic Websites with WordPress: A Beginner's Guide to Building Stunning Websites with WordPress
Farmer, Miguel
Paperback
Building Apps with Flutter: Create Stunning CrossPlatform Mobile Apps with Flutter
Farmer, Miguel
Paperback
Deep Learning for Beginners: Unlock the Secrets of Neural Networks and AI with Python
Farmer, Miguel
Paperback
Full Stack JavaScript: Learn to Build Full Stack Applications with React, Node.js, and MongoDB
Farmer, Miguel
Paperback
The Python Developer's Handbook: A Complete Guide to Python Programming Best Practices
Farmer, Miguel
Paperback
Introduction to Python for Automation: Use Python to Automate Tasks and Boost Productivity
Farmer, Miguel
Paperback
Full Stack JavaScript Development: Master Front-End and Back-End Development with JavaScript and Node.js
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
Advanced JavaScript Techniques: Take Your JavaScript Skills to the Next Level with Modern Best Practices
Richards, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
Python for Data Science and Machine Learning: Explore Data Science Tools with Python to Build Predictive Models
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
Building Dynamic Web Applications with React: A Complete Guide to Modern JavaScript Frameworks and Web Development
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
Introduction to Machine Learning with Python: A Hands-On Guide to Implementing Machine Learning Algorithms
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
The Essential Guide to JavaScript: Learn the Fundamentals of JavaScript Programming and Modern Web Development
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
Java for Web Development: Learn Java Programming to Build Modern Web Applications
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
Mastering Angular for Modern Web Development: Build Scalable and High-Performance Web Apps with Angular
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
Data Structures and Algorithms with Python: Learn Key Concepts and Solve Real-World Problems with Python
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
Docker for Developers: Simplify Your Development Workflow with Containers and Orchestration
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
Paperback
Serverlose Anwendungen: Erstellen und Bereitstellen mit AWS Lambda und Azure Functions
Farmer, Miguel
Paperback
Terraform und Infrastruktur als Code: Automatisieren Sie die Einrichtung Ihrer Cloud-Infrastruktur
Farmer, Miguel
Paperback
Azure für Entwickler: Bereitstellen und Verwalten von Anwendungen in der Microsoft Cloud
Farmer, Miguel
Paperback
AWS Cloud für Anfänger: Eine Einführung in die Grundlagen von Amazon Web Services
Farmer, Miguel
Paperback
Data Engineering mit Python: Erstellen Sie ETL-Pipelines und Daten-Workflows von Grund auf
Farmer, Miguel
Paperback
CI/CD mit GitHub Actions: Automatisieren Sie Ihre Build-, Test- und Bereitstellungspipeline
Farmer, Miguel
Paperback
Terraform and Infrastructure as Code: Automate Your Cloud Infrastructure Setup
Farmer, Miguel
Paperback
Serverless Applications: Build and Deploy with AWS Lambda and Azure Functions
Farmer, Miguel
Paperback
DevOps für Entwickler: Praktische kontinuierliche Integration und Bereitstellung
Farmer, Miguel
Paperback
Docker & Kubernetes für Anfänger: Containerisieren und skalieren Sie Ihre Anwendungen Schritt für Schritt
Farmer, Miguel
Paperback
Google Cloud für Anfänger: Erstellen Sie Schritt für Schritt skalierbare Anwendungen auf GCP
Farmer, Miguel
Paperback
Solana Speed: The Complete Developer's Guide to Building High-Performance dApps on Solana
Farmer, Miguel
Paperback
API-Entwurfsmuster: Entwicklung robuster, skalierbarer und entwicklerfreundlicher Webdienste
Farmer, Miguel
Paperback
TypeScript para arquitectos: Diseño de aplicaciones empresariales de tipo seguro a escala
Farmer, Miguel
Paperback
Das Cybersicherheits-Toolkit: Python für ethisches Hacking, Penetrationstests und Bedrohungserkennung
Farmer, Miguel
Paperback
Kubernetes für den Rest von uns: Eine vereinfachte Anleitung zur Container-Orchestrierung
Farmer, Miguel
Paperback
Mint to Market: Building NFT Marketplaces from Smart Contract to Storefront to Revenue
Farmer, Miguel
Paperback
Elixir para principiantes: Cómo crear aplicaciones escalables, confiables y concurrentes con facilidad
Farmer, Miguel
Paperback
Microservices leicht gemacht: Entwerfen Sie skalierbare Systeme mit einem schrittweisen Ansatz
Farmer, Miguel
Paperback
Web Apps That Work: Building Scalable, Maintainable Python Web Applications from Architecture to Deployment
Farmer, Miguel
Paperback
Python at the Controls: Automation, Shell Scripting, and DevOps Engineering for Software Professionals
Farmer, Miguel
Paperback
Mikroservice-Meisterschaft: Entwurf, Entwicklung und Skalierung von Python-Diensten mit FastAPI, Docker und Kafka
Farmer, Miguel
Paperback
Pixel Perfect: Professional GUI Development with Python: Tkinter, PyQt6, and Custom Desktop Applications
Farmer, Miguel
Paperback
Python Unleashed: Advanced Concurrency, Metaprogramming, Memory Management, and High-Performance Code
Farmer, Miguel
Paperback
Pipeline Pro: Building Production ETL, Batch, and Streaming Data Pipelines with Python and Airflow
Farmer, Miguel
Paperback
Test Everything: Production-Quality Testing with Python, pytest, Mocking, and Continuous Integration
Farmer, Miguel
Paperback
Python an Der Steuerung: Automatisierung, Shell-Skripting und DevOpsEngineering für Software-Experten
Farmer, Miguel
Paperback
Microservice Mastery: Designing, Building, and Scaling Python Services with FastAPI, Docker, and Kafka
Farmer, Miguel
Paperback
CI/CD with GitHub Actions: Automate Your Build, Test, and Deployment Pipeline
Farmer, Miguel
Paperback
Also in
Programming
Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions
Bertot, Yves
Castéran, Pierre
Hardcover
The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide: Collector's Edition
Piggyback
Hardcover
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Matthes, Eric
Paperback
Crisis Engineering: Time-Tested Tools for Turning Chaos Into Clarity
Dickerson, Mikey
Nitze, Marina
Weaver, Matthew
Paperback
Accelerate: The Science of Lean Software and DevOps: Building and Scaling High Performing Technology Organizations
Humble, Jez
Kim, Gene
Forsgren Phd, Nicole
Paperback
Vibe Coding: Building Production-Grade Software with Genai, Chat, Agents, and Beyond
Yegge, Steve
Kim, Gene
Paperback
Embedded Systems with ARM Cortex-M Microcontrollers in Assembly Language and C: Fourth Edition
Zhu, Yifeng
Paperback
The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide: Standard Edition
Piggyback
Paperback
Fundamentals of Software Architecture: A Modern Engineering Approach
Ford, Neal
Richards, Mark
Paperback
I Have an App Idea: The Essential Guide to Building an App Without Tech Skills
Spann, Amanda
Paperback
AI Projects with Raspberry Pi: High-Performance Artificial Intelligence for Robotics, Security, Home Automation, and Vision
Hattersley, Lucy
Jepson, Brian
Paperback
Make: Electronics: Learning by Discovery: A Hands-On Primer for the New Electronics Enthusiast
Platt, Charles
Paperback
The Manager's Path: A Guide for Tech Leaders Navigating Growth and Change
Fournier, Camille
Paperback
The Devops Handbook, 2nd Edition: How to Create World-Class Agility, Reliability, & Security in Technology Organizations
Kim, Gene
Humble, Jez
Debois, Patrick
Paperback
Building Applications with AI Agents: Designing and Implementing Multiagent Systems
Albada, Michael
Paperback
The Staff Engineer's Path: A Guide for Individual Contributors Navigating Growth and Change
Reilly, Tanya
Paperback
The Developer's Guide to AI: A Field Guide for the Working Developer
Reghunadh, Jerry M.
Thompson, Danny
Orshalick, Jacob
Paperback
Learning Web Design: A Beginner's Guide to Html, Css, Javascript, and Web Images
Robbins, Jennifer
Paperback
Cracking the Coding Interview: 189 Programming Questions and Solutions
McDowell, Gayle Laakmann
Paperback
The New AI Cold War: Liberty vs. Tyranny in the Age of Machine Empires
Maginnis, Ltc Robert L.
Paperback
Software Architecture: The Hard Parts: Modern Trade-Off Analyses for Distributed Architectures
Ford, Neal
Richards, Mark
Sadalage, Pramod
Paperback
The Return on AI: From Promise to Profit in the Age of Intelligent Business
Sawhney, Mohanbir
Mittal, Ashwin
Paperback
SQL QuickStart Guide: The Simplified Beginner's Guide to Managing, Analyzing, and Manipulating Data With SQL
Shields, Walter
Hardcover
Observability Engineering: Achieving Production Excellence
Majors, Charity
Fong-Jones, Liz
Miranda, George
Paperback
The Pragmatic Programmer: Your Journey to Mastery, 20th Anniversary Edition
Hunt, Andrew
Thomas, David
Hardcover
Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali
Occupytheweb
Paperback
The Official Raspberry Pi Handbook 2026: Astounding Projects with Raspberry Pi Computers
Makers of Raspberry Pi Official Magazine, The
Paperback
Forecasting: Principles and Practice, the Pythonic Way
Hyndman, Rob J.
Athanasopoulos, George
Paperback
Generative AI Design Patterns: Solutions to Common Challenges When Building Genai Agents and Applications
Lakshmanan, Valliappa
Hapke, Hannes
Paperback
Head First Design Patterns: Building Extensible and Maintainable Object-Oriented Software
Robson, Elisabeth
Freeman, Eric
Paperback
Frictionless: 7 Steps to Remove Barriers, Unlock Value, and Outpace Your Competition in the AI Era
Forsgren, Nicole
Noda, Abi
Paperback
Arduino Programming for Beginners: A Comprehensive Beginner's Guide to Learn the Realms of Arduino Programming from A-Z
Protosmith, Ada
Paperback
Concrete Mathematics: A Foundation for Computer Science
Knuth, Donald
Graham, Ronald
Patashnik, Oren
Hardcover
Building AI-Powered Products: The Essential Guide to AI and Genai Product Management
Nika, Marily
Paperback
Grokking Algorithms, Second Edition: An Illustrated Guide for Programmers and Other Curious People
Bhargava, Aditya Y.
Paperback
Debugging: The 9 Indispensable Rules for Finding Even the Most Elusive Software and Hardware Problems
Agans, David J.
Paperback
Learning Domain-Driven Design: Aligning Software Architecture and Business Strategy
Khononov, Vlad
Paperback
Learning Generative AI Tools for Excel: Speed Up Your Everyday Tasks with Microsoft Excel, Copilot, Chatgpt, and Beyond
Duca, Angelica Lo
Paperback
Site Reliability Engineering: How Google Runs Production Systems
Jones, Chris
Beyer, Betsy
Murphy, Niall Richard
Paperback
The Software Architect Elevator: Redefining the Architect's Role in the Digital Enterprise
Hohpe, Gregor
Paperback
Python Programming for Young Coders: A Hands-On, Project-Based Introduction to Coding for Beginners, Kids, and Teens
Pandey, Anand
Paperback
Computer Science from Scratch: Building Interpreters, Art, Emulators and ML in Python
Kopec, David
Paperback
Learning Php, MySQL & JavaScript: A Step-By-Step Guide to Creating Dynamic Websites
Nixon, Robin
Paperback
Building Safer Technology: A Field Guide to Failing Well
Kissner, Lea
Zunger, Yonatan
Coles, Neil
Paperback
Software Engineering at Google: Lessons Learned from Programming Over Time
Wright, Hyrum
Winters, Titus
Manshreck, Tom
Paperback
Prompt Engineering for Llms: The Art and Science of Building Large Language Model-Based Applications
Berryman, John
Ziegler, Albert
Paperback
Articulating Design Decisions: Communicate with Stakeholders, Keep Your Sanity, and Deliver the Best User Experience
Greever, Tom
Paperback
Living a Jewish Life, Revised and Updated: Jewish Traditions, Customs, and Values for Today's Families
Diamant, Anita
Cooper, Howard
Paperback
Pro C# 10 with .Net 6: Foundational Principles and Practices in Programming
Japikse, Phil
Troelsen, Andrew
Paperback
Adobe Photoshop, 2nd Edition: A Complete Course and Compendium of Features
Laskevitch, Stephen
Paperback
Kubernetes in Action, Second Edition: Deploying and Managing Containers and Cloud-Native Applications
Conner, Kevin
Luksa, Marko
Paperback
Spies, Lies, and Algorithms: The History and Future of American Intelligence
Zegart, Amy B.
Paperback
Electronic Music and Sound Design - Theory and Practice with Max 9 - Volume 1 (Fifth Edition)
Maurizio, Giri
Cipriani, Alessandro
Paperback