Skip to main content

Winkelwagen

Je krijgt de VIP-behandeling!

Artikel(en) niet beschikbaar voor aankoop
Bekijk je winkelwagentje. Je kunt de niet-beschikbare artikelen nu verwijderen of we verwijderen ze bij de kassa automatisch.
artikelenartikel
artikelenartikel

Aanbevolen voor jou

Loading...

eBooks in de categorie Compilers

Als je eBooks uit de categorie Compilers' leuk vindt, dan vind je deze toptitels ook geweldig.
25 - 48 van 1280 resultaten worden weergegeven
Skip side bar filters
  • Logic for Programming, Artificial Intelligence, and Reasoning

    20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, ... Meer lezen

    47,69 €

  • Information Security

    16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings

    Bewerkt door Yvo Desmedt ...
    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Information Security, ISC 2013, held in Dallas, Texas, in November 2013.The 16 revised full papers presented together with 14 short papers were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics in the area of cryptography and cryptanalysis and ... Meer lezen

    47,69 €

  • Advanced Parallel Processing Technologies

    11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

    Bewerkt door Yunji Chen, Paolo Ienne, Qing Ji ...
    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 11th International Symposium on Advanced Parallel Processing Technologies, APPT 2015, held in Jinan, China, in August 2015. The 8 papers presented in this volume were carefully reviewed and selected from 24 submissions. They deal with the recent advances in big data processing; parallel architectures and systems; parallel software; parallel algorithms ... Meer lezen

    38,15 €

  • Runtime Verification

    17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

    Bewerkt door Shuvendu Lahiri, Giles Reger ...
    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017.The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 submissions.The RV conference is concerned with all aspects of ... Meer lezen

    47,69 €

  • New Opportunities for Software Reuse

    17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Software Reuse, ICSR 2018, held in Madrid, Spain, in May 2018.The 9 revised full papers and 2 short papers presented were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: variability management; hierarchies and reuse measures; dependencies and ... Meer lezen

    104,93 €

  • Rewriting Logic and Its Applications

    12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

    Bewerkt door Vlad Rusu ...
    Serie series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency, ... Meer lezen

    47,69 €

  • Formal Methods Teaching

    Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; ... Meer lezen

    47,69 €

  • Coordination Models and Languages

    22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

    Bewerkt door Simon Bliudze, Laura Bocchi ...
    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic.The 12 full papers and 6 short papers ... Meer lezen

    47,69 €

  • Intelligent Computer Mathematics

    11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018.The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also ... Meer lezen

    47,69 €

  • Dependable Software Engineering. Theories, Tools, and Applications

    4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories,Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions.The purpose of SETTA is to provide an international forum for researchers and ... Meer lezen

    47,69 €

  • Integration of Constraint Programming, Artificial Intelligence, and Operations Research

    16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, held in Thessaloniki, Greece, in June 2019.The 34 full papers presented together with 9 short papers were carefully reviewed and selected from 94 submissions. The conference brings together interested researchers from ... Meer lezen

    47,69 €

  • Formal Methods for Industrial Critical Systems

    24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), ... Meer lezen

    47,69 €

  • Tests and Proofs

    13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

    Bewerkt door Dirk Beyer, Chantal Keller ...
    Serie series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019.The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and ... Meer lezen

    47,69 €

  • PRICAI 2019: Trends in Artificial Intelligence

    16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I

    Bewerkt door Abhaya C. Nayak, Alok Sharma ...
    Serie Boek 1 - Springer Nature Proceedings Computer Science
    This three-volume set, LNAI 11670, LNAI 11671, and LNAI 11672 constitutes the thoroughly refereed proceedings of the 16th Pacific Rim Conference on Artificial Intelligence, PRICAI 2019, held in Cuvu, Yanuca Island, Fiji, in August 2019.The 111 full papers and 13 short papers presented in these volumes were carefully reviewed and selected from 265 submissions. PRICAI covers a wide range of topics ... Meer lezen

    47,69 €

  • Rediscovering Redis: Mastering Data Management

    "Rediscovering Redis: Mastering Data Management" is an essential guide for developers, data engineers, and IT professionals looking to deepen their understanding of Redis, the high-performance in-memory database platform. This comprehensive resource delves into the core principles of Redis, from basic data structures to advanced features like clustering and persistence, offering readers a thorough ... Meer lezen

    9,49 € of Gratis met Kobo Plus

  • Developing Turn-Based Multiplayer Games

    with GameMaker Studio 2 and NodeJS

    door Yadu Rajiv ...
    Serie series Professional and Applied Computing (R0)
    Create your first turn-based multiplayer game using GameMaker Studio 2’s built-in networking functions as well as using a simple NodeJS server. This book introduces you to the complexities of network programming and communication, where the focus will be on building the game from the ground up.You will start with a brief introduction to GameMaker Studio 2 and GML coding before diving into the ... Meer lezen

    33,06 €

  • DevOps in Python

    Infrastructure as Python

    door Moshe Zadka ...
    Serie 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 ... Meer lezen

    47,27 €

  • Go Recipes

    A Problem-Solution Approach

    door Shiju Varghese ...
    Serie series Professional and Applied Computing (R0)
    Solve your Go problems using a problem-solution approach. Each recipe is a self-contained answer to a practical programming problem in Go. Go Recipes contains recipes that deal with the fundamentals of Go, allowing you to build simple, reliable, and efficient software. Other topics include working with data using modern NoSQL databases such as MongoDB and RethinkDB. The book provides in-depth ... Meer lezen

    41,97 €

  • Game Development with Construct 2

    From Design to Realization

    Serie series Professional and Applied Computing (R0)
    Design and create video games using Construct 2. No prior experience is required.Game Development with Construct 2 teaches you to create 12 different game projects from a variety of genres, including car racing and tower defense to platformer and action-adventure. The software is user friendly and powerful, and the games you create can be exported to run on the web, desktop computers, and ... Meer lezen

    56,17 €

  • Interpreting LISP

    Programming and Data Structures

    door Gary D. Knott ...
    Serie series Professional and Applied Computing (R0)
    Learn Lisp programming in a data structures context, including tables, functions, forms, expressions, typed-pointers, I/O, garbage collection and some applications. This short primer contains a careful description of the data structures manipulated by Lisp functions. These data structures and others, notably hash tables, are also used in constructing a Lisp interpreter.Interpreting Lisp will be of ... Meer lezen

    33,06 €

  • Guide to Programming and Algorithms Using R

    door Özgür Ergül ...
    Serie series Computer Science (R0)
    This easy-to-follow textbook provides a student-friendly introduction to programming and algorithms. Emphasis is placed on the threshold concepts that present barriers to learning, including the questions that students are often too embarrassed to ask. The book promotes an active learning style in which a deeper understanding is gained from evaluating, questioning, and discussing the material, and ... Meer lezen

    47,69 €

  • Formalizing Data-Centric Web Services

    door Iman Saleh ...
    Serie series Computer Science (R0)
    This book presents a methodology to model and specify the data aspect of Web services, as it is overlooked by current standards for specifying Web services. The formal specification enables verification of service behavior, and the proposed methodology is based on formal methods and design-by-contract techniques.The Web has evolved from an information sharing medium to a wide-scale environment for ... Meer lezen

    47,69 €

  • Digital Electronics for Musicians

    Build Intuitive Electronics and Electroacoustic Music Interfaces

    Serie series Professional and Applied Computing (R0)
    Dive into the world of computer music and physical computing and stay ahead of the melodic curve. This book is aimed at adventurous musicians who want to learn about music programming with Arduino, sensors, and Pure Data, and how to make new interfaces and instruments with that knowledge.In this updated version, you can expect a wave of updates that bring the content in sync with the latest tech ... Meer lezen

    53,52 €

  • PHP Objects, Patterns, and Practice

    door MATT ZANDSTRA ...
    Serie series Professional and Applied Computing (R0)
    Aided by three key elements: object fundamentals, design principles, and best practices, you'll learn how to develop elegant and rock solid systems using PHP.The 5th edition of this popular book has been fully updated for PHP 7, including replacing the PEAR package manager with Composer, and new material on Vagrant and PHP standards. It provides a solid grounding in PHP's support for objects, it ... Meer lezen

    59,77 €