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

Introducing Delphi ORM

Object Relational Mapping Using TMS Aurelius

af John Kouraklis ...

Serier serie Professional and Applied Computing (R0)
Discover the fundamental concepts of object-relational mapping (ORM) design, Aurelius’ basic features, and the practical applications of those features. In a series of tasks, you will be exposed to techniques and best practices that make the use of Aurelius easy and efficient. Furthermore, you’ll refine your analytical skills to sharpen your understanding of Delphi (Pascal), helping you write ... Læs mere

497,51 kr.

Discover the fundamental concepts of object-relational mapping (ORM) design, Aurelius’ basic features, and the practical applications of those features. In a series of tasks, you will be exposed to techniques and best practices that make the use of Aurelius easy and efficient. Furthermore, you’ll refine your analytical skills to sharpen your understanding of Delphi (Pascal), helping you write
... Læs mere
Automated Reasoning

10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Redigeret af Nicolas Peltier, Viorica Sofronie-Stokkermans ...

Serier Bog 2 - Springer Nature Proceedings Computer Science
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP ... Læs mere

681,81 kr.

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP
... Læs mere
Integration of Constraint Programming, Artificial Intelligence, and Operations Research

16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Redigeret af Louis-Martin Rousseau, Kostas Stergiou ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, held in Thessaloniki, Greece, in June 2019.The 34 full papers presented together with 9 short papers were carefully reviewed and selected from 94 submissions. The conference brings together interested researchers from ... Læs mere

466,97 kr.

This book constitutes the proceedings of the 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, held in Thessaloniki, Greece, in June 2019.The 34 full papers presented together with 9 short papers were carefully reviewed and selected from 94 submissions. The conference brings together interested researchers from
... Læs mere
Languages, Applications and Technologies

4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers

Redigeret af José-Luis Sierra-Rodríguez, José-Paulo Leal, Alberto Simões ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Symposium on Languages, Applications and Technologies, SLATE 2015, held in Madrid, Spain, in June 2015.The 17 revised full papers presented were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on human-human languages; human-computer languages; computer-computer languages. ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the 4th International Symposium on Languages, Applications and Technologies, SLATE 2015, held in Madrid, Spain, in June 2015.The 17 revised full papers presented were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on human-human languages; human-computer languages; computer-computer languages.
... Læs mere
Static Analysis

23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Redigeret af Xavier Rival ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow
... Læs mere
Let’s Build a Multiplayer Phaser Game

With TypeScript, Socket.IO, and Phaser

af Oscar Lodriguez ...

Serier serie Professional and Applied Computing (R0)
Create a fully working multiplayer game from scratch using TypeScript, Socket.IO, and the community edition of Phaser.js. You will achieve amazing feats in the browser without having to install any software. This book teaches you how to use the Phaser game engine APIs to tap into physics, and how to utilize HUD information and fire lasers.Let’s Build a Multiplayer Phaser Game dives into the ... Læs mere

410,26 kr.

Create a fully working multiplayer game from scratch using TypeScript, Socket.IO, and the community edition of Phaser.js. You will achieve amazing feats in the browser without having to install any software. This book teaches you how to use the Phaser game engine APIs to tap into physics, and how to utilize HUD information and fire lasers.Let’s Build a Multiplayer Phaser Game dives into the
... Læs mere
Advanced Perl Programming

From Advanced to Expert

af William "Bo" Rothwell ...

Serier serie Professional and Applied Computing (R0)
William "Bo" Rothwell's Advanced Perl Programming continues where his previous book left off, more or less, as it guides you through advanced techniques of the Perl programming language starting with command-line options, references, and arrays and hashes from advanced data types. Next, you'll learn about typeglobs for symbolic entries.Additionally, you'll see advanced subroutine handling, then ... Læs mere

584,85 kr.

William "Bo" Rothwell's Advanced Perl Programming continues where his previous book left off, more or less, as it guides you through advanced techniques of the Perl programming language starting with command-line options, references, and arrays and hashes from advanced data types. Next, you'll learn about typeglobs for symbolic entries.Additionally, you'll see advanced subroutine handling, then
... Læs mere
Java XML and JSON

