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 1105 - 1128 de 1276 resultados
Skip side bar filters
  • Claude AI Mastery

    Claude.ai is not a search box with better grammar — it is a thinking partner that can hold an entire project's worth of context, reason step by step through hard problems, remember how you like to work, and act on your behalf across multi-step tasks. Most people using Claude.ai today are using a fraction of what it can actually do: they open a chat window, ask a question the way they'd type a ... Leer más

    $171 MXN o gratis con Kobo Plus

  • Decode the Compiler

    Understand how compilers optimize C/C++ using AI-guided explanations

    de Amar Akshat ...
    Understand modern compiler optimization logs and use AI tools to decode Clang/LLVM decisions in C/C++ workflows.Key FeaturesDecode complex Clang/LLVM optimization outputs using AILearn performance-tuning strategies rooted in compiler cost modelsBuild trustable AI pipelines for code optimization analysisBook DescriptionDecode the Compiler takes you on a journey through the inner workings of modern ... Leer más

    $739 MXN

    PEDIDO ANTICIPADO

  • Introduction to Compiler Design

    Series series Computer Science (R0)
    This textbook is intended for an introductory course on Compiler Design, suitable for use in an undergraduate programme in computer science or related fields.Introduction to Compiler Design presents techniques for making realistic, though non-optimizing compilers for simple programming languages using methods that are close to those used in "real" compilers, albeit slightly simplified in places ... Leer más

    $600 MXN

  • Pro Spring Boot 4

    An Authoritative Guide with Best Practices

    Series series Professional and Applied Computing (R0)
    Master enterprise-grade application and microservice development with Pro Spring Boot 4. This revised edition empowers you to fully harness the groundbreaking capabilities of Spring Boot 4, crafting robust and scalable web, cloud, and microservice solutions with unparalleled ease.Dive deep into the latest advancements, including enhanced support for Java 17 and 21, significant updates to Spring ... Leer más

    $900 MXN

  • Engineering Trustworthy Software Systems

    First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

    Edición de Zhiming Liu, Zili Zhang ...
    Series series Springer Nature Proceedings Computer Science
    This volume contains the lecture notes of the five courses and one seminar given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in September 2014 at Southwest University in Chongqing, China.The material is useful for postgraduate students, researchers, academics and industrial engineers who are interested in the theory and practice of methods and tools for the design ... Leer más

    $909 MXN

  • Haskell-Intensivkurs

    Ein kompakter Einstieg in die funktionale Programmierung

    Series series Computer Science and Engineering (German Language)
    Das Buch bietet eine kompakte Einführung in die funktionale Programmierung mit Haskell. Zunächst werden grundlegende Konzepte anhand von anschaulichen Beispielen vermittelt, die das Fundament für die funktionale Programmentwicklung bilden. Anschließend werden fortgeschrittene Aspekte behandelt, um das Verständnis weiter zu vertiefen. Mit zahlreichen Anwendungen und Themengebieten, die gemeinsam ... Leer más

    $679 MXN

  • COBOL Language Fundamentals Quick Start

    This book will teach you the basic information and skills you need to develop applications with the COBOL programming language on IBM mainframe computers running z/OS. The instruction, examples and sample programs in this book are a fast track to becoming productive with COBOL as quickly as possible. The content of this book is easy to read and digest, well organized and focused on honing real job ... Leer más

    $140 MXN

  • Theory and Practice of Formal Methods

    Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

    Series series Computer Science (R0)
    This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems, ... Leer más

    $909 MXN

  • Logic, Rewriting, and Concurrency

    Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

    Series series Computer Science (R0)
    This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday.These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Hélène ... Leer más

    $909 MXN

  • Graph Transformation, Specifications, and Nets

    In Memory of Hartmut Ehrig

    Edición de Reiko Heckel, Gabriele Taentzer ...
    Series series Computer Science (R0)
    This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.The contributions represent a selection from a symposium, held in October 2016 at TU Berlin, commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in.These areas include Graph Transformation, Model Transformation, Concurrency Theory, in particular ... Leer más

    $909 MXN

  • Recent Advances in Algorithmic Differentiation

    Series series Springer Nature Proceedings excluding Computer Science
    The proceedings represent the state of knowledge in the area of algorithmic differentiation (AD). The 31 contributed papers presented at the AD2012 conference cover the application of AD to many areas in science and engineering as well as aspects of AD theory and its implementation in tools. For all papers the referees, selected from the program committee and the greater community, as well as the ... Leer más

    $1,636 MXN

  • Theory and Practice of Model Transformations

    8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

    Edición de Dimitris Kolovos, Manuel Wimmer ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse ... Leer más

    $854 MXN

  • Inductive Logic Programming

    27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

    Edición de Nicolas Lachiche, Christel Vrain ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Conference on Inductive Logic Programming, ILP 2017, held in Orléans, France, in September 2017.The 12 full papers presented were carefully reviewed and selected from numerous submissions.Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic ... Leer más

    $909 MXN

  • Product-Focused Software Process Improvement

    19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th International Conference on Product-Focused Software Process Improvement, PROFES 2018, held in Wolfsburg, Germany, in November 2018.The 16 revised full papers and 8 short papers presented together with 10 workshop papers and 2 industry talks were carefully reviewed and selected from 65 submissions. The papers are organized in the following ... Leer más

    $909 MXN

  • Dynamic Logic. New Trends and Applications

    Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019.The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 ... Leer más

    $909 MXN

  • Programming Languages and Systems

    19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings

    Edición de Hakjoo Oh ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification.* The conference ... Leer más

    $1,363 MXN

  • Software Verification

    13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions ... Leer más

    $1,000 MXN

  • Logic Programming and Nonmonotonic Reasoning

    16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022.The 34 full papers and 5 short papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Technical Contributions; Systems; ... Leer más

    $1,327 MXN

  • Programming Languages and Systems

    20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings

    Edición de Ilya Sergey ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Semantics and Analysis; Testing and Verification; Types. ... Leer más

    $1,182 MXN

  • Database Systems for Advanced Applications. DASFAA 2023 International Workshops

    BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the papers of several workshops which were held in conjunction with the 28th International Conference on Database Systems for Advanced Applications, DASFAA 2023, held in Tanjin, China, in April 2023.The 23 revised full papers presented in this book were carefully reviewed and selected from 40 submissions. DASFAA 2023 presents the following four workshops:9th International ... Leer más

    $1,363 MXN

  • OpenMP: Advanced Task-Based, Device and Compiler Programming

    19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13–15, 2023, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 19th International Workshop on OpenMP, IWOMP 2023, held in Bristol, UK, during September 13–15, 2023.The 15 full papers presented in this book were carefully reviewed and selected from 20 submissions. The papers are divided into the following topical sections: OpenMP and AI; Tasking Extensions; OpenMP Offload Experiences; Beyond Explicit GPU Support; ... Leer más

    $1,182 MXN

  • Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education

    16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23–25, 2023, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 16th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2023, held in Lausanne, Switzerland, during October 23–25, 2023.The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions. They are organized in four topical sections named: artificial intelligence and its ... Leer más

    Gratis

  • Raku Fundamentals

    A Primer with Examples, Projects, and Case Studies

    de Moritz Lenz ...
    Series series Professional and Applied Computing (R0)
    Gain the skills to begin developing Raku applications from the ground up in this hands-on compact book, which includes a foreword from Larry Wall, creator of Perl. You’ll learn enough to get started building with Raku, using Raku's gradual typing, handy object orientated features, powerful parsing capabilities, and human-usable concurrency. This book has been updated to include the latest version ... Leer más

    $1,070 MXN

  • Spring Quick Reference Guide

    A Pocket Handbook for Spring Framework, Spring Boot, and More

    de Adam L. Davis ...
    Series series Professional and Applied Computing (R0)
    Quickly gain the insight necessary to address a multitude of Java-based Spring Framework and Spring Boot coding challenges using this succinct reference guide. Short, focused code examples will help you master many of the Spring elements such as AOP, data access, MVC for web development, security, web services/REST for microservices development, Batch for large data sets, and more. You’ll also get ... Leer más

    $900 MXN