Skip to main content

Indkøbskurv

Du får VIP-behandling!

Vare(r) ikke tilgængelig til køb
Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.
varervare
varervare

Anbefalet til dig

Loading...

Udarbejdere e-bøger

Hvis du kan lide Udarbejdere e-bøger, så vil du elske disse fremragende valg.
Viser 25 - 48 af 1273 resultater
Skip side bar filters
  • Information Security

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

    Redigeret af Yvo Desmedt ...
    Serier serie 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 ... Læs mere

    420,11 kr.

  • Advanced Parallel Processing Technologies

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

    Redigeret af Yunji Chen, Paolo Ienne, Qing Ji ...
    Serier serie 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 ... Læs mere

    336,11 kr.

  • Runtime Verification

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

    Redigeret af Shuvendu Lahiri, Giles Reger ...
    Serier serie 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 ... Læs mere

    420,11 kr.

  • New Opportunities for Software Reuse

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

    Serier serie 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 ... Læs mere

    924,36 kr.

  • Rewriting Logic and Its Applications

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

    Redigeret af Vlad Rusu ...
    Serier serie 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, ... Læs mere

    420,11 kr.

  • 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

    Serier serie 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; ... Læs mere

    420,11 kr.

  • 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

    Redigeret af Simon Bliudze, Laura Bocchi ...
    Serier serie 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 ... Læs mere

    420,11 kr.

  • Intelligent Computer Mathematics

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

    Serier serie 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 ... Læs mere

    420,11 kr.

  • Dependable Software Engineering. Theories, Tools, and Applications

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

    Serier serie 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 ... Læs mere

    420,11 kr.

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

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

    Serier serie 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 ... Læs mere

    420,11 kr.

  • Formal Methods for Industrial Critical Systems

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

    Serier serie 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), ... Læs mere

    420,11 kr.

  • 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

    Redigeret af Dirk Beyer, Chantal Keller ...
    Serier serie 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 ... Læs mere

    420,11 kr.

  • 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

    Redigeret af Abhaya C. Nayak, Alok Sharma ...
    Serier Bog 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 ... Læs mere

    420,11 kr.

  • 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 ... Læs mere

    63,35 kr. eller Gratis med Kobo Plus

  • Developing Turn-Based Multiplayer Games

    with GameMaker Studio 2 and NodeJS

    af Yadu Rajiv ...
    Serier serie 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 ... Læs mere

    290,61 kr.

  • DevOps in Python

    Infrastructure as Python

    af Moshe Zadka ...
    Serier serie 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 ... Læs mere

    416,24 kr.

  • Go Recipes

    A Problem-Solution Approach

    Serier serie 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 ... Læs mere

    369,11 kr.

  • Game Development with Construct 2

    From Design to Realization

    Serier serie 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 ... Læs mere

    494,74 kr.

  • Interpreting LISP

    Programming and Data Structures

    af Gary D. Knott ...
    Serier serie 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 ... Læs mere

    290,61 kr.

  • Guide to Programming and Algorithms Using R

    Serier serie 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 ... Læs mere

    420,11 kr.

  • Formalizing Data-Centric Web Services

    af Iman Saleh ...
    Serier serie 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 ... Læs mere

    420,11 kr.

  • Digital Electronics for Musicians

    Build Intuitive Electronics and Electroacoustic Music Interfaces

    Serier serie 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 ... Læs mere

    471,24 kr.

  • PHP Objects, Patterns, and Practice

    af MATT ZANDSTRA ...
    Serier serie 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 ... Læs mere

    526,24 kr.

  • Mastering Hybrid Cloud with Azure: Seamless Integration of On-Premises and Cloud Workloads

    Unlock the full potential of hybrid cloud with "Mastering Hybrid Cloud with Azure", the definitive guide for IT professionals, architects, and decision-makers looking to integrate on-premises infrastructure with Microsoft Azure. As enterprises embrace the flexibility and scalability of the cloud, the hybrid approach has emerged as the most strategic solution—balancing control, compliance, and ... Læs mere

    63,35 kr. eller Gratis med Kobo Plus