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 241 - 264 de 1276 resultados
Skip side bar filters

  • 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

    Edición de Sunita Chandrasekaran, Guido Juckeland ...
    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

    $727 MXN

  • Coordination Models and Languages

    18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

    Edición de Alberto Lluch Lafuente, José Proença ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover ... Leer más

    $909 MXN

  • Automated Technology for Verification and Analysis

    13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

    Edición de Bernd Finkbeiner, Geguang Pu, Lijun Zhang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, ... Leer más

    $909 MXN

  • On the Move to Meaningful Internet Systems. OTM 2017 Workshops

    Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

    Edición de Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Ioana Ciuciu, Maria-Esther Vidal, Robert Meersman ...
    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), ... Leer más

    $909 MXN

  • Formal Techniques for Safety-Critical Systems

    Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. 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 Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal ... Leer más

    $909 MXN

  • Program Proofs

    de K. Rustan M. Leino ...
    This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. ... Leer más

    $864 MXN

  • Computational Science and Its Applications – ICCSA 2017

    17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V

    Edición de Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Elena Stankova, Alfredo Cuzzocrea ...
    Series Libro 5 - Springer Nature Proceedings Computer Science
    The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017.The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 ... Leer más

    $909 MXN

  • Design Patterns mit Java

    Eine Einführung

    de Olaf Musch ...
    Series series Computer Science and Engineering (German Language)
    Eine praxisnahe Beschreibung der Software Design Patterns, wie sie im 1994 erschienen Buch „Design Patterns – Elements of Reusable Object-Oriented Software“ der Autorengruppe Gamma, Helm, Johnson und Vlissides (auch genannt „Gang of Four“, kurz GoF, also „Viererbande“) Erwähnung finden.Alle Muster werden anhand von Beispielen detailliert erläutert und auch kritisch gewürdigt. Darüber hinaus werden ... Leer más

    $673 MXN

  • Programming Languages and Operational Semantics

    A Concise Overview

    de Maribel Fernández ...
    Series series Computer Science (R0)
    This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for ... Leer más

    $727 MXN

  • Diseño de Compiladores

    de Knowledge Flow ...
    Series series Serie de Programación y Ciencias de la Computación
    El libro Compiler Design de Knowledge Flow es una guía completa que cubre los conceptos fundamentales y avanzados de la construcción de compiladores. Este libro es ideal para estudiantes, ingenieros de software y entusiastas de la informática que desean comprender el análisis léxico, el análisis sintáctico, el análisis semántico, la generación de código intermedio, la optimización y las técnicas ... Leer más

    $68 MXN o gratis con Kobo Plus

  • A Concise Introduction to Languages and Machines

    de Alan P. Parkes ...
    Series series Computer Science (R0)
    A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader.The approach is deliberately non-mathematical, and features: - Clear ... Leer más

    $510 MXN

  • Guide to Assembly Language

    A Concise Introduction

    de James T. Streib ...
    Series series Computer Science (R0)
    This concise guide is designed to enable the reader to learn how to program in assembly language as quickly as possible. Through a hands-on programming approach, readers will also learn about the architecture of the Intel processor, and the relationship between high-level and low-level languages.This updated second edition has been expanded with additional exercises, and enhanced with new material ... Leer más

    $909 MXN

  • Nichtsequentielle und Verteilte Programmierung mit Go

    Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz

    de Christian Maurer ...
    Series series Computer Science and Engineering (German Language)
    Dieses Buch führt in die Nichtsequentielle und Verteilte Programmierung mit Go ein und stellt grundlegende Konzepte zur Synchronisation und Kommunikation nebenläufiger Prozesse systematisch dar. Dazu zählen unter anderem Schlösser, Semaphore, Fairness und Verklemmungen, Monitore sowie der lokale und netzweite Botschaftenaustausch. Um Lesern die Konzepte nahezubringen, greift der Autor immer wieder ... Leer más

    $359 MXN

  • Design and Implementation of the MTX Operating System

    de K. C. Wang ...
    Series series Computer Science (R0)
    This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like system designed for Intel x86 based PCs. Written in an evolutional style, theoretical and practical aspects of operating systems are presented as the design and implementation of a complete operating system is demonstrated. Throughout the text, complete ... Leer más

    $1,545 MXN

  • A Beginner's Guide to Scala, Object Orientation and Functional Programming

    de John Hunt ...
    Series series Computer Science (R0)
    Scala is now an established programming language developed by Martin Oderskey and his team at the EPFL. The name Scala is derived from Sca(lable) La(nguage). Scala is a multi-paradigm language, incorporating object oriented approaches with functional programming.Although some familiarity with standard computing concepts is assumed (such as the idea of compiling a program and executing this ... Leer más

    $1,091 MXN

  • Design Patterns with Java

    An Introduction

    de Olaf Musch ...
    Series series Computer Science (R0)
    A practical description of the software design patterns as they are mentioned in the 1994 book "Design Patterns - Elements of Reusable ObjectOriented Software" by the author group Gamma, Helm, Johnson and Vlissides (also called "Gang of Four", GoF for short). All patterns are explained in detail by means of examples and also critically appreciated. Furthermore, design principles of object-oriented ... Leer más

    $1,091 MXN

  • Machine Learning with R

    de Abhijit Ghatak ...
    Series series Computer Science (R0)
    This book helps readers understand the mathematics of machine learning, and apply them in different situations. It is divided into two basic parts, the first of which introduces readers to the theory of linear algebra, probability, and data distributions and it’s applications to machine learning. It also includes a detailed introduction to the concepts and constraints of machine learning and what ... Leer más

    $1,036 MXN

  • Instant Buildroot

    de Daniel Manchón Vizuete ...
    Filled with practical, step-by-step instructions and clear explanations for the most important and useful tasks. A concise guide full of step-by-step recipes to help you learn how to generate and configure an embedded Linux system using Buildroot.Instant Buildroot is for developers who want to know how to use Buildroot tools to generate and configure their own embedded system. It is assumed that ... Leer más

    $284 MXN

  • C++ 2013 for C# Developers

    de Dean C. Wills ...
    C++ 2013 for C# Developers provides a fast-track to C++ proficiency forthose already using the C# language at an advanced level. Beginning with a detailed explanation of the mechanics of C++'s execution sequence, its grammar, syntax and data access you'll quickly learn the similarities and differences between C++ and C#.The second and third partsof the of the book are devoted to a detailed deep ... Leer más

    $1,171 MXN

  • Thinking with Diagrams

    Edición de Alan F. Blackwell ...
    This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research ... Leer más

    $2,488 MXN

  • Guide to ILDJIT

    de Simone Campanoni ...
    Series series Computer Science (R0)
    This book is a guide to getting started with ILDJIT, a compilation framework designed to be both easily extensible and easily configurable. Within this framework, it is possible to build a tool-chain by customizing ILDJIT for specific purposes. Customizations can be used within both static and dynamic compilers already included in the framework without adaptations. Moreover, customizations allow ... Leer más

    $909 MXN

  • NASA Formal Methods

    10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

    Edición de Aaron Dutle, César Muñoz, Anthony Narkawicz ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations ... Leer más

    $909 MXN

  • Software Engineering and Formal Methods

    17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

    Edición de Peter Csaba Ölveczky, Gwen Salaün ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware ... Leer más

    $909 MXN

  • Formal Methods and Software Engineering

    17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

    Edición de Michael Butler, Sylvain Conchon, Fatiha Zaïdi ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of ... Leer más

    $909 MXN