Document Processing for Java SE

af Jeff Friesen ...

Serier serie Professional and Applied Computing (R0)
Use this guide to master the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML and JSON documents from the Java language. New in this edition is coverage of Jackson (a JSON processor for Java) and Oracle’s own Java API for JSON processing (JSON-P), which is a JSON processing API for Java EE that also can be used with Java SE. This new edition of ... Læs mere

698,35 kr.

Use this guide to master the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML and JSON documents from the Java language. New in this edition is coverage of Jackson (a JSON processor for Java) and Oracle’s own Java API for JSON processing (JSON-P), which is a JSON processing API for Java EE that also can be used with Java SE. This new edition of
... Læs mere
Spring Boot 2 Recipes

A Problem-Solution Approach

af Marten Deinum ...

Solve all your Spring Boot 2 problems using complete and real-world code examples. When you start a new project, you’ll be able to copy the code and configuration files from this book, and then modify them for your needs. This can save you a great deal of work over creating a project from scratch.Using a problem-solution approach, Spring Boot 2 Recipes quickly introduces you to Pivotal's Spring ... Læs mere

497,51 kr.

Solve all your Spring Boot 2 problems using complete and real-world code examples. When you start a new project, you’ll be able to copy the code and configuration files from this book, and then modify them for your needs. This can save you a great deal of work over creating a project from scratch.Using a problem-solution approach, Spring Boot 2 Recipes quickly introduces you to Pivotal's Spring
... Læs mere
Source Code Analytics With Roslyn and JavaScript Data Visualization

af Sudipta Mukherjee ...

Serier serie Professional and Applied Computing (R0)
Learn how to build an interactive source code analytics system using Roslyn and JavaScript. This concise 150 page book will help you create and use practical code analysis tools utilizing the new features of Microsoft’s Roslyn compiler to understand the health of your code and identify parts of the code for refactoring.Source code is one of the biggest assets of a software company. However if not ... Læs mere

235,58 kr.

Learn how to build an interactive source code analytics system using Roslyn and JavaScript. This concise 150 page book will help you create and use practical code analysis tools utilizing the new features of Microsoft’s Roslyn compiler to understand the health of your code and identify parts of the code for refactoring.Source code is one of the biggest assets of a software company. However if not
... Læs mere
Languages and Compilers for Parallel Computing

28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

Redigeret af Xipeng Shen, Frank Mueller, James Tuck ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2015, held in Raleigh, NC, USA, in September 2015.The 19 revised full papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on programming models, optimizing framework, ... Læs mere

466,97 kr.

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2015, held in Raleigh, NC, USA, in September 2015.The 19 revised full papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on programming models, optimizing framework,
... Læs mere
Static Analysis

24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Redigeret af Francesco Ranzato ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is
... Læs mere
Practical Marko

Progressive HTML Rendering and Micro Front-Ends

af Damodaran Chingleput Sathyakumar ...

Serier serie Professional and Applied Computing (R0)
With the recent evolution of frontend frameworks toward the server, there has been a growing interest in server-side rendering and optimizing for the server to unlock greater performance gains. In this context, this book explores Marko JS—a View framework that is heavily optimized for both the server and the client—and discusses techniques using Marko that can help enterprises achieve significant ... Læs mere

497,51 kr.

With the recent evolution of frontend frameworks toward the server, there has been a growing interest in server-side rendering and optimizing for the server to unlock greater performance gains. In this context, this book explores Marko JS—a View framework that is heavily optimized for both the server and the client—and discusses techniques using Marko that can help enterprises achieve significant
... Læs mere
System Analysis and Modeling. Technology-Specific Aspects of Models

9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

Redigeret af Steffen Herbold, Jens Grabowski ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models.The volume reflects the five sessions of ... Læs mere

466,97 kr.

This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models.The volume reflects the five sessions of
... Læs mere
The Python Workbook

A Brief Introduction with Exercises and Solutions

af Ben Stephenson ...

