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 409 - 432 de 1266 resultados
Skip side bar filters
  • Tools for High Performance Computing 2011

    Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

    Series series Springer Nature Proceedings Computer Science
    The proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools and environments in the fields of System Management, Parallel Debugging and Performance Analysis. In the pursuit to maintain exponential growth for the performance of high performance computers the HPC community is currently targeting Exascale Systems. ... Leer más

    $1,632 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 I

    Edición de Robbert Krebbers ...
    Series Libro 1 - 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

  • C++20 Quick Syntax Reference

    A Pocket Guide to the Language, APIs, and Library

    de Mikael Olsson ...
    Series series Professional and Applied Computing (R0)
    This quick C++ 20 guide is a condensed code and syntax reference to the popular programming language, fully updated for C++20. It presents the essential C++20 code syntax in a well-organized format that can be used as a handy reference.This edition covers topics including designated initializers, lambdas and lambda captures, the spaceship operator, pack expressions, string literals as template ... Leer más

    $1,067 MXN

  • Verified Software. Theories, Tools, and Experiments

    8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

    Edición de Sandrine Blazy, Marsha Chechik ...
    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions.The goal of the VSTTE conference is to advance ... Leer más

    $906 MXN

  • Practical MATLAB Deep Learning

    A Projects-Based Approach

    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

    $1,067 MXN

  • Implementing Effective Code Reviews

    How to Build and Maintain Clean Code

    Series series Professional and Applied Computing (R0)
    The ideal code review process differs from organization to organization, but the needs all boil down to the same foundational factors. A software development team cannot properly grow if its code reviews are not consistent, straightforward, and aspire to hit several company goals at once, such as security, performance, longevity, and more. Implementing Effective Code Reviews is the manual your ... Leer más

    $1,135 MXN

  • Practical Aspects of Declarative Languages

    25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

    Edición de Michael Hanus, Daniela Inclezan ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic ... Leer más

    $1,360 MXN

  • Accelerator Programming Using Directives

    8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place in November 2021. The conference was held as hybrid event.WACCPD is one of the major forums for bringing together users, developers, and the software and tools community to share knowledge and experiences when programming emerging complex parallel ... Leer más

    $997 MXN

  • Java Design Patterns

    A Hands-On Experience with Real-World Examples

    Series series Professional and Applied Computing (R0)
    Use the step-by-step approach of this book to learn and implement design patterns in real-world applications. It focuses on classical design patterns with Java 17 and Eclipse (2021-09). In addition to Gang of Four (GoF) design patterns, the book covers popular and alternative design patterns and includes criticisms of design patterns in a chapter on anti-patterns.The book is divided into four ... Leer más

    $1,135 MXN

  • Programmieren lernen mit Python und JavaScript

    Eine praxisorientierte Einführung für Einsteiger

    Series series Computer Science and Engineering (German Language)
    Ob auf dem Computer, Tablet, Handy, im Auto oder in der Kaffeemaschine – Computerprogramme bestimmen unseren Alltag. Software wird immer wichtiger, kaum noch etwas funktioniert ohne die geheimnisvolle Macht der Algorithmen. Aber wie funktionieren Programme? Und wie entwickelt man sie? Dieses Buch vermittelt Ihnen anschaulich das Einmaleins des Programmierens. Anhand von Alltagsbeispielen lernen ... Leer más

    $678 MXN

  • Beginning HCL Programming

    Using Hashicorp Language for Automation and Configuration

    Series series Professional and Applied Computing (R0)
    Get started with programming and using the Hashicorp Language (HCL). This book introduces you to the HCL syntax and its ecosystem then it shows you how to integrate it as part of an overall DevOps approach.Next, you’ll learn how to implement infrastructure as code, specifically, using the Terraform template, a set of cloud infrastructure automation tools. As part of this discussion, you’ll cover ... Leer más

    $898 MXN

  • Programming Languages and Systems

    20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings

    Edición de Ilya Sergey ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Semantics and Analysis; Testing and Verification; Types. ... Leer más

    $1,178 MXN

  • Monotonicity in Logic and Language

    Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings

    Series series Springer Nature Proceedings Computer Science
    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020. The 12 full papers together presented were fully reviewed and selected from 40 submissions.Due to COVID-19 the workshop will be held ... Leer más

    $1,269 MXN

  • Automated Technology for Verification and Analysis

    15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

    Edición de K. Narayan Kumar, Deepak D'Souza ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in ... Leer más

    $906 MXN

  • String Analysis for Software Verification and Security

    Series series Computer Science (R0)
    This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string ... Leer más

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

    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

    $906 MXN

  • 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

    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

    $725 MXN

  • Practical Aspects of Declarative Languages

    20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected ... Leer más

    $725 MXN

  • Topics in Theoretical Computer Science

    Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming ... Leer más

    $906 MXN

  • Runtime Verification

    6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

    Edición de Ezio Bartocci, Rupak Majumdar ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions.The discussion of the conference ... Leer más

    $906 MXN

  • Software Engineering for Resilient Systems

    7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and ... Leer más

    $725 MXN

  • Beginning C for Arduino, Second Edition

    Learn C Programming for the Arduino

    de Jack Purdum ...
    Series series Professional and Applied Computing (R0)
    Beginning C for Arduino, Second Edition is written for those who have no prior experience with microcontrollers or programming but would like to experiment and learn both. Updated with new projects and new boards, this book introduces you to the C programming language, reinforcing each programming structure with a simple demonstration of how you can use C to control the Arduino family of ... Leer más

    $1,135 MXN

  • Sudoku Programming with C

    de Giulio Zambon ...
    Series series Professional and Applied Computing (R0)
    Sudoku Programming with C teaches you how to write computer programs to solve and generate Sudoku puzzles. This is a practical book that will provide you with everything you need to write your own books of Sudoku Classic and Samurai puzzles. But be warned: after reading it, you'll discover that the puzzles in your local paper are not so challenging after all!We like Sudokus because they test our ... Leer más

    $966 MXN

  • Haskell-Intensivkurs

    Ein kompakter Einstieg in die funktionale Programmierung

    Series series Computer Science and Engineering (German Language)
    Das Buch bietet eine kompakte Einführung in die funktionale Programmierung mit Haskell. Zunächst werden grundlegende Konzepte anhand von anschaulichen Beispielen vermittelt, die das Fundament für die funktionale Programmentwicklung bilden. Anschließend werden fortgeschrittene Aspekte behandelt, um das Verständnis weiter zu vertiefen. Mit zahlreichen Anwendungen und Themengebieten, die gemeinsam ... Leer más

    $678 MXN