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

Runtime Verification

18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Redigeret af Christian Colombo, Martin Leucker ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more ... Læs mere

700,49 kr.

This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more
... Læs mere
Beginning C

From Beginner to Pro

af German Gonzalez-Morris, Ivor Horton ...

Serier serie Professional and Applied Computing (R0)
Learn how to program using C, beginning from first principles and progressing through step-by-step examples to become a competent, C-language programmer. All you need are this book and any of the widely available C compilers, and you'll soon be writing real C programs.You’ll discover that C is a foundation language that every programmer ought to know. Beginning C is written by renowned author Ivor ... Læs mere

698,35 kr.

Learn how to program using C, beginning from first principles and progressing through step-by-step examples to become a competent, C-language programmer. All you need are this book and any of the widely available C compilers, and you'll soon be writing real C programs.You’ll discover that C is a foundation language that every programmer ought to know. Beginning C is written by renowned author Ivor
... Læs mere
Trends in Functional Programming

21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers

Redigeret af Aleksander Byrski, John Hughes ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020.The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; ... Læs mere

466,97 kr.

This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020.The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing;
... Læs mere
Design Patterns in Modern C++20

Reusable Approaches for Object-Oriented Software Design

af Dmitri Nesteruk ...

Serier serie Professional and Applied Computing (R0)
Apply the latest editions of the C++ standard to the implementation of design patterns. As well as covering traditional design patterns, this book fleshes out new design patterns and approaches that will be useful to modern C++ developers. Author Dmitri Nesteruk presents concepts as a fun investigation of how problems can be solved in different ways, along the way using varying degrees of ... Læs mere

410,26 kr.

Apply the latest editions of the C++ standard to the implementation of design patterns. As well as covering traditional design patterns, this book fleshes out new design patterns and approaches that will be useful to modern C++ developers. Author Dmitri Nesteruk presents concepts as a fun investigation of how problems can be solved in different ways, along the way using varying degrees of
... Læs mere
Practical Rust Web Projects

Building Cloud and Web-Based Applications

af Shing Lyu ...

Serier serie Professional and Applied Computing (R0)
Go beyond the basics of Rust and build web and serverless cloud applications. The applications explained in this practical book include web sites, RESTful APIs, a real-time web chat application, and frontend application with WebAssembly. Each chapter is organized in the following format: what this kind of application looks like; requirements for the example program; an introduction to the Rust ... Læs mere

322,92 kr.

Go beyond the basics of Rust and build web and serverless cloud applications. The applications explained in this practical book include web sites, RESTful APIs, a real-time web chat application, and frontend application with WebAssembly. Each chapter is organized in the following format: what this kind of application looks like; requirements for the example program; an introduction to the Rust
... Læs mere
Inductive Logic Programming

27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Redigeret af Nicolas Lachiche, Christel Vrain ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Conference on Inductive Logic Programming, ILP 2017, held in Orléans, France, in September 2017.The 12 full papers presented were carefully reviewed and selected from numerous submissions.Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic ... Læs mere

466,97 kr.

This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Conference on Inductive Logic Programming, ILP 2017, held in Orléans, France, in September 2017.The 12 full papers presented were carefully reviewed and selected from numerous submissions.Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic
... Læs mere
OpenMP: Enabling Massive Node-Level Parallelism

17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings

Redigeret af Simon McIntosh-Smith, Bronis R. de Supinski, Jannis Klinkenberg ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Workshop on OpenMP, IWOMP 2021, held virtually in September 2021 and hosted by the High Performance Computing research group at the University of Bristol, UK.The 15 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: synchronization ... Læs mere

653,79 kr.

This book constitutes the proceedings of the 17th International Workshop on OpenMP, IWOMP 2021, held virtually in September 2021 and hosted by the High Performance Computing research group at the University of Bristol, UK.The 15 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: synchronization
... Læs mere
Delphi Quick Syntax Reference

A Pocket Guide to the Delphi and Object Pascal Language

af John Kouraklis ...

Serier serie Professional and Applied Computing (R0)
The Delphi Quick Syntax Reference is a succinct code and syntax reference guide to Delphi. It presents the fundamental knowledge to get newcomers started with the language and provides a refresher to seasoned or returning Delphi developers.It covers all the new features added by Embarcadero during the last few years. Delphi celebrates 25 years in 2020 and, alongside the free community version that ... Læs mere

410,26 kr.

The Delphi Quick Syntax Reference is a succinct code and syntax reference guide to Delphi. It presents the fundamental knowledge to get newcomers started with the language and provides a refresher to seasoned or returning Delphi developers.It covers all the new features added by Embarcadero during the last few years. Delphi celebrates 25 years in 2020 and, alongside the free community version that
... Læs mere
Testing Software and Systems

