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 865 - 888 af 1263 resultater
Skip side bar filters
  • Theory and Practice of Formal Methods

    Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

    Serier serie Computer Science (R0)
    This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems, ... Læs mere

    466,97 kr.

  • Swift 3 for Absolute Beginners

    Serier serie Professional and Applied Computing (R0)
    Stay motivated and overcome obstacles while learning to use Swift Playgrounds to be a great iOS developer. This book is perfect for those with no programming background, those with some programming experience but no object-oriented experience, or those that have a great idea for an app but haven’t programmed since school, and it is now updated for Swift 3.Many people have a difficult time ... Læs mere

    410,26 kr.

  • Critical Systems: Formal Methods and Automated Verification

    Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from ... Læs mere

    466,97 kr.

  • Intelligent Computer Mathematics

    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital ... Læs mere

    373,55 kr.

  • High Performance Computing

    ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from 10 workshops that were held as the ISC High Performance 2017 conference in Frankfurt, Germany, in June 2017.The 59 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They stem from the following workshops:Workshop on Virtualization in High-Performance Cloud Computing (VHPC)Visualization at Scale: ... Læs mere

    466,97 kr.

  • Pointers in C Programming

    A Modern Approach to Memory Management, Recursive Data Structures, Strings, and Arrays

    Serier serie Professional and Applied Computing (R0)
    Gain a better understanding of pointers, from the basics of how pointers function at the machine level, to using them for a variety of common and advanced scenarios. This short contemporary guide book on pointers in C programming provides a resource for professionals and advanced students needing in-depth hands-on coverage of pointer basics and advanced features. It includes the latest versions of ... Læs mere

    549,92 kr.

  • PRIMA 2016: Principles and Practice of Multi-Agent Systems

    19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in August 22-26, 2016.The 16 revised full papers presented together with two invited papers, 9 short papers and three extended abstracts were carefully reviewed and selected from 50 submissions. The intention of the papers is ... Læs mere

    466,97 kr.

  • XcalableMP PGAS Programming Language

    From Programming Model to Applications

    Redigeret af Mitsuhisa Sato ...
    Serier serie Computer Science (R0)
    XcalableMP is a directive-based parallel programming language based on Fortran and C, supporting a Partitioned Global Address Space (PGAS) model for distributed memory parallel systems. This open access book presents XcalableMP language from its programming model and basic concept to the experience and performance of applications described in XcalableMP. XcalableMP was taken as a parallel ... Læs mere

    Gratis

  • Scaling OpenMP for Exascale Performance and Portability

    13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017.The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking; ... Læs mere

    466,97 kr.

  • Expert T-SQL Window Functions in SQL Server 2019

    The Hidden Secret to Fast Analytic and Reporting Queries

    Serier serie Professional and Applied Computing (R0)
    Become an expert who can use window functions to solve T-SQL query problems. Replace slow cursors and self-joins with queries that are easy to write and perform better. This new edition provides expanded examples, including a chapter from the world of sports, and covers the latest performance enhancements through SQL Server 2019.Window functions are useful in analytics and business intelligence ... Læs mere

    497,51 kr.

  • On the Move to Meaningful Internet Systems. OTM 2017 Workshops

    Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

    Serier serie Springer Nature Proceedings Computer Science
    This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS), ... Læs mere

    466,97 kr.

  • OpenMP: Balancing Productivity and Performance Portability

    21st International Workshop on OpenMP, IWOMP 2025, Charlotte, NC, USA, October 1-3, 2025 Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 21st International Workshop on OpenMP, IWOMP 2025, in Charlotte, NC, USA, during October 1 – October 3, 2025The 14 full papers included in this book were carefully reviewed and selected from 19 submissions. They were organized in topical sections as follows:New Directions: Communication and I/O; New Directions: Handling New Constraints and ... Læs mere

    532,35 kr.

  • Lua Unleashed: Revolutionizing Game Design and Development

    Lua Unleashed: Revolutionizing Game Design and Development is an essential guide for both aspiring and seasoned game developers. This comprehensive book dives deep into the world of Lua, a powerful and versatile programming language, and its application in game design and development.Through its pages, readers will embark on a journey exploring the fundamentals of Lua programming. The book ... Læs mere

    64,08 kr. eller Gratis med Kobo Plus

  • IntelliJ IDEA Essentials

    This book is for developers who want to work smarter so they can focus their efforts on the details that will give them the advantage. This book is tailor-made for developers who want to move from NetBeans and Eclipse to experience the power and functionality of IntelliJ IDEA. ... Læs mere

    309,99 kr. eller Gratis med Kobo Plus

  • Moving to Responsive Web Design

    Bring existing static sites into today's multi-device world with responsive web design

    Serier serie Professional and Applied Computing (R0)
    Redesign your static website into a modern, fully responsive website. As the usage of mobile devices of all shapes and sizes increases exponentially every year, and dominates the manner in which many users access the web, it is now imperative for any business to have a responsive website that adapts seamlessly to any screen size and resolution — a change that will impact not only your designs but ... Læs mere

    305,46 kr.

  • Automatic Tuning of Compilers Using Machine Learning

    Serier serie Engineering (R0)
    This book explores break-through approaches to tackling and mitigating the well-known problems of compiler optimization using design space exploration and machine learning techniques. It demonstrates that not all the optimization passes are suitable for use within an optimization sequence and that, in fact, many of the available passes tend to counteract one another. After providing a ... Læs mere

    466,97 kr.

  • Static Analysis

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

    Redigeret af Hakjoo Oh, Yulei Sui ...
    Serier serie 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 ... Læs mere

    681,81 kr.

  • 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

    466,97 kr.

  • Introducción al Machine Learning con MATLAB

    El Machine Learning representa una herramienta importante para la exploración y la extracción de conocimiento. Su principal objetivo es construir modelos que permitan describir posibles patrones estructurales en la información a partir de los datos, con el objetivo de tomar decisiones o hacer predicciones. En la última década, el número de usuarios de Machine Learning ha crecido de forma ... Læs mere

    115,00 kr. eller Gratis med Kobo Plus

  • Mastering Vulkan: From Fundamentals to Expert Techniques

    Unlock the full potential of Vulkan, the next-generation graphics API designed to deliver unmatched performance and control for modern graphics programming. Mastering Vulkan: From Fundamentals to Expert Techniques is the ultimate guide for developers at all levels, offering a comprehensive roadmap from basic concepts to advanced implementations. Whether you're a beginner seeking to grasp the core ... Læs mere

    64,08 kr. eller Gratis med Kobo Plus

  • OpenGL to OpenGL ES: Navigating Graphics Transitions

    "OpenGL to OpenGL ES: Navigating Graphics Transitions" is an authoritative guide crafted for developers, programmers, and technology enthusiasts seeking to bridge the gap between OpenGL and OpenGL ES, the foundational technologies in the realm of graphics programming. This comprehensive book delves deep into the intricacies of these two powerful graphics libraries, offering a practical roadmap for ... Læs mere

    64,08 kr. eller Gratis med Kobo Plus

  • Diseño de Compiladores

    Serier serie Serie de Programación y Ciencias de la Computación
    El libro Compiler Design de Knowledge Flow es una guía completa que cubre los conceptos fundamentales y avanzados de la construcción de compiladores. Este libro es ideal para estudiantes, ingenieros de software y entusiastas de la informática que desean comprender el análisis léxico, el análisis sintáctico, el análisis semántico, la generación de código intermedio, la optimización y las técnicas ... Læs mere

    31,99 kr. eller Gratis med Kobo Plus

  • Integrated Formal Methods

    15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their ... Læs mere

    466,97 kr.

  • Beginning C++ Compilers

    An Introductory Guide to Microsoft C/C++ and MinGW Compilers

    Serier serie Professional and Applied Computing (R0)
    This book focuses on how to install C/C++ compilers on Linux and Windows platforms in a timely and efficient way. Installing C/C++ compilers, especially Microsoft compilers, typically takes quite a lot of time because it comes with Microsoft Visual Studio for the vast majority of users. Installing Visual Studio requires usually about 40 GB of disk space and a large amount of RAM, so it is ... Læs mere

    480,04 kr.