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

Explainable and Transparent AI and Multi-Agent Systems

4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers

Redigeret af Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2022, held virtually during May 9–10, 2022.The 14 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: explainable machine learning; explainable neuro-symbolic ... Læs mere

466,79 kr.

This book constitutes the refereed proceedings of the 4th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2022, held virtually during May 9–10, 2022.The 14 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: explainable machine learning; explainable neuro-symbolic
... 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,79 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
Provenance and Annotation of Data and Processes

7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings

Redigeret af Khalid Belhajjame, Ashish Gehani, Pinar Alper ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Provenance and Annotation Workshop, IPAW 2018, held in London, UK, in July 2018.The 12 revised full papers, 19 poster papers, and 2 demonstration papers presented were carefully reviewed and selected from 50 submissions. The papers feature a variety of provenance-related topics ranging from the capture and inference of ... Læs mere

466,79 kr.

This book constitutes the refereed proceedings of the 7th International Provenance and Annotation Workshop, IPAW 2018, held in London, UK, in July 2018.The 12 revised full papers, 19 poster papers, and 2 demonstration papers presented were carefully reviewed and selected from 50 submissions. The papers feature a variety of provenance-related topics ranging from the capture and inference of
... Læs mere
Formal Methods for Industrial Critical Systems

26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

Redigeret af Alberto Lluch Lafuente, Anastasia Mavridou ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from ... Læs mere

466,79 kr.

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from
... Læs mere
Testing Software and Systems

28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Redigeret af Natalia Kushik, Mihai Nica, Franz Wotawa ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016.The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on testing methodologies, heuristics and non-determinism in ... Læs mere

466,79 kr.

This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016.The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on testing methodologies, heuristics and non-determinism in
... Læs mere
Rust for the IoT

Building Internet of Things Apps with Rust and Raspberry Pi

af Joseph Faisal Nusairat ...

Serier serie Professional and Applied Computing (R0)
Get started programming Rust applications for the Internet of Things (IoT). This book is a programming skills migration book that teaches you the Rust programming techniques most useful for IoT applications. You'll step through from server to board development in creating a set of IoT applications.In Rust for the IoT, you'll learn how to build a modern server-side application using Rust on the ... Læs mere

584,63 kr.

Get started programming Rust applications for the Internet of Things (IoT). This book is a programming skills migration book that teaches you the Rust programming techniques most useful for IoT applications. You'll step through from server to board development in creating a set of IoT applications.In Rust for the IoT, you'll learn how to build a modern server-side application using Rust on the
... Læs mere
C++20 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

af Mikael Olsson ...

Serier serie Professional and Applied Computing (R0)
This quick C++ 20 guide is a condensed code and syntax reference to the popular programming language, fully updated for C++20. It presents the essential C++20 code syntax in a well-organized format that can be used as a handy reference.This edition covers topics including designated initializers, lambdas and lambda captures, the spaceship operator, pack expressions, string literals as template ... Læs mere

549,70 kr.

This quick C++ 20 guide is a condensed code and syntax reference to the popular programming language, fully updated for C++20. It presents the essential C++20 code syntax in a well-organized format that can be used as a handy reference.This edition covers topics including designated initializers, lambdas and lambda captures, the spaceship operator, pack expressions, string literals as template
... Læs mere
Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity

af Yan Lin ...

Serier serie Computer Science (R0)
There are three fundamental components in Control-Flow Integrity (CFI) enforcement. The first component is accurately recovering the policy (CFG). Usually, the more precise the policy is, the more security CFI improves, but precise CFG generation was considered hard without the support of source code. The second component is embedding the CFI policy securely. Current CFI enforcement usually ... Læs mere

840,29 kr.

There are three fundamental components in Control-Flow Integrity (CFI) enforcement. The first component is accurately recovering the policy (CFG). Usually, the more precise the policy is, the more security CFI improves, but precise CFG generation was considered hard without the support of source code. The second component is embedding the CFI policy securely. Current CFI enforcement usually
... Læs mere
Understanding Control Flow

