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 1276 resultados
Skip side bar filters
  • Mastering Google Cloud Platform: Navigating the Clouds

    Discover the ultimate guide to mastering the Google Cloud Platform (GCP) with "Mastering Google Cloud Platform: Navigating the Clouds." This comprehensive resource is designed for IT professionals, developers, and cloud enthusiasts seeking to leverage the full potential of GCP. Whether you're preparing for GCP certification or looking to implement cutting-edge cloud solutions, this book offers ... Leer más

    $171 MXN

  • PowerShell Playbook: Taming the Terminal with Wit, Script, and Wizardry

    de Scott Markham ...
    PowerShell Playbook: Taming the Terminal with Wit, Script, and WizardryIf you've ever looked at your terminal and thought, "Well, that's an intimidating beast," then PowerShell Playbook is here to change the game. This isn't your typical dry, technical manual. Think of it as a guide to the secret world of scripting, where automation meets magic, and you're the wizard in charge. From your first ... Leer más

    $137 MXN

  • Static Analysis

    23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

    Edición de Xavier Rival ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow ... Leer más

    $909 MXN

  • Rewriting Logic and Its Applications

    10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

    Edición de Santiago Escobar ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of ... Leer más

    $854 MXN

  • Verified Software: Theories, Tools and Experiments

    6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully ... Leer más

    $854 MXN

  • Web Services and Formal Methods

    10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

    Edición de Emilio Tuosto, Chun Ouyang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model ... Leer más

    $727 MXN

  • Search-Based Software Engineering

    7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

    Edición de Yvan Labiche, Márcio Barros ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 7th International Symposium on Search-Based Software Engineering, SSBSE 2015, held in Bergamo, Italy, in September 2015.The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of the graduate track, and 13 challenge track papers were carefully reviewed and selected from 51 submissions. Search Based Software ... Leer más

    $909 MXN

  • Critical Systems: Formal Methods and Automated Verification

    Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. ... Leer más

    $909 MXN

  • Programming Languages and Systems

    15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

    Edición de Bor-Yuh Evan Chang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; ... Leer más

    $909 MXN

  • Logical Foundations of Computer Science

    International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

    Edición de Sergei Artemov, Anil Nerode ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Leer más

    $909 MXN

  • Graphical Models for Security

    5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018.The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for ... Leer más

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

    $909 MXN

  • Verified Software. Theories, Tools, and Experiments

    11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory ... Leer más

    $909 MXN

  • On the Move to Meaningful Internet Systems: OTM 2019 Workshops

    Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 21–25, 2019, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS) and, 1st ... Leer más

    $909 MXN

  • Tests and Proofs

    14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

    Edición de Wolfgang Ahrendt, Heike Wehrheim ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in ... Leer más

    $909 MXN

  • Webanwendungen erstellen mit Vue.js

    MVVM-Muster für konventionelle und Single-Page-Webseiten

    de Ralph Steyer ...
    Series series Computer Science and Engineering (German Language)
    Steigen Sie mit diesem Buch schnell und unkompliziert in Vue.js einDieses Buch bietet einen kompakten und praxisnahen Einstieg in das populäre Vue.js. Nutzen Sie auf Basis von MVC-Entwurfsmustern das MVVC-Konzept für Anwendungen im Web und erstellen Sie damit auf einfache Weise Single-Page-Webanwendungen. Dabei verwenden Sie eines der leistungsfähigen Frameworks nur auf Basis elementarer WWW ... Leer más

    $731 MXN

  • C# and XML Primer

    Series series Professional and Applied Computing (R0)
    Learn XML and how to use and integrate it into your C# applications using this compact book. This guide helps you avoid the pitfalls of dealing with XML and C# since handling XML with C# and the .NET Platform can present its own set of challenges. XML is far from a dead technology, so it is important to learn how best to use it in your applications when the need arises.What You Will LearnGain the ... Leer más

    $595 MXN

  • Advanced R Statistical Programming and Data Models

    Analysis, Machine Learning, and Visualization

    Series series Professional and Applied Computing (R0)
    Carry out a variety of advanced statistical analyses including generalized additive models, mixed effects models, multiple imputation, machine learning, and missing data techniques using R. Each chapter starts with conceptual background information about the techniques, includes multiple examples using R to achieve results, and concludes with a case study.Written by Matt and Joshua F. Wiley, ... Leer más

    $1,359 MXN

  • Digital Electronics for Musicians

    Series series Professional and Applied Computing (R0)
    This is the perfect book for musicians who want to dive into the world of computer music and physical computing. This book is aimed at adventurous musicians who want to learn about music programming with Arduino, sensors, and Pure Data, and how to make new interfaces and even new instruments with that knowledge.You’ll learn the basics of the Pure Data and Arduino languages, how to incorporate ... Leer más

    $1,138 MXN

  • Harley Hahn's Emacs Field Guide

    de Harley Hahn ...
    Series series Professional and Applied Computing (R0)
    In this book, Harley Hahn demystifies Emacs for programmers, students, and everyday users. The first part of the book carefully creates a context for your work with Emacs. What exactly is Emacs? How does it relate to your personal need to work quickly and to solve problems? Hahn then explains the technical details you need to understand to work with your operating system, the various interfaces, ... Leer más

    $1,138 MXN

  • Interactive Object Oriented Programming in Java

    Learn and Test Your Skills

    Series series Professional and Applied Computing (R0)
    Discover object oriented programming with Java in this unique tutorial. This book uses Java and Eclipse to write and generate output for examples in topics such as classes, interfaces, overloading, and overriding. Interactive Object Oriented Programming in Java uniquely presents its material in a dialogue with the reader to encourage thinking and experimentation.Later chapters cover further Java ... Leer más

    $484 MXN

  • Introduction to Modern Fortran for the Earth System Sciences

    Series series Earth and Environmental Science (R0)
    This work provides a short "getting started" guide to Fortran 90/95. The main target audience consists of newcomers to the field of numerical computation within Earth system sciences (students, researchers or scientific programmers). Furthermore, readers accustomed to other programming languages may also benefit from this work, by discovering how some programming techniques they are familiar with ... Leer más

    $1,636 MXN

  • Good Habits for Great Coding

    Improving Programming Skills with Examples in Python

    Series series Professional and Applied Computing (R0)
    Improve your coding skills and learn how to write readable code. Rather than teach basic programming, this book presumes that readers understand the fundamentals, and offers time-honed best practices for style, design, documenting, testing, refactoring, and more.Taking an informal, conversational tone, author Michael Stueben offers programming stories, anecdotes, observations, advice, tricks, ... Leer más

    $799 MXN

  • Expert Twisted

    Event-Driven and Asynchronous Programming with Python

    Series series Professional and Applied Computing (R0)
    Explore Twisted, the Python-based event-driven networking engine, and review several of its most popular application projects. It is written by community leaders who have contributed to many of the projects covered, and share their hard-won insights and experience.Expert Twisted starts with an introduction to event-driven programming, explaining it in the context of what makes Twisted unique. It ... Leer más

    $968 MXN