Skip to main content
Search Button
México Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

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 553 - 576 de 1195 resultados
Skip side bar filters

  • Programming Languages and Systems

    17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

    Edición de Anthony Widjaja Lin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, ... Leer más

    $906 MXN

  • Trends in Functional Programming

    20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers

    Edición de William J. Bowman, Ronald Garcia ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a ... Leer más

    $906 MXN

  • Practical Aspects of Declarative Languages

    19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

    Edición de Yuliya Lierler, Walid Taha ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions.They deal with novel applications and ... Leer más

    $906 MXN

  • Ethereum Smart Contract Development in Solidity

    de Gavin Zheng, Longxiang Gao, Liqun Huang, Jian Guan ...
    Series series Computer Science (R0)
    The general consensus is that BlockChain is the next disruptive technology, and Ethereum is the flagship product of BlockChain 2.0. However, coding and implementing business logic in a decentralized and transparent environment is fundamentally different from traditional programming and is emerging as a major challenge for developers.This book introduces readers to the Solidity language from ... Leer más

    $1,360 MXN

  • Practical Aspects of Declarative Languages

    21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

    Edición de José Júlio Alferes, Moa Johansson ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative ... Leer más

    $906 MXN

  • Functional and Constraint Logic Programming

    26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

    Edición de Josep Silva ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018.From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers ... Leer más

    $906 MXN

  • Eclipse TEA Revealed

    Building Plug-ins and Creating Extensions for Eclipse

    de Markus Duft ...
    Series series Professional and Applied Computing (R0)
    Discover the open source Eclipse Tasking Engine Advanced (TEA) project in this compact to-the-point book. It covers how to automate tasks using TEA and focuses on simplifying and aiding the creation of extensions for the Eclipse IDE in a way which makes them accessible both from the IDE’s UI and in a headless fashion from the command line.Additionally, Eclipse TEA Revealed explores the library of ... Leer más

    $627 MXN

  • Pro TBB

    C++ Parallel Programming with Threading Building Blocks

    de Michael Voss, Rafael Asenjo, James Reinders ...
    Series series Professional and Applied Computing (R0)
    This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices ... Leer más

    Gratis

  • Formal Techniques for Safety-Critical Systems

    4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

    Edición de Cyrille Artho, Peter Csaba Ölveczky ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway ... Leer más

    $906 MXN

  • Formal Methods: State of the Art and New Directions

    Edición de Paul Boca, Jonathan P. Bowen, Jawed Siddiqi ...
    Series series Computer Science (R0)

    $1,632 MXN

  • Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

    Edición de Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and ... Leer más

    $1,033 MXN

  • Metaprogramming in R

    Advanced Statistical Programming for Data Science, Analysis and Finance

    de Thomas Mailund ...
    Series series Professional and Applied Computing (R0)
    Learn how to manipulate functions and expressions to modify how the R language interprets itself. This book is an introduction to metaprogramming in the R language, so you will write programs to manipulate other programs. Metaprogramming in R shows you how to treat code as data that you can generate, analyze, or modify.R is a very high-level language where all operations are functions and all ... Leer más

    $796 MXN

  • Erlang and Elixir for Imperative Programmers

    de Wolfgang Loder ...
    Series series Professional and Applied Computing (R0)
    Learn and understand Erlang and Elixir and develop a working knowledge of the concepts of functional programming that underpin them. This book takes the author’s experience of taking on a project that required functional programming and real-time systems, breaks it down, and organizes it. You will get the necessary knowledge about differences to the languages you know, where to start, and where to ... Leer más

    $678 MXN

  • Ruby Data Processing

    Using Map, Reduce, and Select

    de Jay Godse ...
    Series series Professional and Applied Computing (R0)
    Gain the basics of Ruby’s map, reduce, and select functions and discover how to use them to solve data-processing problems. This compact hands-on book explains how you can encode certain complex programs in 10 lines of Ruby code, an astonishingly small number. You will walk through problems and solutions which are effective because they use map, reduce, and select. As you read Ruby Data Processing ... Leer más

    $411 MXN

  • Advanced R

    Data Programming and the Cloud

    de Matt Wiley, Joshua F. Wiley ...
    Series series Professional and Applied Computing (R0)
    Program for data analysis using R and learn practical skills to make your work more efficient. This book covers how to automate running code and the creation of reports to share your results, as well as writing functions and packages. Advanced R is not designed to teach advanced R programming nor to teach the theory behind statistical procedures. Rather, it is designed to be a practical guide ... Leer más

    $796 MXN

  • C++ Game Development Primer

    de Bruce Sutherland ...
    Series series Professional and Applied Computing (R0)
    C++ is the language behind most of today's computer games. This 96-page C++ Game Development Primer takes you through the accelerated process of writing games for otherwise experienced C++ programmers. After reading this book, you’ll have the fundamental know-how to become a successful and profitable game applications developer in today’s increasingly competitive indie game marketplace.For those ... Leer más

    $593 MXN

  • TouchDevelop

    Programming on the Go

    de Nigel Horspool, Nikolai Tillmann, Judith Bishop ...
    "The book is great! It's clear and easy to read, with loads of examples that showed my students what to do."-- Larry Snyder, Emeritus Professor, University of Washington, Department of Computer Science and Engineering“Having the TouchDevelop book available made our events so much easier. Students could figure things out for themselves with help from the book.”-- Jennifer Marsman, Microsoft ... Leer más

    Gratis

  • Opa: Up and Running

    Rapid and Secure Web Development

    de Henri Binsztok, Adam Koprowski, Ida Swarczewskaja ...
    Want to simplify web development? This hands-on book shows you how to write frontend and backend code simultaneously, using the Opa framework. Opa provides a complete stack for web application development, including a web server, database engine, distribution libraries, and a programming language that compiles to JavaScript.You’ll learn step-by-step how to use Opa by building two projects through ... Leer más

    $185 MXN

  • ISO 27001:2022 - Explications

    Système de Management de la Sécurité de l'Information - Guide Pratique

    de Dr. William F. Harrington ...
    Title: ISO 27001:2022 - ExplicationsSubtitle: Système de Management de la Sécurité de l'Information - Guide PratiqueIntroduction:"ISO 27001:2022 - Explications" est un guide pratique complet dédié à la norme ISO 27001:2022, offrant une analyse approfondie et des explications claires sur le Système de Management de la Sécurité de l'Information (SMSI). Ce livre est destiné à tous les professionnels ... Leer más

    $1,043 MXN

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

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

    Edición de Simon McIntosh-Smith, Michael Klemm, Bronis R. de Supinski, Tom Deakin, Jannis Klinkenberg ...
    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,178 MXN

  • Runtime Verification

    24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

    Edición de Erika Ábrahám, Houssam Abbas ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; ... Leer más

    $997 MXN

  • Trends in Functional Programming

    21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers

    Edición de Aleksander Byrski, John Hughes ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020.The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; ... Leer más

    $906 MXN

  • Learn LLVM 12

    A beginner's guide to learning LLVM compiler tools and core libraries with C++

    de Kai Nacke ...
    Learn how to build and use all parts of real-world compilers, including the frontend, optimization pipeline, and a new backend by leveraging the power of LLVM core librariesKey FeaturesGet to grips with effectively using LLVM libraries step-by-stepUnderstand LLVM compiler high-level design and apply the same principles to your own compilerUse compiler-based tools to improve the quality of code in ... Leer más

    $857 MXN o gratis con Kobo Plus

  • Formal Methods and Software Engineering

    26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings

    Edición de Étienne André, Jingyi Wang, Naijun Zhan ...
    Series series Springer Nature Proceedings Computer Science
    This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical ... Leer más

    $1,324 MXN