Sign-In
Cart
GuÃa intermedia de Idris: Cómo crear aplicaciones con seguridad de tipos y verificadas con Idris
Paperback
Publisher: Independently Published
Published: Nov 6 2025
Pages: 198
Weight: 0.60
Height: 0.42 Width: 6.00 Depth: 9.00
Language: Spanish
Cuando los tipos se convierten en pruebas.
Aprende a crear aplicaciones seguras, confiables y verificadas con Idris - el lenguaje funcional de tipos dependientes.
Ya descubriste el poder de la programación funcional pura.
Ahora es momento de llevarla más allá hacer que tu código demuestre su propia corrección.
Comienzas aplicando tipos más expresivos.
Luego, defines estructuras que garantizan condiciones de negocio, seguridad y comportamiento.
Cada vez que compilas, el compilador no solo ejecuta - razona contigo.
Tus programas no fallan por accidente, porque los errores son imposibles por construcción.
Este libro te muestra cómo transformar el código en un contrato formal entre tú y la lógica, llevando la ingenierÃa de software a un nuevo nivel de rigor.
⚙️ Aprende a aplicar tipos dependientes en proyectos reales con Idris.
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
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
Programming Autonomous Robots with ROS2 and Python: A Practical Guide to Building Smart Robot Behaviors for Navigation, Sensing, and Interaction
Carter, Thompson
Sanders, Rafael
Farmer, Miguel
Paperback
Full-Stack JavaScript with TypeScript: Create Robust Apps Using Node, React, Express, and Strong Types
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
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
Carter, Thompson
Sanders, Rafael
Farmer, Miguel
Paperback
Python Programming Essentials: Build Real-World Applications from Scratch: A Step-by-Step Guide to Mastering Python for Developers
Farmer, Miguel
Sanders, Rafael
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
Carter, Thompson
Sanders, Rafael
Farmer, Miguel
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
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
Paperback
Flutter for Mobile Apps: Create Stunning Apps for Android and iOS: A Complete Guide to Building Cross-Platform Apps with Flutter
Sanders, Rafael
Farmer, Miguel
Paperback
Django and JavaScript: Building Scalable Full-Stack Applications with Python, React, and Vue.js
Carter, Thompson
Sanders, Rafael
Farmer, Miguel
Paperback
Full-Stack Development with Python & React: Build Dynamic Web Apps with Django, FastAPI, and Modern Front-End Frameworks
Carter, Thompson
Sanders, Rafael
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
Sanders, Rafael
Farmer, Miguel
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
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
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
Sanders, Rafael
Farmer, Miguel
Paperback
E-Commerce Development with PHP Build Online Stores from Scratch: A Comprehensive Guide to Building Secure and Scalable E-Commerce Sites
Farmer, Miguel
Sanders, Rafael
Paperback
JavaScript for Beginners Who Hate Boring Handbooks: Learn by Doing Build Interactive Sites and Projects with Confidence
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
Python Projects for Beginners: Create Games, Tools, and Apps While Learning Code the Fun Way
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
Go in Action, A Hands-On Approach to Programming with Go: Learn Practical Go Programming Techniques for Developing Cutting-Edge Applications
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
The Go Programming Bible, A Developer's Guide to Building Robust Systems: Advanced Go Concepts and Best Practices for Scalable Software
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
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
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
The Modern JavaScript Handbook: ES6+, DOM, Async, and TypeScript Explained Without Jargon
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
Ruby Essentials, A Comprehensive Guide to Becoming a Ruby Master: Learn the Core Concepts of Ruby and Build Elegant, High-Quality Code
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
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
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
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
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
C# for Object-Oriented Programming Unlock the Power of OOP: A Comprehensive Guide to Mastering C# and Object-Oriented Design
Sander, Rafael
Farmer, Miguel
Paperback
Git Mastery Version Control for Developers: A Step-by-Step Guide to Mastering Git for Collaborative Coding
Sanders, Rafael
Farmer, Miguel
Paperback
Node.js for Modern Web Development: Create Scalable Applications: A Comprehensive Guide to Building Server-Side Apps with Node.js
Farmer, Miguel
Sanders, Rafael
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
Sanders, Rafael
Farmer, Miguel
Paperback
Python for Web Development: Build Dynamic Websites with Django: A Step-by-Step Guide to Mastering Python for Web Development
Farmer, Miguel
Farmer, Miguel
Sanders, Rafael
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
Sanders, Rafael
Farmer, Miguel
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
Sanders, Rafael
Farmer, Miguel
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
Carter, Thompson
Sanders, Rafael
Farmer, Miguel
Paperback
Learning Kotlin: Build Android Apps from Scratch: A Complete Guide to Mastering Kotlin for Android Development
Sanders, Rafael
Farmer, Miguel
Paperback
Cross-Platform Programming with JavaScript & TypeScript: Create High-Performance Apps Using React Native, Electron, and Node.js
Carter, Thompson
Sanders, Rafael
Paperback
Python-Powered Web Apps: A Practical Guide to Building Front-End Interfaces with HTML, CSS, and JavaScript
Sanders, Rafael
Carter, Thompson
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
Carter, Thompson
Sanders, Rafael
Farmer, Miguel
Paperback
The ROS2 and Python Robotics Playbook: Designing and Controlling Autonomous Robots for Navigation and Real-World Interaction
Carter, Thompson
Sanders, Rafael
Farmer, Miguel
Paperback
Mastering Data Structures and Algorithms with C++: A Step-by-Step Guide to Advanced Programming Concepts and Techniques
Farmer, Miguel
Sanders, Rafael
Paperback
Innovative Robotics with ROS2 and Python: Advanced Concepts for Building Intelligent, Interactive, and Multi-Robot Systems
Carter, Thompson
Sanders, Rafael
Farmer, Miguel
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
Farmer, Miguel
Sanders, Rafael
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
Carter, Thompson
Sanders, Rafael
Farmer, Miguel
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
Idris para principiantes: Cómo explorar los tipos dependientes y la programación funcional
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
Microservice Mastery: Designing, Building, and Scaling Python Services with FastAPI, Docker, and Kafka
Farmer, Miguel
Paperback
Python in Action: Master Programming Fundamentals and Build Real-World Projects with Ease
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
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
Carter, Thompson
Sanders, Rafael
Paperback
Python for Front-End Developers: Integrating Django, FastAPI, and Flask with Modern JavaScript Frameworks
Carter, Thompson
Sanders, Rafael
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
Farmer, Miguel
Richards, Boozman
Sanders, Rafael
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
Sanders, Rafael
Farmer, Miguel
Richard, Boozman
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
Farmer, Miguel
Richard, Boozman
Sanders, Rafael
Paperback
Docker for Developers: Simplify Your Development Workflow with Containers and Orchestration
Richard, Boozman
Sanders, Rafael
Farmer, Miguel
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
CI/CD with GitHub Actions: Automate Your Build, Test, and Deployment Pipeline
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
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
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
Also in
General Computers
All Data Are Local: Thinking Critically in a Data-Driven Society
Loukissas, Yanni Alexander
Paperback
Comptia Network+ Certmike: Prepare. Practice. Pass the Test! Get Certified!: Exam N10-008
Zacker, Craig
Chapple, Mike
Paperback
Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions
Castéran, Pierre
Bertot, Yves
Hardcover
Seven Databases in Seven Weeks: A Guide to Modern Databases and the Nosql Movement
Perkins, Luc
Redmond, Eric
Wilson, Jim
Paperback
R for Data Science: Import, Tidy, Transform, Visualize, and Model Data
Wickham, Hadley
Grolemund, Garrett
Paperback
The Reverse Centaur's Guide to Life After AI: How to Think about Artificial Intelligence--Before It's Too Late
Doctorow, Cory
Paperback
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
Riccomini, Chris
Kleppmann, Martin
Paperback
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All
Soares, Nate
Yudkowsky, Eliezer
Hardcover
AI for Good: How Real People Are Using Artificial Intelligence to Fix Things That Matter
Tyrangiel, Josh
Hardcover
The Year in Tech, 2026: The Insights You Need from Harvard Business Review
Webb, Amy
Review, Harvard Business
Anthony, Scott D.
Paperback
Human Raised: Nurturing Connection, Curiosity & Lifelong Learning in the Age of AI
Suskind, Dana, MD
Hardcover
Hbr's 10 Must Reads on AI (with Bonus Article How to Win with Machine Learning by Ajay Agrawal, Joshua Gans, and AVI Goldfarb)
Davenport, Thomas H.
Iansiti, Marco
Review, Harvard Business
Paperback
A Giant Leap: How AI Is Transforming Healthcare and What That Means for Our Future
Wachter, Robert
Hardcover
The Agi Chronicles: The Inside Story of the Race to Create an Artificial Superintelligence
Roose, Kevin
Hardcover
The AI Con: How to Fight Big Tech's Hype and Create the Future We Want
Hanna, Alex
Bender, Emily M.
Hardcover
Generative Ai: The Insights You Need from Harvard Business Review
Review, Harvard Business
Mollick, Ethan
Cremer, David De
Paperback
CompTIA Network+ Certification All-in-One Exam Guide, Ninth Edition (Exam N10-009)
Weissman, Jonathan S.
Paperback
Fans First: Change The Game, Break the Rules & Create an Unforgettable Experience
Cole, Jesse
Paperback
AI Literacy in Any Class: Preparing Students to Thrive in an AI Future in Any Grade Level or Content Area
Miller, Matt
Paperback
Fundamentals of Data Engineering: Plan and Build Robust Data Systems
Reis, Joe
Housley, Matt
Paperback
Atlas of AI: Power, Politics, and the Planetary Costs of Artificial Intelligence
Crawford, Kate
Paperback
Minecraft: Guide Collection 4-Book Boxed Set (Updated): Survival (Updated), Creative (Updated), Redstone (Updated), Combat
Mojang Ab
The Official Minecraft Team
Hardcover
AI Snake Oil: What Artificial Intelligence Can Do, What It Can't, and How to Tell the Difference
Narayanan, Arvind
Kapoor, Sayash
Paperback
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Matthes, Eric
Paperback
We Are as Gods: A Survival Guide for the Age of Abundance
Diamandis, Peter H.
Kotler, Steven
Hardcover
AI with Intention: Principles and Action Steps for Teachers and School Leaders
Frontier, Tony
Paperback
Hands-On Machine Learning with Scikit-Learn and Pytorch: Concepts, Tools, and Techniques to Build Intelligent Systems
Géron, Aurélien
Paperback
Human + Machine, Updated and Expanded: Reimagining Work in the Age of AI
Daugherty, Paul R.
Wilson, H. James
Hardcover
The Eureka Machine: Why AI Is the Key to Unlocking a New Era of Scientific Discoveries
Socher, Richard
Hardcover
Artificial Intelligence: A Guide for Thinking Humans (with a New Preface)
Mitchell, Melanie
Paperback
The Thinking Machine: Jensen Huang, Nvidia, and the World's Most Coveted Microchip
Witt, Stephen
Hardcover
The Black Swan: Second Edition: The Impact of the Highly Improbable: With a New Section: On Robustness and Fragility
Taleb, Nassim Nicholas
Paperback
Hands-On Large Language Models: Language Understanding and Generation
Alammar, Jay
Grootendorst, Maarten
Paperback
Embedded Systems with ARM Cortex-M Microcontrollers in Assembly Language and C: Fourth Edition
Zhu, Yifeng
Paperback
Tubes: A Journey to the Center of the Internet with a New Introduction by the Author
Blum, Andrew
Paperback
The Empty Center: Permission, Connection, and What We Build When the Future is Uncertain
Drumwright, Hayes
Hardcover
CompTIA Tech+ Certification All-in-One Exam Guide, Third Edition (Exam FC0-U71)
Wempen, Faithe
Paperback
Fundamentals of Software Architecture: A Modern Engineering Approach
Ford, Neal
Richards, Mark
Paperback
AI Projects with Raspberry Pi: High-Performance Artificial Intelligence for Robotics, Security, Home Automation, and Vision
Hattersley, Lucy
Jepson, Brian
Paperback
Power and Prediction: The Disruptive Economics of Artificial Intelligence
Agrawal, Ajay
Gans, Joshua
Goldfarb, Avi
Hardcover
AP Computer Science a Premium, 13th Edition: Prep Book with 6 Practice Tests + Comprehensive Review + Online Practice (2026)
Teukolsky, Roselyn, M. S.
Carman, Chris
Paperback
Minecraft: Exploded Builds: Medieval Fortress: An Official Mojang Book
The Official Minecraft Team
Mojang Ab
Paperback
AP Computer Science Principles Premium, 2027: 6 Practice Tests + Comprehensive Review + Online Practice
Reichelson, Seth
Paperback
Love Machines: How Artificial Intelligence Is Transforming Our Relationships
Muldoon, James
Hardcover
You Look Like a Thing and I Love You: How Artificial Intelligence Works and Why It's Making the World a Weirder Place
Shane, Janelle
Paperback
Minecraft: Roll for Adventure: The Temple of the Charged Creeper
Forbeck, Marty
Forbeck, Matt
Hardcover
AI Snake Oil: What Artificial Intelligence Can Do, What It Can't, and How to Tell the Difference
Narayanan, Arvind
Kapoor, Sayash
Hardcover
The AI Ultimatum: Preparing for a World of Intelligent Machines and Radical Transformation
Brown, Steve
Hill, Paul
Paperback
You to the Power of Two: Redefining Human Potential in the Age of Identic AI
Tapscott, Don
Bradley, Joseph
Hardcover
The Devops Handbook, 2nd Edition: How to Create World-Class Agility, Reliability, & Security in Technology Organizations
Debois, Patrick
Kim, Gene
Humble, Jez
Paperback
Artificial Intelligence All-In-One for Dummies
Minnick, Chris
Mueller, John Paul
Massaron, Luca
Paperback
The Empty Center: Permission, Connection, and What We Build When the Future is Uncertain
Drumwright, Hayes
Paperback
The Death of Expertise: The Campaign Against Established Knowledge and Why It Matters
Nichols, Tom
Paperback
The Problem with Personalization: How Advertisers Learned to Make and Break Us from Ancient Times to the AI Age
Turow, Joseph
Hardcover
The Fourth Intelligence Revolution: The Future of Espionage and the Battle to Save America
Vinci, Anthony
Hardcover
Designing Machine Learning Systems: An Iterative Process for Production-Ready Applications
Huyen, Chip
Paperback
RHCSA Red Hat Enterprise Linux 10: Training and Exam Preparation Guide (EX200), Fourth Edition
Ghori, Asghar
Paperback
AI for Educators: Learning Strategies, Teacher Efficiencies, and a Vision for an Artificial Intelligence Future
Miller, Matt
Paperback
Graphic Artists Guild Handbook, 17th Edition: Pricing & Ethical Guidelines
The Graphic Artists Guild
Paperback
The Technological Republic: Hard Power, Soft Belief, and the Future of the West
Karp, Alexander C.
Zamiska, Nicholas W.
Hardcover
Building Applications with AI Agents: Designing and Implementing Multiagent Systems
Albada, Michael
Paperback
More Human: How the Power of AI Can Transform the Way You Lead
Hougaard, Rasmus
Carter, Jacqueline
Hardcover
Microsoft 365 Excel All-In-One for Dummies
Alexander, Michael
Kusleika, Dick
Ringstrom, David H.
Paperback
The Coming Wave: Technology, Power, and the Twenty-First Century's Greatest Dilemma
Suleyman, Mustafa
Hardcover
What Is Intelligence?: Lessons from AI about Evolution, Computing, and Minds
Aguera Y. Arcas, Blaise
Paperback
The Experimentation Machine: Finding Product-Market Fit in the Age of AI
Bussgang, Jeffrey J.
Hardcover
Hbr's 10 Must Reads on Artificial Intelligence, Updated and Expanded (Featuring How AI Can Help Managers Think Through Problems by Elisa Farri and Gab
Davenport, Thomas H.
Agrawal, Ajay
Review, Harvard Business
Paperback
Navigeren door het labyrint: Een handleiding voor het beheer van data
Sebastian-Coleman, Laura
Paperback
Prediction Machines, Updated and Expanded: The Simple Economics of Artificial Intelligence
Gans, Joshua
Goldfarb, Avi
Agrawal, Ajay
Hardcover
Comptia A+ Complete Study Guide, 2-Volume Set: Volume 1 Core 1 Exam 220-1201 and Volume 2 Core 2 Exam 220-1202
Docter, Quentin
Buhagiar, Jon
Paperback
Speak Data: Artists, Scientists, Thinkers, and Dreamers on How We Live Our Lives in Numbers
Cox, Phillip
Lupi, Giorgia
Paperback
A Whole New Human: Ten Ways We Must Evolve to Survive and Thrive in the AI Age
Rydall, Derek
Hardcover
On the Future of Species: Authoring Life by Means of Artificial Biological Intelligence
Woolfson, Adrian
Hardcover
R for Data Science: Import, Tidy, Transform, Visualize, and Model Data
Grolemund, Garrett
Cetinkaya-Rundel, Mine
Wickham, Hadley
Paperback
Laptops for Seniors in Easy Steps, 9th Edition: Covers All Laptops with the Windows 11 2024 Update
Vandome, Nick
Paperback