29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Redigeret af Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and
... Læs mere
Logic, Language, Information, and Computation

28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings

Redigeret af Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz ...

Serier serie Springer Nature Proceedings Computer Science
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022. The 25 full papers presented included with 8 extra abstracts, 5 invited talks and 3 tutorials were fully reviewed and selected from 46 submissions. ... Læs mere

466,97 kr.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022. The 25 full papers presented included with 8 extra abstracts, 5 invited talks and 3 tutorials were fully reviewed and selected from 46 submissions.
... Læs mere
Trends in Functional Programming

22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers

Redigeret af Viktória Zsók, John Hughes ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020.The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, ... Læs mere

373,55 kr.

This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020.The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling,
... Læs mere
Programming Languages and Systems

18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings

Redigeret af Bruno C. d. S. Oliveira ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, ... Læs mere

466,97 kr.

This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation,
... Læs mere
Runtime Verification

20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Redigeret af Jyotirmoy Deshmukh, Dejan Ničković ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic.The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic.The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial
... Læs mere
Inductive Logic Programming

32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings

Redigeret af Elena Bellodi, Francesca Alessandra Lisi, Riccardo Zese ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 32nd International Conference on Inductive Logic Programming, ILP 2023, held in Bari, Italy, during November 13–15, 2023.The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 18 submissions. They cover all aspects of learning in logic, multi-relational data mining, statistical relational learning, ... Læs mere

420,26 kr.

This book constitutes the refereed proceedings of the 32nd International Conference on Inductive Logic Programming, ILP 2023, held in Bari, Italy, during November 13–15, 2023.The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 18 submissions. They cover all aspects of learning in logic, multi-relational data mining, statistical relational learning,
... Læs mere
Explainable and Transparent AI and Multi-Agent Systems

5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers

Redigeret af Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling ...

Serier serie Springer Nature Proceedings Computer Science
This volume LNCS 14127 constitutes the refereed proceedings of the 5th International Workshop, EXTRAAMAS 2023, held in London, UK, in May 2023.The 15 full papers presented together with 1 short paper were carefully reviewed and selected from 26 submissions. The workshop focuses on Explainable Agents and multi-agent systems; Explainable Machine Learning; and Cross-domain applied XAI. ... Læs mere

607,08 kr.

This volume LNCS 14127 constitutes the refereed proceedings of the 5th International Workshop, EXTRAAMAS 2023, held in London, UK, in May 2023.The 15 full papers presented together with 1 short paper were carefully reviewed and selected from 26 submissions. The workshop focuses on Explainable Agents and multi-agent systems; Explainable Machine Learning; and Cross-domain applied XAI.
... Læs mere
OpenMP: Advanced Task-Based, Device and Compiler Programming

19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13–15, 2023, Proceedings

Redigeret af Simon McIntosh-Smith, Michael Klemm, Bronis R. de Supinski, Tom Deakin, Jannis Klinkenberg ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Workshop on OpenMP, IWOMP 2023, held in Bristol, UK, during September 13–15, 2023.The 15 full papers presented in this book were carefully reviewed and selected from 20 submissions. The papers are divided into the following topical sections: OpenMP and AI; Tasking Extensions; OpenMP Offload Experiences; Beyond Explicit GPU Support; ... Læs mere

607,08 kr.

This book constitutes the proceedings of the 19th International Workshop on OpenMP, IWOMP 2023, held in Bristol, UK, during September 13–15, 2023.The 15 full papers presented in this book were carefully reviewed and selected from 20 submissions. The papers are divided into the following topical sections: OpenMP and AI; Tasking Extensions; OpenMP Offload Experiences; Beyond Explicit GPU Support;
... Læs mere
JAVA Aufgaben und Übungen

Aufgaben, Lösungen, PAP und Struktogramme für den IT-Unterricht

af Erich J. Schreiber ...

Serier serie Computer Science and Engineering (German Language)
Dieses Lehrbuch erklärt grundlegende JAVA-Konzepte mit Hilfe von zahlreichen Beispielen und Aufgabenstellungen. Insgesamt sind über 100 Aufgaben vorhanden mit Lösungen im Quellcode (Source). Das Buch bietet ebenfalls Präsentationsvorlagen, die auf die Syntax der Programmanweisungen eingehen.Zu der Planung von Software gehört die UML (Unified Modeling Language), eine grafische Modellierungssprache. ... Læs mere

305,46 kr.

