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 433 - 456 de 1195 resultados
Skip side bar filters

  • PROGRAMMING IN C# 10 - Basic Techniques

    de Mario De Ghetto ...
    Do you want to learn the basic techniques for programming in C# 10 and gain enough knowledge to start creating your own applications? Do you want to know how .NET 6.0, the compiler, Garbage Collector and Visual Studio 2022 work? Do you want to start laying the foundation for your new profession in software development? Or do you simply need to pass college exams in computer science or computer ... Leer más

    $199 MXN o gratis con Kobo Plus

  • Trends in Functional Programming

    22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers

    Edición de Viktória Zsók, John Hughes ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020.The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, ... Leer más

    $725 MXN

  • Automated Trading with R

    Quantitative Research and Platform Development

    de Chris Conlan ...
    Series series Professional and Applied Computing (R0)
    Learn to trade algorithmically with your existing brokerage, from data management, to strategy optimization, to order execution, using free and publicly available data. Connect to your brokerage’s API, and the source code is plug-and-play.Automated Trading with R explains automated trading, starting with its mathematics and moving to its computation and execution. You will gain a unique insight ... Leer más

    $1,356 MXN

  • Beginning Rust

    From Novice to Professional

    de Carlo Milanesi ...
    Series series Professional and Applied Computing (R0)
    Learn to program with Rust in an easy, step-by-step manner on Unix, Linux shell, macOS and the Windows command line. As you read this book, you’ll build on the knowledge you gained in previous chapters and see what Rust has to offer.Beginning Rust starts with the basics of Rust, including how to name objects, control execution flow, and handle primitive types. You’ll see how to do arithmetic, ... Leer más

    $966 MXN

  • Quick Clojure

    Effective Functional Programming

    de Mark McDonnell ...
    Series series Professional and Applied Computing (R0)
    Get up to speed with Clojure in this quick and practical primer. You'll learn the nuts and bolts of functional programming, data structures, sequences, destructuring, pattern matching, polymorphism, concurrency, conventions, and more. Author Mark McDonnell talks about organization with namespaces; how to change the language via macros; object-oriented programming; and creating command-line apps. ... Leer más

    $593 MXN

  • Building web applications with Vue.js

    MVVM patterns for conventional and single-page websites

    de Ralph Steyer ...
    Series series Computer Science (R0)
    Get started with Vue.js quickly and easily with this bookThis book provides a compact and practical introduction to the popular Vue.js. Use the MVVC concept for applications on the web on the basis of MVC design patterns and create single-page web applications easily. You will use one of the powerful frameworks based only on elementary WWW standard technologies. With Vue.js you will understand and ... Leer más

    $1,269 MXN

  • Automated Reasoning

    9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

    Edición de Didier Galmiche, Stephan Schulz, Roberto Sebastiani ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated Logic ... Leer más

    $906 MXN

  • DevOps in Python

    Infrastructure as Python

    de Moshe Zadka ...
    Series series Professional and Applied Computing (R0)
    Explore and apply best practices for efficient application deployment. This book draws upon author Moshe Zadka's years of Dev Ops experience and focuses on the parts of Python, and the Python ecosystem, that are relevant for DevOps engineers.You'll start by writing command-line scripts and automating simple DevOps-style tasks. You'll then move on to more advanced cases, like using Jupyter as an ... Leer más

    $898 MXN

  • Graph Transformation

    16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings

    Edición de Maribel Fernández, Christopher M. Poskitt ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 16th International Conference on Graph Transformation, ICGT 2023, held as Part of STAF 2023 in Leicester, UK, in July 2023.The 14 full papers and 2 short papers presented in this book were carefully reviewed and selected from 29 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of ... Leer más

    $1,178 MXN

  • FPGA EDA

    Design Principles and Implementation

    de Kaihui Tu, Xifan Tang, Cunxi Yu, Lana Josipović, Zhufei Chu ...
    Series series Computer Science (R0)
    This book focuses on FPGA EDA tools, the very foundation of FPGA technology. Instead of illustrating how to use them, this book dives into the tools themselves, revealing how these tools are being designed and how they may improve. Unlike other semiconductors, FPGA has a distinctive two-stage EDA system: chip design EDA and application design EDA.State-of-the-art algorithms, data models and design ... Leer más

    $997 MXN

  • Numerical Methods using MATLAB

    de Abhishek Gupta ...
    Series series Professional and Applied Computing (R0)
    Numerical Methods with MATLAB provides a highly-practical reference work to assist anyone working with numerical methods. A wide range of techniques are introduced, their merits discussed and fully working MATLAB code samples supplied to demonstrate how they can be coded and applied.Numerical methods have wide applicability across many scientific, mathematical, and engineering disciplines and are ... Leer más

    $966 MXN

  • Spring Quick Reference Guide

    A Pocket Handbook for Spring Framework, Spring Boot, and More

    de Adam L. Davis ...
    Series series Professional and Applied Computing (R0)
    Quickly gain the insight necessary to address a multitude of Java-based Spring Framework and Spring Boot coding challenges using this succinct reference guide. Short, focused code examples will help you master many of the Spring elements such as AOP, data access, MVC for web development, security, web services/REST for microservices development, Batch for large data sets, and more. You’ll also get ... Leer más

    $898 MXN

  • Formal Methods for Industrial Critical Systems

    25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

    Edición de Maurice H. ter Beek, Dejan Ničković ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. ... Leer más

    $906 MXN

  • Symposium on Real-Time and Hybrid Systems

    Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

    Edición de Cliff Jones, Ji Wang, Naijun Zhan ...
    Series series Computer Science (R0)
    This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017.The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic ... Leer más

    $906 MXN

  • Man vs. Machine

    Challenging Human Supremacy at Chess

    de Karsten Müller, Jonathan Schaeffer ...
    Man vs. Machine Technology continues to advance at a rapid pace. It may sound quaint today, but not so long ago, computers battled humans for supremacy at the game of chess. The challenge of building a computer program capable of defeating the best of human-kind at chess was one of the original grand challenges of the fledgling field of artificial intelligence. On one side were dedicated ... Leer más

    $435 MXN

  • Introducing Bootstrap 4

    de Jörg Krause ...
    Series series Professional and Applied Computing (R0)
    Learn how to use the front end CSS framework Bootstrap 4 to create powerful web applications. You'll work with all the components of Bootstrap 4 using easy-to-follow instructions and example code snippets. You'll also use Bootstrap 4 for typography, forms, and modules, and see how to structure your page and your code to be optimally efficient.CSS frameworks give front end developers the capability ... Leer más

    $678 MXN

  • Programming Languages and Systems

    35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part II

    Edición de Robbert Krebbers ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.The 31 full papers included in the proceedings, together with one invited talk, were carefully reviewed and ... Leer más

    Gratis

  • Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

    16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

    Edición de Marco Bernardo, Rocco De Nicola, Jane Hillston ...
    Series series Computer Science (R0)
    This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, ... Leer más

    $906 MXN

  • Verified Software. Theories, Tools, and Experiments

    10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

    Edición de Ruzica Piskac, Philipp Rümmer ...
    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, ... Leer más

    $906 MXN

  • Pro Jakarta EE 10

    Open Source Enterprise Java-based Cloud-native Applications Development

    de Peter Späth ...
    Series series Professional and Applied Computing (R0)
    Welcome to your in-depth professional guide to the open source Eclipse Jakarta EE 10 platform. This book will help you build more complex native enterprise Java-based cloud and other applications that can run in corporate and other mission-critical settings. The majority of the key Jakarta EE 10 APIs or features are dissected in this book, including JSF, JSP, JPA, CDI, REST, Microprofiles, ... Leer más

    $1,067 MXN

  • Formal Methods for Industrial Critical Systems

    29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings

    Edición de Anne E. Haxthausen, Wendelin Serwe ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9–13, 2024.The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and ... Leer más

    $1,178 MXN

  • Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

    Edición de Isil Dillig, Serdar Tasiran ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical ... Leer más

    Gratis

  • Maîtriser le Développement d'Applications Mobiles : De Swift à Kotlin, une Approche Complète

    Un Guide Pratique pour Créer des Applications Mobiles Modernes sur iOS et Android

    de YVES SITBON ...
    Ce livre est un guide complet destiné aux développeurs cherchant à exceller dans la création d'applications mobiles sur les plateformes iOS et Android. Couvrant les langages de programmation Swift et Kotlin, ainsi que les frameworks tels que Flutter, ce livre offre une exploration détaillée des meilleures pratiques, des outils essentiels et des techniques avancées nécessaires pour réussir dans le ... Leer más

    $242 MXN o gratis con Kobo Plus

  • Practical R 4

    Applying R to Data Manipulation, Processing and Integration

    de Jon Westfall ...
    Series series Professional and Applied Computing (R0)
    Get started with an accelerated introduction to the R ecosystem, programming language, and tools including R script and RStudio. Utilizing many examples and projects, this book teaches you how to get data into R and how to work with that data using R. Once grounded in the fundamentals, the rest of Practical R 4 dives into specific projects and examples starting with running and analyzing a survey ... Leer más

    $1,067 MXN