Rakuten Kobo

Indkøbskurv

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

- Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Få 1 kredit hver måned til en lydbog efter eget valg
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  lydbog
  af ,
  
  Ledig:
  
  . Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.
  
  Forudbestilling
  1 lydbog om måneden
  
  + GRATIS 30-dages prøve
  
  Særtilbud
  
  Få 1 kredit hver måned til at bytte til en lydbog efter eget valg
  
  *Ingen forpligtelse, annuller når som helst
  
  GRATIS

varervare

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Få 1 kredit hver måned til en lydbog efter eget valg

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
lydbog
af ,

Ledig:
. Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.

Forudbestilling
1 lydbog om måneden

+ GRATIS 30-dages prøve

Særtilbud

Få 1 kredit hver måned til at bytte til en lydbog efter eget valg

*Ingen forpligtelse, annuller når som helst

GRATIS

Anbefalet til dig

The Definitive ANTLR 4 Reference

af Terence Parr ...

Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file for Apache, a PostScript/PDF file, or a simple spreadsheet macro language--ANTLR v4 and this book will demystify the process. ANTLR v4 has been rewritten from scratch to make it easier than ever to build parsers and the language applications built on ... Læs mere

181,11 kr.

Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file for Apache, a PostScript/PDF file, or a simple spreadsheet macro language--ANTLR v4 and this book will demystify the process. ANTLR v4 has been rewritten from scratch to make it easier than ever to build parsers and the language applications built on
... Læs mere
Mastering Pygame: From Basics to Advanced Game Development

af Kameron Hussain, Frahaan Hussain ...

"Mastering Pygame: From Basics to Advanced Game Development" is an indispensable resource for both budding and seasoned developers eager to enhance their game programming skills. This comprehensive guide delves deep into the world of Pygame, a popular Python library for creating video games, offering readers a unique blend of theoretical knowledge and practical application.Starting with the ... Læs mere

62,82 kr. eller Gratis med Kobo Plus

"Mastering Pygame: From Basics to Advanced Game Development" is an indispensable resource for both budding and seasoned developers eager to enhance their game programming skills. This comprehensive guide delves deep into the world of Pygame, a popular Python library for creating video games, offering readers a unique blend of theoretical knowledge and practical application.Starting with the
... Læs mere
Optimizing HPC Applications with Intel Cluster Tools

Hunting Petaflops

af Alexander Supalov, Christopher Dahnken, Michael Klemm, Andrey Semin ...

Optimizing HPC Applications with Intel® Cluster Tools takes the reader on a tour of the fast-growing area of high performance computing and the optimization of hybrid programs. These programs typically combine distributed memory and shared memory programming models and use the Message Passing Interface (MPI) and OpenMP for multi-threading to achieve the ultimate goal of high performance at low ... Læs mere

Gratis

Optimizing HPC Applications with Intel® Cluster Tools takes the reader on a tour of the fast-growing area of high performance computing and the optimization of hybrid programs. These programs typically combine distributed memory and shared memory programming models and use the Message Passing Interface (MPI) and OpenMP for multi-threading to achieve the ultimate goal of high performance at low
... Læs mere
CMake Cookbook

Building, testing, and packaging modular software with modern CMake

af Radovan Bast, Roberto Di Remigio ...

Learn CMake through a series of task-based recipes that provide you with practical, simple, and ready-to-use CMake solutions for your codeKey FeaturesLearn to configure, build, test, and package software written in C, C++, and FortranProgress from simple to advanced tasks with examples tested on Linux, macOS, and WindowsManage code complexity and library dependencies with reusable CMake building ... Læs mere

376,86 kr. eller Gratis med Kobo Plus

Learn CMake through a series of task-based recipes that provide you with practical, simple, and ready-to-use CMake solutions for your codeKey FeaturesLearn to configure, build, test, and package software written in C, C++, and FortranProgress from simple to advanced tasks with examples tested on Linux, macOS, and WindowsManage code complexity and library dependencies with reusable CMake building
... Læs mere
Crafting Interpreters

af Robert Nystrom ...

Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience with that corner of computer science was a terrifying "compilers" class that they suffered through in undergrad and tried to blot from their memory as soon as they had scribbled their last NFA to DFA conversion on the final exam.That ... Læs mere

251,22 kr. eller Gratis med Kobo Plus

Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience with that corner of computer science was a terrifying "compilers" class that they suffered through in undergrad and tried to blot from their memory as soon as they had scribbled their last NFA to DFA conversion on the final exam.That
... Læs mere
Integrated Formal Methods

