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 1153 - 1176 de 1249 resultados
Skip side bar filters
  • 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

    $920 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

    $864 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

    $920 MXN

  • CODING INTERVIEW

    A Beginner's Guide to Learn and Study the Theories and Principles of Coding and Perform Well in the Coding Interview

    de Eric Schmidt ...
    Coding interviews have changed over the years, and the expectations are now firmer than ever. Interviewers not only want to assess your programming skills but also want to assess your behavior during the interview. It is important to develop the right practices and attitude before you go for the interview. You need to display the right skills so the interviewer can hire you without a doubt. Your ... Leer más

    $86 MXN

  • Handbook of Floating-Point Arithmetic

    Series series Mathematics and Statistics (R0)
    This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has considerably evolved, from the frequently inconsistent floating-point number systems of early computing to the recent IEEE 754-2008 standard. Most of computational mathematics depends on floating-point numbers, and understanding their various implementations will allow readers to develop ... Leer más

    $2,759 MXN

  • Static Analysis

    29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings

    Edición de Gagandeep Singh, Caterina Urban ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.The 18 full papers included in this book were carefully reviewed and selected from 43 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program ... Leer más

    $1,288 MXN

  • Database Systems for Advanced Applications. DASFAA 2022 International Workshops

    BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11–14, 2022, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the papers of several workshops which were held in conjunction with the 27th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held as virtual event in April 2022.The 30 revised full papers presented in this book were carefully reviewed and selected from 65 submissions.DASFAA 2022 presents the following five workshops:· First workshop on ... Leer más

    $1,564 MXN

  • Runtime Verification

    25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15–19, 2025.The 22 regular papers, 1 short paper, 2 tool papers, and 1 tutorial paper included in this book were carefully reviewed and selected from 64 submissions.The RV conference focuses on all aspects of formal methods for monitoring, ... Leer más

    $1,196 MXN

  • Service-Oriented Computing – ICSOC 2016 Workshops

    ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 14th International Conference on Service-Oriented Computing, ICSOC 2016, held in Banff, AB, Canada, in October 2016.The ICSOC 2016 workshop track consisted of three workshops on a wide range of topics that fall into the general area of service computing:ASOCA 2016: The rst ... Leer más

    $920 MXN

  • SOFSEM 2018: Theory and Practice of Computer Science

    44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018, held in Krems, Austria, in January/February 2018.The 48 papers presented in this volume were carefully reviewed and selected from 97 submissions. They were organized in topical sections named: foundations of computer science; software ... Leer más

    $920 MXN

  • Theoretical Aspects of Computing – ICTAC 2018

    15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

    Edición de Bernd Fischer, Tarmo Uustalu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018.The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions.The ICTAC conference aims at bringing together researchers and ... Leer más

    $1,472 MXN

  • Languages and Compilers for Parallel Computing

    31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers

    Edición de Mary Hall, Hari Sundar ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 31st International Workshop on Languages and Compilers for Parallel Computing, LCPC 2018, held in Salt Lake City, UT, USA, in October 2018. The 14 revised full papers were carefully reviewed and selected from 26 submissions. Specific topics are compiling for parallelism and parallel compilers, static, dynamic, and ... Leer más

    $920 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

    $920 MXN

  • Unifying Theories of Programming

    6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

    Edición de Jonathan P. Bowen, Huibiao Zhu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of ... Leer más

    $920 MXN

  • Formal Methods: Foundations and Applications

    21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical ... Leer más

    $1,048 MXN

  • Accelerator Programming Using Directives

    4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017.The 9 full papers presented have been carefully reviewed and selected from 14 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... Leer más

    $736 MXN

  • Monotonicity in Logic and Language

    Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings

    Series series Springer Nature Proceedings Computer Science
    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020. The 12 full papers together presented were fully reviewed and selected from 40 submissions.Due to COVID-19 the workshop will be held ... Leer más

    $1,288 MXN

  • Applied Reconfigurable Computing. Architectures, Tools, and Applications

    17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 17th International Symposium on Applied Reconfigurable Computing, ARC 2021, held as a virtual event, in June 2021.The 14 full papers and 11 short presentations presented in this volume were carefully reviewed and selected from 40 submissions. The papers cover a broad spectrum of applications of reconfigurable computing, from driving assistance, data and ... Leer más

    $920 MXN

  • High Performance Computing

    ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from 10 workshops that were held as the ISC High Performance 2017 conference in Frankfurt, Germany, in June 2017.The 59 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They stem from the following workshops:Workshop on Virtualization in High-Performance Cloud Computing (VHPC)Visualization at Scale: ... Leer más

    $920 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,656 MXN

  • Security Standardisation Research

    4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

    Edición de Cas Cremers, Anja Lehmann ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and ... Leer más

    $920 MXN

  • Die ultimative Synology NAS Bibel

    mit vielen Insider Tipps und Tricks - komplett in Farbe

    Die ultimative Synology NAS BibelMit diesem umfassenden Praxisbuch zu NAS-Systemen der bekannten Firma Synology bekommen Sie nicht nur einen tiefen Einblick in das komplette Thema der Network-Attached-Storage-Geräte, sondern einen Ratgeber mit vielen Tipps, Tricks und praktischen Hinweisen. Sie erfahren alles von der Kaufberatung über die Installation bis zur Nutzung als Musikarchiv, Fotospeicher, ... Leer más

    $254 MXN o gratis con Kobo Plus

  • Mining Made Simple: A Beginner's Guide to Software Installation and Configuration

    The Crypto Mining Mastery Series, #4

    de Ladd Baby ...
    Series Libro 4 - The Crypto Mining Mastery Series
    Mining Made Simple: A Beginner's Guide to Software Installation and ConfigurationUnlock the world of cryptocurrency mining with Mining Made Simple: A Beginner's Guide to Software Installation and Configuration. Whether you're brand new to crypto or just setting up your first mining rig, this step-by-step guide takes the complexity out of mining and breaks it down into clear, easy-to-follow ... Leer más

    $86 MXN o gratis con Kobo Plus

  • Getting Started with Visual Studio 2022

    Learning and Implementing New Features

    de Dirk Strauss ...
    Series series Professional and Applied Computing (R0)
    Learn how to use the features of Visual Studio 2022 and utilize the IDE correctly to make it your one-stop solution for creating quality code. Learn what's new in VS 2022 and explore the existing features of Visual Studio so you can become a more efficient programmer.This revised edition covers the latest features of Visual Studio 2022 and how to use them. The book includes new topics likeSubword ... Leer más

    $980 MXN