Concurrent Programming Using μC++

af Peter A. Buhr ...

Serier serie Computer Science (R0)
The control-flow issues presented in this textbook are extremely relevant in modern computer languages and programming styles. In addition to the basic control-flow mechanisms, virtually all new computer languages provide some form of exceptional control flow to support robust programming introduced in this textbook. Also, concurrency capabilities are appearing with increasing frequency in both ... Læs mere

466,79 kr.

The control-flow issues presented in this textbook are extremely relevant in modern computer languages and programming styles. In addition to the basic control-flow mechanisms, virtually all new computer languages provide some form of exceptional control flow to support robust programming introduced in this textbook. Also, concurrency capabilities are appearing with increasing frequency in both
... Læs mere
Raku Recipes

A Problem-Solution Approach

af J.J. Merelo ...

Serier serie Professional and Applied Computing (R0)
Explore Raku problems and solutions using the latest version of the Raku programming language. In Raku Recipes, the emphasis is on applying Raku code to various important tasks and applications including data science, analytics, microservices, and desktop/console applications. There are also fun one-liner script recipes and instructions on how to create mini-languages of your very own.All in all, ... Læs mere

549,70 kr.

Explore Raku problems and solutions using the latest version of the Raku programming language. In Raku Recipes, the emphasis is on applying Raku code to various important tasks and applications including data science, analytics, microservices, and desktop/console applications. There are also fun one-liner script recipes and instructions on how to create mini-languages of your very own.All in all,
... Læs mere
Options and Derivatives Programming in C++20

Algorithms and Programming Techniques for the Financial Industry

af Carlos Oliveira ...

Serier serie Professional and Applied Computing (R0)
Master the features of C++ that are frequently used to write financial software for options and derivatives, including the STL, templates, functional programming, and numerical libraries. This book also covers new features introduced in C++20 and other recent standard releases: modules, concepts, spaceship operators, and smart pointers.You will explore how-to examples covering all the major tools ... Læs mere

549,70 kr.

Master the features of C++ that are frequently used to write financial software for options and derivatives, including the STL, templates, functional programming, and numerical libraries. This book also covers new features introduced in C++20 and other recent standard releases: modules, concepts, spaceship operators, and smart pointers.You will explore how-to examples covering all the major tools
... Læs mere
OpenCode 擴展開發

從自訂工具到生態發布的建造者指南

af Happy eBook Authors ...

用完了、看懂了，現在輪到你動手造。《OpenCode 擴展開發》是「OpenCode 技術叢書」第四冊，帶你從使用者變成建造者。八個擴充點一次攤開：自訂指令、Agent Skills、代理工程、主題設計、MCP、自訂工具、外掛鉤子、SDK 整合——從改一句提示，到把 OpenCode 裝進你的自動化管線。延續系列鐵律「只寫能驗證的事」：十七支外掛鉤子逐一對照官方型別定義、SDK 方法對照 OpenAPI 生成碼、快取目錄實機解剖。書中範例可直接放進專案的 .opencode/ 目錄運行。五篇二十章：・工坊地圖——擴充點選型決策、載入時序、除錯三管道・提示層——指令插值、Skills 發現機制、代理權限工程・程式碼層——第一支外掛、攔截改寫、事件驅動、npm 發布・介面層——theme.json 主題、TUI 外掛、注意力與音效系統・整合層——SDK 自動化、json_schema ... Læs mere

47,48 kr. eller Gratis med Kobo Plus