14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Redigeret af Carlo A. Furia, Kirsten Winter ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and ... Læs mere

420,24 kr.

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and
... Læs mere
Diagrammatic Representation and Inference

13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings

Redigeret af Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on the Theory and Application of Diagrams, Diagrams 2022, held in Rome, Italy, in September 2022.The 11 full papers and 19 short papers presented together with 5 posters were carefully reviewed and selected from 58 submissions.8 chapters are available open access under a Creative Commons Attribution 4.0 ... Læs mere

462,24 kr.

This book constitutes the refereed proceedings of the 13th International Conference on the Theory and Application of Diagrams, Diagrams 2022, held in Rome, Italy, in September 2022.The 11 full papers and 19 short papers presented together with 5 posters were carefully reviewed and selected from 58 submissions.8 chapters are available open access under a Creative Commons Attribution 4.0
... Læs mere
PRIMA 2017: Principles and Practice of Multi-Agent Systems

20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

Redigeret af Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre, Bo An ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions.The intention of the papers is to showcase ... Læs mere

420,24 kr.

This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions.The intention of the papers is to showcase
... Læs mere
Static Analysis

25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Redigeret af Andreas Podelski ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program ... Læs mere

420,24 kr.

This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program
... Læs mere
Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Redigeret af Dragan Bošnački, Anton Wijs ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, ... Læs mere

420,24 kr.

This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools,
... Læs mere
Logic Programming and Nonmonotonic Reasoning

16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings

Redigeret af Georg Gottlob, Daniela Inclezan, Marco Maratea ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022.The 34 full papers and 5 short papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Technical Contributions; Systems; ... Læs mere

613,61 kr.

This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022.The 34 full papers and 5 short papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Technical Contributions; Systems;
... Læs mere
Verified Software. Theories, Tools, and Experiments

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

Redigeret af Sandrine Blazy, Marsha Chechik ...

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

420,24 kr.

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

Programming on the Go

af Nigel Horspool, Nikolai Tillmann, Judith Bishop ...

"The book is great! It's clear and easy to read, with loads of examples that showed my students what to do."-- Larry Snyder, Emeritus Professor, University of Washington, Department of Computer Science and Engineering“Having the TouchDevelop book available made our events so much easier. Students could figure things out for themselves with help from the book.”-- Jennifer Marsman, Microsoft ... Læs mere

Gratis

"The book is great! It's clear and easy to read, with loads of examples that showed my students what to do."-- Larry Snyder, Emeritus Professor, University of Washington, Department of Computer Science and Engineering“Having the TouchDevelop book available made our events so much easier. Students could figure things out for themselves with help from the book.”-- Jennifer Marsman, Microsoft
... Læs mere
Central European Functional Programming School

6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

Redigeret af Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth ...

Serier serie Computer Science (R0)
This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary.The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects. ... Læs mere

546,36 kr.

This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary.The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects.
... Læs mere
Interactive C#

Fundamentals, Core Concepts and Patterns

af Vaskaran Sarcar ...

Discover object-oriented programming with core concepts of C# in this unique tutorial. The book consists of four major sections which cover 15 core topics - nine of them are dedicated to object-oriented programming, five of them are dedicated to advanced concepts of C#, and one of them is dedicated to design patterns, with coverage of three Gang of Four design patterns with C# implementations. ... Læs mere

252,11 kr.

Discover object-oriented programming with core concepts of C# in this unique tutorial. The book consists of four major sections which cover 15 core topics - nine of them are dedicated to object-oriented programming, five of them are dedicated to advanced concepts of C#, and one of them is dedicated to design patterns, with coverage of three Gang of Four design patterns with C# implementations.
... Læs mere
Formal Aspects of Component Software

12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Redigeret af Christiano Braga, Peter Csaba Ölveczky ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults, ... Læs mere

420,24 kr.

This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults,
... Læs mere
Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

Redigeret af Erika Ábrahám, Houssam Abbas ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; ... Læs mere

462,24 kr.

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems;
... Læs mere
Computer Safety, Reliability, and Security

36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Redigeret af Erwin Schoitsch, Stefano Tonetta, Friedemann Bitsch ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and ... Læs mere

420,24 kr.

This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and
... Læs mere
Building web applications with Vue.js

