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 889 - 912 de 1195 resultados
Skip side bar filters

  • Runtime Verification

    20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

    Edición de Jyotirmoy Deshmukh, Dejan Ničković ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic.The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial ... Leer más

    $906 MXN

  • Models, Algorithms, Logics and Tools

    Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

    Edición de Axel Legay, Anna Ingólfsdóttir, Radu Mardare, Giovanni Bacci, Giorgio Bacci, Luca Aceto ...
    Series series Computer Science (R0)
    This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and ... Leer más

    $906 MXN

  • Automated Technology for Verification and Analysis

    16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

    Edición de Shuvendu K. Lahiri, Chao Wang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.The symposium is dedicated to the promotion of research on theoretical ... Leer más

    $906 MXN

  • Formal Methods and Software Engineering

    22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

    Edición de Shang-Wei Lin, Zhe Hou, Brendan Mahony ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together ... Leer más

    $906 MXN

  • Leveraging Applications of Formal Methods, Verification and Validation

    10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings

    Edición de Tiziana Margaria, Bernhard Steffen ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.The contributions included in this volume were organized in the ... Leer más

    $1,269 MXN

  • 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

    $52 MXN o gratis con Kobo Plus

  • Hands-on Booting

    Learn the Boot Process of Linux, Windows, and Unix

    de Yogesh Babar ...
    Series series Professional and Applied Computing (R0)
    Master the booting procedure of various operating systems with in-depth analysis of bootloaders and firmware. The primary focus is on the Linux booting procedure along with other popular operating systems such as Windows and Unix.Hands-on Booting begins by explaining what a bootloader is, starting with the Linux bootloader followed by bootloaders for Windows and Unix systems. Next, you’ll address ... Leer más

    $966 MXN

  • Moderne C-Programmierung

    Kompendium und Referenz

    de Helmut Schellong ...
    Series series Computer Science and Engineering (German Language)
    Dieses Buch wendet sich an Entwickler, die bereits über erste Erfahrungen in der Programmierung verfügen. Es fördert den effizienten, strukturierten Umgang mit C. Das vorgestellte Detailwissen hilft zudem bei der Entwicklung eigener Ideen und Konzepte für vielfältige Anwendungsgebiete und zeigt viele Feinheiten der Sprache. Einen Schwerpunkt der Darstellung bildet der Einsatz von C in der ... Leer más

    $678 MXN

  • Identifying Relevant Information for Testing Technique Selection

    An Instantiated Characterization Schema

    de Sira Vegas, Natalia Juristo, Victor R. Basili ...
    Series Libro 8 - International Series in Software Engineering
    Engineering tasks are supposed to achieve defined goals under certain project constraints. Example goals of software engineering tasks include achieving a certain functionality together with some level of reliability or performance. Example constraints of software engineering tasks include budget and time limitations or experience limitations of the developers at hand. Planning of an engineering ... Leer más

    $1,632 MXN

  • R for Cloud Computing

    An Approach for Data Scientists

    de A Ohri ...
    Series series Mathematics and Statistics (R0)
    R for Cloud Computing looks at some of the tasks performed by business analysts on the desktop (PC era) and helps the user navigate the wealth of information in R and its 4000 packages as well as transition the same analytics using the cloud. With this information the reader can select both cloud vendors and the sometimes confusing cloud ecosystem as well as the R packages that can help process ... Leer más

    $906 MXN

  • Provenance and Annotation of Data and Processes

    7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings

    Edición de Khalid Belhajjame, Ashish Gehani, Pinar Alper ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 7th International Provenance and Annotation Workshop, IPAW 2018, held in London, UK, in July 2018.The 12 revised full papers, 19 poster papers, and 2 demonstration papers presented were carefully reviewed and selected from 50 submissions. The papers feature a variety of provenance-related topics ranging from the capture and inference of ... Leer más

    $906 MXN

  • Hardware and Software: Verification and Testing

    12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

    Edición de Roderick Bloem, Eli Arbel ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future ... Leer más

    $906 MXN

  • Practical Swift

    de Eric Downey ...
    Series series Professional and Applied Computing (R0)
    Take a firsthand tour of Xcode and all the latest features Swift 3 has to offer.If you have picked up this book, chances are you know a little bit about Swift Programming. With Practical Swift you’ll develop an advanced understanding of the language that will enable you to create a reference guide using Xcode Playgrounds, one you can continue to grow throughout your iOS career.This book not only ... Leer más

    $796 MXN

  • Engineering a Compiler

    de Keith D. Cooper, Linda Torczon ...
    Engineering a Compiler, Third Edition covers the latest developments in compiler technology, with new chapters focusing on semantic elaboration (the problems that arise in generating code from the ad-hoc syntax-directed translation schemes in a generated parser), on runtime support for naming and addressability, and on code shape for expressions, assignments and control-structures. Leading ... Leer más

    $945 MXN

  • C# 7 Quick Syntax Reference

    A Pocket Guide to the Language, APIs, and Library

    de Mikael Olsson ...
    Series Libro 7 - Professional and Applied Computing (R0)
    This quick C# 7 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 7.3 for .NET and Windows 10. It presents the essential C# 7 syntax in a well-organized format that can be used as a handy reference.In the C# 7 Quick Syntax Reference, you will find a concise reference to the C# language syntax: short, simple, and focused code ... Leer más

    $483 MXN

  • Rules and Reasoning

    International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings

    Edición de Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 16 regular papers presented together with 2 ... Leer más

    $906 MXN

  • Building Firmware with CMake

    A practical guide to automating embedded builds, tests, and release artifacts

    de Amar Mahmutbegović ...
    Go beyond ad-hoc Makefiles and vendor IDE workflows by moving to a reproducible CMake-based firmware build system with automated testing and reliable outputs, from the author of bestselling C++ in Embedded Systems Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\* Key FeaturesPin toolchains and external dependencies for reproducible firmware builds across machines and ... Leer más

    $591 MXN

    PEDIDO ANTICIPADO

  • 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

    Edición de Jean-Philippe Pellet, Gabriel Parriaux ...
    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

  • Learn Unity for Android Game Development

    A Guide to Game Design, Development, and Marketing

    de Adam Sinicki ...
    Series series Professional and Applied Computing (R0)
    Get a thorough and practical introduction to Unity development for Android devices with no previous experience with game development needed. In this book, you'll go through every step from downloading and installing Unity and the Android SDK, to creating fully functional games. The bulk of Learn Unity for Android Game Development is a simple project to create a 2D platform game complete with ... Leer más

    $1,067 MXN

  • Runtime Verification

    18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

    Edición de Christian Colombo, Martin Leucker ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more ... Leer más

    $1,360 MXN

  • Computer Safety, Reliability, and Security

    SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

    Edición de Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of five workshopsco-located with SAFECOMP 2017, the 36th International Conference onComputer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.The 38 revised full papers presented together with 5 introductory papers to each workshop,and three invited papers, were carefully reviewed and selected from 49 submissions.This year's ... Leer más

    $906 MXN

  • CSS3 Quick Syntax Reference

    A Pocket Guide to the Cascading Style Sheets Language

    de Mikael Olsson ...
    Series series Professional and Applied Computing (R0)
    The CSS3 Quick Syntax Reference is a 150-page syntax reference to the Cascading Style Sheets language. It presents the essentials of CSS3 in a well-organized format that can be used as a handy reference. You won’t find any technical jargon, bloated samples, drawn-out history lessons or witty stories in this book. What you will find is a CSS reference that is concise, to the point, and highly ... Leer más

    $627 MXN

  • 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