用完了、看懂了，現在輪到你動手造。《OpenCode 擴展開發》是「OpenCode 技術叢書」第四冊，帶你從使用者變成建造者。八個擴充點一次攤開：自訂指令、Agent Skills、代理工程、主題設計、MCP、自訂工具、外掛鉤子、SDK 整合——從改一句提示，到把 OpenCode 裝進你的自動化管線。延續系列鐵律「只寫能驗證的事」：十七支外掛鉤子逐一對照官方型別定義、SDK 方法對照 OpenAPI 生成碼、快取目錄實機解剖。書中範例可直接放進專案的 .opencode/ 目錄運行。五篇二十章：・工坊地圖——擴充點選型決策、載入時序、除錯三管道・提示層——指令插值、Skills 發現機制、代理權限工程・程式碼層——第一支外掛、攔截改寫、事件驅動、npm 發布・介面層——theme.json 主題、TUI 外掛、注意力與音效系統・整合層——SDK 自動化、json_schema
... Læs mere
Pro Spring MVC with WebFlux

Web Development in Spring Framework 5 and Spring Boot 2

af Marten Deinum, Iuliana Cosmina ...

Serier serie Professional and Applied Computing (R0)
Explore the designs of the Spring MVC and WebFlux frameworks, and apply similar designs and techniques to your own code. Along with detailed analysis of the code and functionality, this book includes numerous tips and tricks to help you get the most out of Spring MVC, WebFlux, and Java-based web application development in general using Spring. You’ll see how Spring MVC is a modern web application ... Læs mere

497,32 kr.

Explore the designs of the Spring MVC and WebFlux frameworks, and apply similar designs and techniques to your own code. Along with detailed analysis of the code and functionality, this book includes numerous tips and tricks to help you get the most out of Spring MVC, WebFlux, and Java-based web application development in general using Spring. You’ll see how Spring MVC is a modern web application
... Læs mere
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

Redigeret af Julian M. Kunkel, Rio Yokota, Michela Taufer, John Shalf ...

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,79 kr.

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
Coordination, Organizations, Institutions, and Norms in Agent Systems XII

COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers

Redigeret af Stephen Cranefield, Samhar Mahmoud, Julian Padget, Ana Paula Rocha ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2016. The workshop COIN@AAMAS 2016 was held in Singapore, Singapore, in May 2016, and the workshop COIN@ECAI 2016 was held in The Hague, The Netherlands, in August 2016.The 9 full papers were carefully reviewed ... Læs mere

466,79 kr.

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2016. The workshop COIN@AAMAS 2016 was held in Singapore, Singapore, in May 2016, and the workshop COIN@ECAI 2016 was held in The Hague, The Netherlands, in August 2016.The 9 full papers were carefully reviewed
... 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

513,48 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
Learning C# by Programming Games

af Arjan Egges, Jeroen D. Fokker, Mark H. Overmars ...

Serier serie Computer Science (R0)
Developing computer games is a perfect way to learn how to program in modern programming languages. This book teaches how to program in C# through the creation of computer games – and without requiring any previous programming experience.Contrary to most programming books, Egges, Fokker and Overmars do not organize the presentation according to programming language constructs, but instead use the ... Læs mere

466,79 kr.

Developing computer games is a perfect way to learn how to program in modern programming languages. This book teaches how to program in C# through the creation of computer games – and without requiring any previous programming experience.Contrary to most programming books, Egges, Fokker and Overmars do not organize the presentation according to programming language constructs, but instead use the
... Læs mere
Swift 4 for Absolute Beginners

Develop Apps for iOS

af Stefan Kaczmarek, Brad Lees, Gary Bennett ...

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 4.Many people have a difficult time ... Læs mere

305,34 kr.

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 4.Many people have a difficult time
... Læs mere
Formal Languages and Compilation

af Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti ...

Serier serie Computer Science (R0)
This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators.This significantly updated and expanded third edition has been enhanced with additional coverage of regular expressions, visibly pushdown ... Læs mere

840,29 kr.

This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators.This significantly updated and expanded third edition has been enhanced with additional coverage of regular expressions, visibly pushdown
... Læs mere
Software Engineering and Formal Methods

SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Redigeret af Steve Counsell, Manuel Núñez ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis ... Læs mere

466,79 kr.

This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis
... Læs mere
Essentials of Compilation

An Incremental Approach in Racket

af Jeremy G. Siek ...