Dieses Lehrbuch erklärt grundlegende JAVA-Konzepte mit Hilfe von zahlreichen Beispielen und Aufgabenstellungen. Insgesamt sind über 100 Aufgaben vorhanden mit Lösungen im Quellcode (Source). Das Buch bietet ebenfalls Präsentationsvorlagen, die auf die Syntax der Programmanweisungen eingehen.Zu der Planung von Software gehört die UML (Unified Modeling Language), eine grafische Modellierungssprache.
... Læs mere
Java lernen in abgeschlossenen Lerneinheiten

Programmieren für Einsteiger mit vielen Beispielen

af Sebastian Dörn ...

Serier serie Computer Science and Engineering (German Language)
Schaffen Sie mit diesem Buch den Einstieg in die Programmierung mit JavaDas Arbeiten mit Programmiersprachen wie Java kann für Einsteiger sehr kompliziert sein. Dieses Buch über die Programmierung mit Java bringt Anfängern anhand einzelner abgeschlossener Lerneinheiten das Programmieren mit Java bei. Es zeigt den Entwurf von effizienten Daten- und Ablaufstrukturen, macht algorithmische Konzepte ... Læs mere

200,74 kr.

Schaffen Sie mit diesem Buch den Einstieg in die Programmierung mit JavaDas Arbeiten mit Programmiersprachen wie Java kann für Einsteiger sehr kompliziert sein. Dieses Buch über die Programmierung mit Java bringt Anfängern anhand einzelner abgeschlossener Lerneinheiten das Programmieren mit Java bei. Es zeigt den Entwurf von effizienten Daten- und Ablaufstrukturen, macht algorithmische Konzepte
... Læs mere
Theory and Applications of Formal Argumentation

4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

Redigeret af Elizabeth Black, Sanjay Modgil, Nir Oren ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.The workshop was co-located with International Joint Conference on Artifi cial Intelligence(IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions.The ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.The workshop was co-located with International Joint Conference on Artifi cial Intelligence(IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions.The
... Læs mere
Small Dynamic Complexity Classes

An Investigation into Dynamic Descriptive Complexity

af Thomas Zeume ...

Serier serie Computer Science (R0)
"Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database. It explores the structure of small dynamic descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context. ... Læs mere

466,97 kr.

"Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database. It explores the structure of small dynamic descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context.
... Læs mere
JavaScript Frameworks for Modern Web Development

The Essential Frameworks, Libraries, and Tools to Learn Right Now

af Sufyan bin Uzayr, Nicholas Cloud, Tim Ambler ...

Serier serie Professional and Applied Computing (R0)
Enrich your software design skills and take a guided tour of the wild, vast, and untamed frontier that is JavaScript development. Especially useful for frontend developers, this revision includes specific chapters on React and VueJS, as well as an updated one on Angular. To help you get the most of your new skills, each chapter also has a "further reading" section.This book will serve as an ... Læs mere

497,51 kr.

Enrich your software design skills and take a guided tour of the wild, vast, and untamed frontier that is JavaScript development. Especially useful for frontend developers, this revision includes specific chapters on React and VueJS, as well as an updated one on Angular. To help you get the most of your new skills, each chapter also has a "further reading" section.This book will serve as an
... 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

466,97 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
A Practical Approach to Compiler Construction

af Des Watson ...

Serier serie Computer Science (R0)
This book provides a practically-oriented introduction to high-level programming language implementation. It demystifies what goes on within a compiler and stimulates the reader's interest in compiler design, an essential aspect of computer science. Programming language analysis and translation techniques are used in many software application areas.A Practical Approach to Compiler Construction ... Læs mere

420,26 kr.

This book provides a practically-oriented introduction to high-level programming language implementation. It demystifies what goes on within a compiler and stimulates the reader's interest in compiler design, an essential aspect of computer science. Programming language analysis and translation techniques are used in many software application areas.A Practical Approach to Compiler Construction
... Læs mere
Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Redigeret af Jeremy Avigad, Assia Mahboubi ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical ... Læs mere

840,61 kr.

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical
... 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

Runtime Verification

Beginning C

Trends in Functional Programming

Design Patterns in Modern C++20

Practical Rust Web Projects

Inductive Logic Programming

OpenMP: Enabling Massive Node-Level Parallelism

Delphi Quick Syntax Reference

Testing Software and Systems

Logic, Language, Information, and Computation

Trends in Functional Programming

Programming Languages and Systems

Runtime Verification

Inductive Logic Programming

Explainable and Transparent AI and Multi-Agent Systems

OpenMP: Advanced Task-Based, Device and Compiler Programming

JAVA Aufgaben und Übungen

Java lernen in abgeschlossenen Lerneinheiten

Theory and Applications of Formal Argumentation

Small Dynamic Complexity Classes

JavaScript Frameworks for Modern Web Development

Formal Aspects of Component Software

A Practical Approach to Compiler Construction

Interactive Theorem Proving