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 145 - 168 af 1273 resultater
Skip side bar filters
  • Agents and Artificial Intelligence

    8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

    Serier serie Springer Nature Proceedings Computer Science
    This book contains revised and extended versions of selected papers from the 8th International Conference on Agents and Artificial Intelligence, ICAART 2016, held in Rome, Italy, in February 2016.The 17 revised full papers were carefully reviewed and selected from 149 initial submissions. The papers are organized in two sections: agents and artificial intelligence. They address open research ... Læs mere

    420,11 kr.

  • Theory and Practice of Model Transformation

    10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

    Redigeret af Esther Guerra, Mark van den Brand ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; ... Læs mere

    420,11 kr.

  • Formal Methods and Software Engineering

    19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

    Redigeret af Luke Ong, Zhenhua Duan ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017.The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods ... Læs mere

    420,11 kr.

  • Computing and Software Science

    State of the Art and Perspectives

    Serier serie Computer Science (R0)
    The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and Software Science: State of the Art and Perspectives”.They are organized in two parts:The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity.The ... Læs mere

    252,11 kr.

  • Testing Software and Systems

    30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cádiz, Spain, in October 2018. The 8 regular and 6 short papers presented were carefully reviewed and selected from 29 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing ... Læs mere

    420,11 kr.

  • Programming Languages and Systems

    16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

    Redigeret af Sukyoung Ryu ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018.The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; ... Læs mere

    420,11 kr.

  • Reversible Computation

    11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019.The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and ... Læs mere

    478,99 kr.

  • Languages and Compilers for Parallel Computing

    32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers

    Redigeret af Santosh Pande, Vivek Sarkar ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 32nd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2019, held in Atlanta, GA, USA, in October 2019.The 8 revised full papers and 3 revised short papers were carefully reviewed and selected from 17 submissions. The scope of the workshop includes advances in programming systems for ... Læs mere

    420,11 kr.

  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty

    15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019, held in Belgrade, Serbia, in September 2019.The 41 full papers presented together with 3 abstracts of invited talks inn this volume were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections ... Læs mere

    420,11 kr.

  • System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

    11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in ... Læs mere

    420,11 kr.

  • Accelerator Programming Using Directives

    6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming Using Directives, WACCPD 2019, held in Denver, CO, USA, in November 2019.The 7 full papers presented have been carefully reviewed and selected from 13 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... Læs mere

    420,11 kr.

  • Mastering Firebase: The Complete Guide to Building and Scaling Apps

    "Mastering Firebase: The Complete Guide to Building and Scaling Apps" is an indispensable resource for developers looking to harness the full potential of Firebase. This comprehensive guide takes you on a journey through the intricacies of Firebase, from the basics of setting up your project to advanced techniques for scaling your applications efficiently.Dive deep into Firebase's suite of ... Læs mere

    63,35 kr. eller Gratis med Kobo Plus

  • Next.js: Navigating the Future of Web Development

    "Next.js: Navigating the Future of Web Development" is an in-depth exploration of one of today's most powerful and popular web development frameworks. This comprehensive guide dives deep into the capabilities of Next.js, a framework built on React.js, offering a blend of server-side rendering, static site generation, and client-side rendering to create fast, scalable, and reliable web applications ... Læs mere

    63,35 kr. eller Gratis med Kobo Plus

  • Semantics, Logics, and Calculi

    Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

    Serier serie Computer Science (R0)
    This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis.The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are ... Læs mere

    420,11 kr.

  • Runtime Verification

    19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. ... Læs mere

    546,24 kr.

  • Leveraging Applications of Formal Methods, Verification and Validation. Modeling

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

    Serier Bog 1 - Springer Nature Proceedings Computer Science
    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... Læs mere

    420,11 kr.

  • JavaScript Unleashed: Harnessing the Power of Web Scripting

    "JavaScript Unleashed: Harnessing the Power of Web Scripting" is your comprehensive guide to mastering JavaScript, the dynamic and versatile scripting language that drives interactivity on the web. Whether you're a newcomer eager to dive into web development or an experienced programmer looking to elevate your scripting skills, this book will empower you to unlock the full potential of JavaScript ... Læs mere

    63,35 kr.

  • Intermediate Vulkan Programming- Building 3D Graphics

    Vulcan Fundamentals, #2

    Serier Bog 2 - Vulcan Fundamentals
    Dive deep into the world of 3D graphics with "Intermediate Vulkan Programming: Building 3D Graphics, 2nd Edition." This comprehensive guide is perfect for developers who have a basic understanding of Vulkan and are looking to enhance their skills. This edition provides an updated and thorough exploration of Vulkan's powerful capabilities, helping you create stunning 3D graphics with precision and ... Læs mere

    63,35 kr. eller Gratis med Kobo Plus

  • #1 Book on Python Programming

    af Minhaj ...
    This book, written by Minhaj Abdullah, is designed to take you on a journey through the world of Python programming, starting with the fundamentals and progressing to more advanced concepts like AI and automation. Whether you're a complete beginner or have some prior coding experience, this book offers a practical and engaging approach to learning Python.Key Features:Beginner-Friendly Introduction ... Læs mere

    31,71 kr. eller Gratis med Kobo Plus

  • Scale Smart: Azure Architecture Essentials

    Scale Smart: Azure Architecture Essentials is your definitive guide to building robust, scalable, and secure cloud solutions using Microsoft Azure. Whether you're an IT professional, solutions architect, or a developer stepping into the world of cloud architecture, this book equips you with the foundational principles and practical techniques to design systems that scale intelligently and ... Læs mere

    63,35 kr. eller Gratis med Kobo Plus

  • Mastering Three.js: A Journey Through 3D Web Development

    "Mastering Three.js: A Journey Through 3D Web Development" is an essential guide for any web developer or designer looking to incorporate 3D graphics into their websites and applications. This comprehensive book dives deep into the capabilities of Three.js, a powerful JavaScript library that enables the creation of stunning 3D graphics in a web browser using WebGL.The journey begins with an ... Læs mere

    63,35 kr. eller Gratis med Kobo Plus

  • Building Mobile Magic: Integrating Flutter with Firebase

    Dive into the world of seamless mobile application development with "Building Mobile Magic: Integrating Flutter with Firebase," the essential guide for modern developers. This comprehensive book is your gateway to mastering the integration of Flutter, Google's UI toolkit for crafting natively compiled applications for mobile, web, and desktop from a single codebase, with Firebase, Google's ... Læs mere

    63,35 kr. eller Gratis med Kobo Plus

  • Object-Oriented Python: Master OOP through Game Development and GUI Applications

    Unlock the full potential of Python with Object-Oriented Python: Master OOP through Game Development and GUI Applications. This comprehensive guide takes you from the foundational concepts of object-oriented programming (OOP) to practical implementations in exciting and interactive projects. Whether you're a beginner eager to learn Python or an experienced developer looking to refine your OOP ... Læs mere

    63,35 kr. eller Gratis med Kobo Plus

  • Formal Techniques for Safety-Critical Systems

    6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and ... Læs mere

    466,79 kr.