MVVM patterns for conventional and single-page websites

af Ralph Steyer ...

Serier serie Computer Science (R0)
Get started with Vue.js quickly and easily with this bookThis book provides a compact and practical introduction to the popular Vue.js. Use the MVVC concept for applications on the web on the basis of MVC design patterns and create single-page web applications easily. You will use one of the powerful frameworks based only on elementary WWW standard technologies. With Vue.js you will understand and ... Læs mere

588,36 kr.

Get started with Vue.js quickly and easily with this bookThis book provides a compact and practical introduction to the popular Vue.js. Use the MVVC concept for applications on the web on the basis of MVC design patterns and create single-page web applications easily. You will use one of the powerful frameworks based only on elementary WWW standard technologies. With Vue.js you will understand and
... Læs mere
Exploring the .NET Core 3.0 Runtime

Through Code Generation and Metadata Inspection

af Roger Villela ...

Serier serie Professional and Applied Computing (R0)
Explore advanced .NET APIs and create a basic .NET core library with dynamic code generation and metadata inspection to be used by other libraries or client applications. This book starts with the benefits of .NET including its fundamental tasks and tools where you will learn .NET SDK tools and the ILDasm tool. This is followed by a detailed discussion on code generation in .NET API programming ... Læs mere

290,61 kr.

Explore advanced .NET APIs and create a basic .NET core library with dynamic code generation and metadata inspection to be used by other libraries or client applications. This book starts with the benefits of .NET including its fundamental tasks and tools where you will learn .NET SDK tools and the ILDasm tool. This is followed by a detailed discussion on code generation in .NET API programming
... Læs mere
Practical Rust Projects

Building Game, Physical Computing, and Machine Learning Applications

af Shing Lyu ...

Serier serie Professional and Applied Computing (R0)
Go beyond the basics and build complete applications using the Rust programming language. The applications in this book include a high-performance web client, a microcontroller (for a robot, for example), a game, an app that runs on Android, and an application that incorporates AI and machine learning.Each chapter will be organized in the following format: what this kind of application looks like; ... Læs mere

290,61 kr.

Go beyond the basics and build complete applications using the Rust programming language. The applications in this book include a high-performance web client, a microcontroller (for a robot, for example), a game, an app that runs on Android, and an application that incorporates AI and machine learning.Each chapter will be organized in the following format: what this kind of application looks like;
... Læs mere
Stylish F# 6

Crafting Elegant Functional Code for .NET 6

af Kit Eason ...

Serier Bog 6 - Professional and Applied Computing (R0)
Why just get by in F# when you can program in style. This book goes beyond syntax and into design. It provides F# developers with best practices, guidance, and advice to write beautiful, maintainable, and correct code. This second edition, fully updated for .NET 6 and F# 6, includes all new coverage of anonymous records, the task {} computation expression, and the relationship between types and ... Læs mere

494,86 kr.

Why just get by in F# when you can program in style. This book goes beyond syntax and into design. It provides F# developers with best practices, guidance, and advice to write beautiful, maintainable, and correct code. This second edition, fully updated for .NET 6 and F# 6, includes all new coverage of anonymous records, the task {} computation expression, and the relationship between types and
... Læs mere
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,36 kr.

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
Practical TLA+

Planning Driven Development

af Hillel Wayne ...

Serier serie Professional and Applied Computing (R0)
Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs.You’ll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet ... Læs mere

369,24 kr.

Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs.You’ll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet
... Læs mere

Kobo Rakuten

e-læsere

Apps

Tilbehør

Indkøbskurv

Du får VIP-behandling!

Din indkøbskurv er tom

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Anbefalet til dig

Udarbejdere e-bøger

The Definitive ANTLR 4 Reference

Mastering Pygame: From Basics to Advanced Game Development

Optimizing HPC Applications with Intel Cluster Tools

CMake Cookbook

Crafting Interpreters

Integrated Formal Methods

Diagrammatic Representation and Inference

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Static Analysis

Model Checking Software

Logic Programming and Nonmonotonic Reasoning

Verified Software. Theories, Tools, and Experiments

TouchDevelop

Central European Functional Programming School

Interactive C#

Formal Aspects of Component Software

Runtime Verification

Computer Safety, Reliability, and Security

Building web applications with Vue.js

Exploring the .NET Core 3.0 Runtime

Practical Rust Projects

Stylish F# 6

PHP Objects, Patterns, and Practice

Practical TLA+