A hands-on approach to understanding and building compilers.Compilers are notoriously some of the most difficult programs to teach and understand. Most books about compilers dedicate one chapter to each progressive stage, a structure that hides how language features motivate design choices. By contrast, this innovative textbook provides an incremental approach that allows students to write every ... Læs mere

303,24 kr.

A hands-on approach to understanding and building compilers.Compilers are notoriously some of the most difficult programs to teach and understand. Most books about compilers dedicate one chapter to each progressive stage, a structure that hides how language features motivate design choices. By contrast, this innovative textbook provides an incremental approach that allows students to write every
... Læs mere
Mastering Pygame

af Kameron Hussain, Frahaan Hussain ...

Pygame has launched more game-development careers than any other Python library, and it is still the fastest way to turn an idea into a playable game. But almost every tutorial stops at a bouncing ball or a single-file clone of a 1970s arcade game, and leaves you staring at a thousand-line script that breaks every time you add a feature. Mastering Pygame is the book that covers everything after ... Læs mere

63,35 kr. eller Gratis med Kobo Plus

Pygame has launched more game-development careers than any other Python library, and it is still the fastest way to turn an idea into a playable game. But almost every tutorial stops at a bouncing ball or a single-file clone of a 1970s arcade game, and leaves you staring at a thousand-line script that breaks every time you add a feature. Mastering Pygame is the book that covers everything after
... Læs mere
Progettazione dei compilatori

af Knowledge Flow ...

Serier serie Serie Programmazione e Scienze Informatiche
Il libro Compiler Design di Knowledge Flow è una guida completa che copre i concetti fondamentali e avanzati della costruzione di compilatori. Questo libro è ideale per studenti, ingegneri del software e appassionati di informatica che desiderano comprendere l'analisi lessicale, l'analisi sintattica, l'analisi semantica, la generazione di codice intermedio, l'ottimizzazione e le tecniche di ... Læs mere

31,63 kr. eller Gratis med Kobo Plus

Il libro Compiler Design di Knowledge Flow è una guida completa che copre i concetti fondamentali e avanzati della costruzione di compilatori. Questo libro è ideale per studenti, ingegneri del software e appassionati di informatica che desiderano comprendere l'analisi lessicale, l'analisi sintattica, l'analisi semantica, la generazione di codice intermedio, l'ottimizzazione e le tecniche di
... Læs mere
Topics in Parallel and Distributed Computing

Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms

Redigeret af Sushil K. Prasad, Anshul Gupta, Arnold Rosenberg, Alan Sussman, Charles Weems ...

Serier serie Computer Science (R0)
This book introduces beginning undergraduate students of computing and computational disciplines to modern parallel and distributed programming languages and environments, including map-reduce, general-purpose graphics processing units (GPUs), and graphical user interfaces (GUI) for mobile applications. The book also guides instructors via selected essays on what and how to introduce parallel and ... Læs mere

513,48 kr.

This book introduces beginning undergraduate students of computing and computational disciplines to modern parallel and distributed programming languages and environments, including map-reduce, general-purpose graphics processing units (GPUs), and graphical user interfaces (GUI) for mobile applications. The book also guides instructors via selected essays on what and how to introduce parallel and
... 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

Explainable and Transparent AI and Multi-Agent Systems

Trends in Functional Programming

Provenance and Annotation of Data and Processes

Formal Methods for Industrial Critical Systems

Testing Software and Systems

Rust for the IoT

C++20 Quick Syntax Reference

Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity

Understanding Control Flow

Raku Recipes

Options and Derivatives Programming in C++20

OpenCode 擴展開發

Pro Spring MVC with WebFlux

High Performance Computing

Coordination, Organizations, Institutions, and Norms in Agent Systems XII

Diagrammatic Representation and Inference

Learning C# by Programming Games

Swift 4 for Absolute Beginners

Formal Languages and Compilation

Software Engineering and Formal Methods

Essentials of Compilation

Mastering Pygame

Progettazione dei compilatori

Topics in Parallel and Distributed Computing