Skip to main content

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...

eBooks de Compiladores

Si te gustan los eBooks de Compiladores, seguro que te encanta esta selección.
Mostrando 169 - 192 de 1248 resultados
Skip side bar filters
  • Software Engineering for Resilient Systems

    7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and ... Leer más

    $736 MXN

  • Fundamental Approaches to Software Engineering

    19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They ... Leer más

    $920 MXN

  • Programming Languages and Systems

    23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings

    Edición de Alex Potanin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27–30, 2025.The 13 full papers presented here were carefully reviewed and selected from 28 submissions.They were focused on the following topical sections: Type Systems, Safety, and Verification; Control, Effects, and Decidability; Quantum ... Leer más

    $1,343 MXN

  • Data Parallel C++

    Programming Accelerated Systems Using C++ and SYCL

    Series series Professional and Applied Computing (R0)
    "This book, now in is second edition, is the premier resource to learn SYCL 2020 and is the ONLY book you need to become part of this community." Erik Lindahl, GROMACS and Stockholm UniversityLearn how to accelerate C++ programs using data parallelism and SYCL.This open access book enables C++ programmers to be at the forefront of this exciting and important development that is helping to push ... Leer más

    Gratis

  • Tulkki – Romaani Auschwitzin oikeudenkäynneistä

    Traducido por Pirkko Roinila ...
    Miten löytää sanat pahuudelle?Ajatuksia herättävä lukuromaani Saksan historian synkimmän aikakauden varjosta.Frankfurt, 1963. Eva Bruhnsin asiat ovat hyvin. Vanhempien majatalo menestyy, töitä riittää puolan kielen tulkkina, ja poikaystävänkin pitäisi pian kosia. Mutta kun Eva päätyy tulkkaamaan todistajanlausuntoja sotaoikeudenkäynnissä, hän kuulee ensi kertaa sanan Auschwitz. Tulkki käsittelee ... Leer más

    $308 MXN

  • AR & VR Development Mastery: Creating Immersive Experiences from Beginner to Expert

    Unlock the full potential of Augmented Reality (AR) and Virtual Reality (VR) with this comprehensive, step-by-step guide designed for beginners and experienced developers alike. "AR & VR Development Mastery" takes you through the fundamentals of immersive technology, covering essential concepts, frameworks, and real-world applications that bring digital worlds to life.From understanding 3D ... Leer más

    $172 MXN

  • Quick Python Guide

    de Coder1 ...
    Quick Python Guide by Coder1Unlock the world of programming with "Introduction to Python Programming," a comprehensive guide designed for beginners. This eBook covers the essentials of Python, from basic syntax to advanced topics, with clear explanations and practical examples. Learn how to write clean and efficient code, master data structures, and explore libraries like NumPy, Pandas, and ... Leer más

    $155 MXN

  • Trends in Functional Programming

    18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

    Edición de Meng Wang, Scott Owens ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. ... Leer más

    $736 MXN

  • Kickstart Compiler Design Fundamentals

    Practical Techniques and Solutions for Compiler Design, Parsing, Optimization, and Code Generation (English Edition)

    Unveiling Compiler Secrets from Source to Execution.Book DescriptionCompilers are the backbone of modern computing, enabling programming languages to power everything from web applications to high-performance systems. Kickstart Compiler Design Fundamentals is the perfect starting point for anyone eager to explore the world of compiler construction.This book takes a structured, beginner-friendly ... Leer más

    $326 MXN o gratis con Kobo Plus

  • Smart Card Application Development Using Java

    Series series Computer Science (R0)
    In today's world, smart cards play an increasingly important role in everyday life. We encounter them as credit cards, loyalty cards, electronic purses, health cards, and as secure tokens for authentication or digital signature. Their small size and the compatibility of their form with the magnetic stripe card make them ideal carriers of personal information such as secret keys, passwords, ... Leer más

    $1,656 MXN

  • IntelliJ IDEA Essentials

    This book is for developers who want to work smarter so they can focus their efforts on the details that will give them the advantage. This book is tailor-made for developers who want to move from NetBeans and Eclipse to experience the power and functionality of IntelliJ IDEA. ... Leer más

    $698 MXN o gratis con Kobo Plus

  • Tools and Algorithms for the Construction and Analysis of Systems

    23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

    Edición de Axel Legay, Tiziana Margaria ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 48 full papers, 4 tool demonstration papers, and 12 software ... Leer más

    $920 MXN

  • Decoding the AI Enigma: A Layperson's Guide to Understanding the Concepts, Math, and Pitfalls of Artificial Intelligence

    Artificial intelligence (AI) has become an integral part of our modern lives, influencing everything from the way we shop and communicate to how we work and make decisions. As AI continues to advance at an astonishing pace, it is crucial for individuals from all walks of life to grasp its concepts, comprehend its underlying mathematics, and navigate its potential pitfalls. In this book, "Decoding ... Leer más

    $138 MXN o gratis con Kobo Plus

  • Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

    Series Libro 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... Leer más

    $1,656 MXN

  • Language Implementation Patterns

    Create Your Own Domain-Specific and General Programming Languages

    de Terence Parr ...
    Learn to build configuration file readers, data readers, model-driven code generators, source-to-source translators, source analyzers, and interpreters. You don't need a background in computer science--ANTLR creator Terence Parr demystifies language implementation by breaking it down into the most common design patterns. Pattern by pattern, you'll learn the key skills you need to implement your ... Leer más

    $322 MXN

  • Rethinking Productivity in Software Engineering

    Get the most out of this foundational reference and improve the productivity of your software teams. This open access book collects the wisdom of the 2017 "Dagstuhl" seminar on productivity in software engineering, a meeting of community leaders, who came together with the goal of rethinking traditional definitions and measures of productivity.The results of their work, Rethinking Productivity in ... Leer más

    Gratis

  • Functional Data Structures and Algorithms

    A Proof Assistant Approach

    de Tobias Nipkow ...
    Series series ACM Books
    This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph ... Leer más

    $681 MXN

  • Optimizing HPC Applications with Intel Cluster Tools

    Hunting Petaflops

    Optimizing HPC Applications with Intel® Cluster Tools takes the reader on a tour of the fast-growing area of high performance computing and the optimization of hybrid programs. These programs typically combine distributed memory and shared memory programming models and use the Message Passing Interface (MPI) and OpenMP for multi-threading to achieve the ultimate goal of high performance at low ... Leer más

    Gratis

  • Static Analysis

    26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

    Edición de Bor-Yuh Evan Chang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019.The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions.The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; ... Leer más

    $920 MXN

  • Integrating NFTs into Game Development

    Dive into the revolutionary world of Non-Fungible Tokens (NFTs) and their transformative impact on game development with "Integrating NFTs into Game Development." This comprehensive guide offers game developers, designers, and enthusiasts an in-depth understanding of how NFTs can be seamlessly integrated into gaming ecosystems, creating new avenues for player engagement, revenue streams, and game ... Leer más

    $172 MXN

  • Formal Specification Techniques for Engineering Modular C Programs

    de Tan Yang Meng ...
    Series Libro 1 - International Series in Software Engineering
    Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to ... Leer más

    $2,575 MXN

  • Automated Reasoning

    8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

    Edición de Nicola Olivetti, Ashish Tiwari ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International ... Leer más

    $1,472 MXN

  • Exploring Blazor

    Creating Server-side and Client-side Applications in .NET 7

    Series series Professional and Applied Computing (R0)
    Build and develop web applications with Blazor in C#. This book covers both server-side and client-side Blazor, along with its latest features and the structure of the technology. You’ll see that Blazor is a web UI framework based on C#, Razor, and HTML, and how it runs front-end logic using C#, either on the server or on the browser, using WebAssembly.This new edition not only covers the new ... Leer más

    $1,083 MXN

  • A Concise Introduction to Software Engineering

    With Open Source and GenAI

    de Pankaj Jalote ...
    Series series Computer Science (R0)
    Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software. It is therefore important to integrate open source and use of LLMs in teaching software engineering – a key goal of this textbook.This reader-friendly textbook/reference introduces a carefully curated set of concepts and practices ... Leer más

    $920 MXN