Skip to main content
Search Button
Chile 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 265 - 288 de 1192 resultados
Skip side bar filters

  • Formal Methods

    22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

    Edición de Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical ... Leer más

    $101,133 CLP

  • Agile Swift

    Swift Programming Using Agile Tools and Techniques

    de Godfrey Nolan ...
    Series series Professional and Applied Computing (R0)
    Make your Swift apps agile and sound with this short step by step guide. You'll learn about unit testing, mocking and continuous integration and how to get these key ingredients running in your Swift projects. This book also looks at how to write your Swift apps using test driven development (TDD).Agile practices have made major inroads in iOS development, however it’s very unusual to see ... Leer más

    $36,750 CLP

  • Formal Methods: Foundations and Applications

    19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

    Edición de Thierry Lecomte, Leila Ribeiro ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking. ... Leer más

    $56,180 CLP

  • C Quick Syntax Reference

    de Mikael Olsson ...
    Series series Professional and Applied Computing (R0)
    The C Quick Syntax Reference is a condensed code and syntax reference to the popular C programming language, which has enjoyed some resurgence of late. C's efficiency makes it a popular choice in a wide variety of applications and operating systems with special applicability to, for instance, wearables, game programming, system level programming, embedded device/firmware programming and in Arduino ... Leer más

    $25,492 CLP

  • Quick Start Guide to Dart Programming

    Create High-Performance Applications for the Web and Mobile

    de Sanjib Sinha ...
    Series series Professional and Applied Computing (R0)
    Get started with Dart and learn to program with this language suitable for high-performing, modern applications. You'll gain the basics and be ready to move to the next level: web and mobile apps. While you won't learn the specifics of programming web and mobile apps, you will have the foundation to take your Dart skills in that direction.This book starts with an introduction to the Dart IDE, ... Leer más

    $59,855 CLP

  • Dynamic Logic. New Trends and Applications

    Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings

    Edición de Luís Soares Barbosa, Alexandru Baltag ...
    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

    $56,180 CLP

  • Modern CMake for C++

    Discover a better approach to building, testing, and packaging your software

    de Rafal Swidzinski ...
    Write comprehensive, professional-standard CMake projects and ensure the quality and simplicity of your solutionsPurchase of the print or Kindle book includes a free eBook in the PDF formatKey FeaturesUnderstand and automate compilation and linking with CMakeManage internal and external dependencies easilyAdd quality checks and tests as an inherent step for your buildsBook Description... ... Leer más

    $36,645 CLP o gratis con Kobo Plus

  • Practical MATLAB Deep Learning

    A Projects-Based Approach

    de Michael Paluszek, Stephanie Thomas, Eric Ham ...
    Series series Professional and Applied Computing (R0)
    Harness the power of MATLAB for deep-learning challenges. Practical MATLAB Deep Learning, Second Edition, remains a one-of a-kind book that provides an introduction to deep learning and using MATLAB's deep-learning toolboxes. In this book, you’ll see how these toolboxes provide the complete set of functions needed to implement all aspects of deep learning. This edition includes new and expanded ... Leer más

    $66,160 CLP

  • Search Based Software Engineering

    9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

    Edición de Tim Menzies, Justyna Petke ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Symposium on Search-Based Software Engineering, SSBSE 2017, held in Paderborn, Germany, in September 2017.The 7 full papers and 5 short papers presented together with 4 challenge track and 2 students student track papers were carefully reviewed and selected from 26 submissions.SSBSE welcomes not only applications from ... Leer más

    $56,180 CLP

  • Windows APT Warfare

    Identify and prevent Windows APT attacks effectively

    de Sheng-Hao Ma ...
    Learn Windows system design from the PE binary structure to modern and practical attack techniques used by red teams to implement advanced prevention Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesUnderstand how malware evades modern security productsLearn to reverse engineer standard PE format program filesBecome familiar with modern attack techniques used by multiple ... Leer más

    $36,645 CLP o gratis con Kobo Plus

  • Low Level X Window Programming

    An Introduction by Examples

    de Ross J. Maloney ...
    Series Libro 10 - Computer Science (R0)
    This is the missing X Window book. While others have shown what the X Window system has available, this book shows how to convert this potential into working tools to fulfil your visualisation needs. It is of the show-me class of books.The majority of the book covers Xlib, although a short coverage of Xcb is also given. Included are:. The relationship between Xlib and the X Window protocol;. All ... Leer más

    $78,657 CLP

  • Exploring C++ 11

    de Ray Lischner ...
    Series series Professional and Applied Computing (R0)
    Exploring C++ divides C++ up into bite-sized chunks that will help you learn the language one step at a time. Assuming no familiarity with C++, or any other C-based language, you’ll be taught everything you need to know in a logical progression of small lessons that you can work through as quickly or as slowly as you need.C++ can be a complicated language. Writing even the most straight-forward of ... Leer más

    $66,160 CLP

  • The China Information Technology Handbook

    Edición de Patricia Ordóñez de Pablos, Miltiadis D. Lytras ...
    Series series Computer Science (R0)
    Miltiadis D. Lytras and Patricia Ordóñez de Pablos Department of Computer Engineering and Informatics, University of Patras, Greece Dept. of Business Administration and Accountability, University of Oviedo, Spain China is a fast-growing emerging economy and current impressive economic growth rate of almost 9 percent annually. Its contribution to global GDP growth since 2000 has been almost twice ... Leer más

    $224,754 CLP

  • Exploring the .NET Core 3.0 Runtime

    Through Code Generation and Metadata Inspection

    de Roger Villela ...
    Series series Professional and Applied Computing (R0)
    Explore advanced .NET APIs and create a basic .NET core library with dynamic code generation and metadata inspection to be used by other libraries or client applications. This book starts with the benefits of .NET including its fundamental tasks and tools where you will learn .NET SDK tools and the ILDasm tool. This is followed by a detailed discussion on code generation in .NET API programming ... Leer más

    $38,850 CLP

  • Unifying Theories of Programming

    7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

    Edición de Pedro Ribeiro, Augusto Sampaio ...
    Series series Springer Nature Proceedings Computer Science
    This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP ... Leer más

    $56,180 CLP

  • Exploring C++20

    The Programmer's Introduction to C++

    de Ray Lischner ...
    Series series Professional and Applied Computing (R0)
    Discover everything you need to know about C++ in a logical progression of small lessons that you can work through as quickly or as slowly as you need. This book divides C++ up into bite-sized chunks that will help you learn the language one step at a time. Fully updated to include C++20, it assumes no familiarity with C++ or any other C-based language.Exploring C++20acknowledges that C++ can be a ... Leer más

    $89,265 CLP

  • More Math Into LaTeX

    de George Grätzer ...
    Series series Computer Science (R0)
    For over two decades, this comprehensive manual has been the standard introduction and complete reference for writing articles and books containing mathematical formulas. If the reader requires a streamlined approach to learning LaTeX for composing everyday documents, Grätzer’s © 2014 Practical LaTeX may also be a good choice.In this carefully revised fifth edition, the Short Course has been ... Leer más

    $95,514 CLP

  • Aprende programación de computadoras

    de Miguel Ángel Aquino Martínez, Fernando Aquino Medina ...
    El libro está dirigido a profesionales como abogados, contadores, administradores, estudiantes de nivel básico hasta superior, profesores y en general a cualquier persona que tenga interés por la programación de computadoras. La secuencia de los temas está diseñado para que cualquiera pueda aprender paso a paso los alcances y las limitaciones de cada uno de los componentes de los lenguajes de ... Leer más

    $11,305 CLP o gratis con Kobo Plus

  • Graph Transformation

    10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

    Edición de Juan de Lara, Detlef Plump ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 14 papers presented were carefully reviewed and selected from 23 submissions. The papers cover a wide range of topics including theoretical approaches to graph transformation and their verification, model-driven ... Leer más

    $56,180 CLP

  • CODING INTERVIEWS G U I D E

    Essential Guide to Prepare You with the Most Effective Case Studies and Coding Interview Questions

    de Olivia Miller ...
    What if you could learn everything you need to ace the coding interview in just a few hours?You can.This book will give you the tools and resources to prepare for your next coding interview and ace it easily. You'll learn how to preparefor your first coding interview and how to answer common questions.This book is perfect for both newbies and experienced professionals alike. ... Leer más

    $5,348 CLP

  • Pointers in C

    A Hands on Approach

    de Hrishikesh Dewan, Naveen Toppo ...
    Series series Professional and Applied Computing (R0)
    Pointers in C provides a resource for professionals and advanced students needing in-depth but hands-on coverage of pointer basics and advanced features. The goal is to help programmers in wielding the full potential of pointers.In spite of its vast usage, understanding and proper usage of pointers remains a significant problem. This book’s aim is to first introduce the basic building blocks such ... Leer más

    $66,160 CLP

  • Multi-Paradigm Programming using C++

    de Dirk Vermeir ...
    An Introduction to Multi-Paradigm Programming using C++ is a self-contained reference book for those studying and using C++. Starting from scratch, Dirk Vermeir explains the idea of address, value and type in C++ before quickly moving on to cover the more important aspects of the language such as classes, templates, generic programming and inheritance. He includes recent developments in C++, such ... Leer más

    $101,133 CLP

  • Cyber Physical Systems. Model-Based Design

    9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers

    Edición de Roger Chamberlain, Martin Edin Grimheden, Walid Taha ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from ... Leer más

    $56,180 CLP

  • 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

    $56,180 CLP