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 97 - 120 de 1248 resultados
Skip side bar filters

  • Introduction to Deep Learning Using R

    A Step-by-Step Guide to Learning and Implementing Deep Learning Models Using R

    de Taweh Beysolow II ...
    Series series Business and Management (R0)
    Understand deep learning, the nuances of its different models, and where these models can be applied.The abundance of data and demand for superior products/services have driven the development of advanced computer science techniques, among them image and speech recognition. Introduction to Deep Learning Using R provides a theoretical and practical understanding of the models that perform these ... Leer más

    $1,083 MXN

  • The Cloud Puzzle Solved: Azure Design Patterns

    de Kameron Hussain, Frahaan Hussain ...
    Unravel the complexities of cloud architecture with The Cloud Puzzle Solved: Azure Design Patterns, a comprehensive guide crafted for modern developers, architects, and tech leaders looking to master Microsoft Azure. This book demystifies the vast landscape of Azure by breaking it down into proven design patterns that solve real-world problems with clarity and precision.Whether you're designing ... Leer más

    $172 MXN o gratis con Kobo Plus

  • The Art and Science of Game Development: Theoretical Foundations and Practical Insights

    de Kameron Hussain, Frahaan Hussain ...
    "The Art and Science of Game Development: Theoretical Foundations and Practical Insights" is an essential guide for anyone passionate about creating engaging and innovative video games. This comprehensive book bridges the gap between theoretical concepts and practical application, making it a valuable resource for both novice developers and seasoned professionals.Dive deep into the theoretical ... Leer más

    $172 MXN

  • LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries

    Design powerful and reliable compilers using the latest libraries and tools from LLVM

    de Min-Yih Hsu ...
    Learn how you can build the next big programming language, compiler, or source code analyzer using LLVM and ClangKey FeaturesExplore Clang, LLVM’s middle-end and backend, in a pragmatic wayDevelop your LLVM skillset and get to grips with a variety of common use casesEngage with real-world LLVM development through various coding examplesBook DescriptionEvery programmer or engineer, at some point in ... Leer más

    $753 MXN o gratis con Kobo Plus

  • LLVM Code Generation

    A deep dive into compiler backend development

    de Quentin Colombet ...
    Explore the world of code generation with the LLVM infrastructure, and learn how to extend existing backends or develop your own Get With Your Book: PDF Copy, AI Assistant, and Next-Gen Reader FreeKey FeaturesUnderstand the steps involved in generating assembly code from LLVM IRLearn the key constructs needed to leverage LLVM for your hardware or backendStrengthen your understanding with targeted ... Leer más

    $739 MXN o gratis con Kobo Plus

  • Topics in Parallel and Distributed Computing

    Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms

    Edición de Sushil K. Prasad, Anshul Gupta, Arnold Rosenberg, Alan Sussman, Charles Weems ...
    Series series Computer Science (R0)
    This book introduces beginning undergraduate students of computing and computational disciplines to modern parallel and distributed programming languages and environments, including map-reduce, general-purpose graphics processing units (GPUs), and graphical user interfaces (GUI) for mobile applications. The book also guides instructors via selected essays on what and how to introduce parallel and ... Leer más

    $1,012 MXN

  • Workload Characterization for Computer System Design

    Edición de Lizy Kurian John, Ann Marie Grizzaffi Maynard ...
    Series Libro 542 - The Springer International Series in Engineering and Computer Science
    The advent of the world-wide web and web-based applications have dramatically changed the nature of computer applications. Computer system design, in the light of these changes, involves understanding these modem workloads, identifying bottlenecks during their execution, and appropriately tailoring microprocessors, memory systems, and the overall system to minimize bottlenecks. This book contains ... Leer más

    $1,656 MXN

  • Chatbot Research and Design

    5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 23–24, 2021, Revised Selected Papers

    Edición de Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Petter Bae Brandtzaeg ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 5th International Workshop on Chatbot Research and Design, CONVERSATIONS 2021, which was held during November 2021.Due to COVID-19 pandemic the conference was held online.The 12 papers included in this volume were carefully reviewed and selected from a total of 25 submissions. The papers in the proceedings are structured in four topical groups: Chatbot ... Leer más

    $1,196 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

    $736 MXN

  • JRuby Rails Web Application Development

    de Deepak Vohra ...
    Series series Computer Science (R0)
    This SpringerBrief explains how to create a Rails web application with JRuby, a 100% Java implementation for Ruby. This brief demonstrates how Oracle® WebLogic servers and JBoss® application servers deploy the JRuby application, how JRuby runs on the Java® Virtual Machine, and how JRuby is the basis for popular websites including LinkedIn, Oracle Mix, and Mingle. The Oracle® database and Oracle® ... Leer más

    $920 MXN

  • Composability, Comprehensibility and Correctness of Working Software

    8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers

    Edición de Zoltán Porkoláb, Viktória Zsók ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software. ... Leer más

    $1,380 MXN

  • 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

    $980 MXN

  • Database Systems for Advanced Applications. DASFAA 2023 International Workshops

    BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023, Proceedings

    Edición de Amr El Abbadi, Gillian Dobbie, Zhiyong Feng, Lu Chen, Xiaohui Tao, Yingxia Shao, Hongzhi Yin ...
    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the papers of several workshops which were held in conjunction with the 28th International Conference on Database Systems for Advanced Applications, DASFAA 2023, held in Tanjin, China, in April 2023.The 23 revised full papers presented in this book were carefully reviewed and selected from 40 submissions. DASFAA 2023 presents the following four workshops:9th International ... Leer más

    $1,380 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,656 MXN

  • Learning and Reasoning

    4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, Nanjing, China, September 20–22, 2024, Proceedings

    Edición de Wang-Zhou Dai ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, held in Nanjing, China during September 20–22, 2024.The 13 full papers and 5 short papers presented in this book were carefully selected and reviewed from 25 submissions. These papers have been organized in the ... Leer más

    $2,207 MXN

  • Relational and Algebraic Methods in Computer Science

    17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

    Edición de Jules Desharnais, Walter Guttmann, Stef Joosten ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the ... Leer más

    $920 MXN

  • Software Engineering and Formal Methods

    13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

    Edición de Radu Calinescu, Bernhard Rumpe ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal ... Leer más

    $920 MXN

  • Structured Object-Oriented Formal Language and Method

    Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

    Edición de Zhenhua Duan, Shaoying Liu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model ... Leer más

    $920 MXN

  • Engineering Trustworthy Software Systems

    First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

    Edición de Zhiming Liu, Zili Zhang ...
    Series series Springer Nature Proceedings Computer Science
    This volume contains the lecture notes of the five courses and one seminar given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in September 2014 at Southwest University in Chongqing, China.The material is useful for postgraduate students, researchers, academics and industrial engineers who are interested in the theory and practice of methods and tools for the design ... Leer más

    $920 MXN

  • OpenMP: Memory, Devices, and Tasks

    12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

    Edición de Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 12th International Workshop on OpenMP, IWOMP 2016, held in Nara, Japan, in October 2016.The 24 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: applications, locality, task parallelism, extensions, tools, accelerator programming, and performance evaluations and ... Leer más

    $920 MXN

  • 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

    $920 MXN

  • Formal Methods and Software Engineering

    18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

    Edición de Kazuhiro Ogata, Mark Lawford, Shaoying Liu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and ... Leer más

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

    $920 MXN

  • Static Analysis

    32nd International Symposium, SAS 2025, Singapore, Singapore, October 13–14, 2025, Proceedings

    Edición de Hakjoo Oh, Yulei Sui ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully reviewed and selected from 32 submissions.The papers presented in this book deal with abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging ... Leer más

    $1,343 MXN