Serier serie Computer Science (R0)
This student-friendly textbook encourages the development of programming skills through active practice by focusing on exercises that support hands-on learning. The Python Workbook provides a compendium of 186 exercises, spanning a variety of academic disciplines and everyday situations. Solutions to selected exercises are also provided, supported by brief annotations that explain the technique ... Læs mere

420,26 kr.

This student-friendly textbook encourages the development of programming skills through active practice by focusing on exercises that support hands-on learning. The Python Workbook provides a compendium of 186 exercises, spanning a variety of academic disciplines and everyday situations. Solutions to selected exercises are also provided, supported by brief annotations that explain the technique
... Læs mere
Euro-Par 2017: Parallel Processing

23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings

Redigeret af Francisco F. Rivera, Tomás F. Pena, José C. Cabaleiro ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2017, held in Santiago de Compostela, Spain, in August/September 2017. The 50 revised full papers presented together with 2 abstract of invited talks and 1 invited paper were carefully reviewed and selected from 176 submissions. The papers are organized in the following ... Læs mere

466,97 kr.

This book constitutes the proceedings of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2017, held in Santiago de Compostela, Spain, in August/September 2017. The 50 revised full papers presented together with 2 abstract of invited talks and 1 invited paper were carefully reviewed and selected from 176 submissions. The papers are organized in the following
... Læs mere
AutoGPT: Revolutionizing Automation with Generative AI

af Kameron Hussain, Frahaan Hussain ...

In the groundbreaking book "AutoGPT: Revolutionizing Automation with Generative AI," readers are taken on an illuminating journey into the transformative world of generative artificial intelligence. This comprehensive guide explores how AutoGPT technology is redefining the boundaries of automation, making sophisticated tasks accessible and enhancing productivity across numerous sectors.Beginning ... Læs mere

64,08 kr. eller Gratis med Kobo Plus

In the groundbreaking book "AutoGPT: Revolutionizing Automation with Generative AI," readers are taken on an illuminating journey into the transformative world of generative artificial intelligence. This comprehensive guide explores how AutoGPT technology is redefining the boundaries of automation, making sophisticated tasks accessible and enhancing productivity across numerous sectors.Beginning
... Læs mere
Modelling Foundations and Applications

12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

Redigeret af Andrzej Wąsowski, Henrik Lönn ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 16 papers presented in this volume were carefully reviewed and selected from 47 submissions. The committee decided to accept 16 papers, 12 papers for the Foundations Track and 4 papers for the Applications Track ... Læs mere

466,97 kr.

This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 16 papers presented in this volume were carefully reviewed and selected from 47 submissions. The committee decided to accept 16 papers, 12 papers for the Foundations Track and 4 papers for the Applications Track
... Læs mere
Foundations of Security, Protocols, and Equational Reasoning

Essays Dedicated to Catherine A. Meadows

Redigeret af Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic ...

Serier serie Computer Science (R0)
This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has ... Læs mere

466,97 kr.

This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has
... Læs mere
Theory and Practice of Formal Methods

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

Redigeret af Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen ...

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.

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
Swift 3 for Absolute Beginners

af Gary Bennett, Brad Lees ...

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.

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
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

Redigeret af Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp ...

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.

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
Intelligent Computer Mathematics

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

Redigeret af Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa ...

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.

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
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,97 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

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

Introducing Delphi ORM

Automated Reasoning

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Languages, Applications and Technologies

Static Analysis

Let’s Build a Multiplayer Phaser Game

Advanced Perl Programming

Java XML and JSON

Spring Boot 2 Recipes

Source Code Analytics With Roslyn and JavaScript Data Visualization

Languages and Compilers for Parallel Computing

Static Analysis

Practical Marko

System Analysis and Modeling. Technology-Specific Aspects of Models

The Python Workbook

Euro-Par 2017: Parallel Processing

AutoGPT: Revolutionizing Automation with Generative AI

Modelling Foundations and Applications

Foundations of Security, Protocols, and Equational Reasoning

Theory and Practice of Formal Methods

Swift 3 for Absolute Beginners

Critical Systems: Formal Methods and Automated Verification

Intelligent Computer Mathematics

High Performance Computing