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

Game Development with Construct 2

From Design to Realization

af LEE STEMKOSKI, Evan Leider ...

Serier serie Professional and Applied Computing (R0)
Design and create video games using Construct 2. No prior experience is required.Game Development with Construct 2 teaches you to create 12 different game projects from a variety of genres, including car racing and tower defense to platformer and action-adventure. The software is user friendly and powerful, and the games you create can be exported to run on the web, desktop computers, and ... Læs mere

549,92 kr.

Design and create video games using Construct 2. No prior experience is required.Game Development with Construct 2 teaches you to create 12 different game projects from a variety of genres, including car racing and tower defense to platformer and action-adventure. The software is user friendly and powerful, and the games you create can be exported to run on the web, desktop computers, and
... Læs mere
Grundkurs Software-Engineering mit UML

Der pragmatische Weg zu erfolgreichen Softwareprojekten

af Stephan Kleuker ...

Serier serie Computer Science and Engineering (German Language)
Mit der Entwicklung neuer Technologien werden auch die einzelnen Software-Projekte stetig komplexer. Zu analysieren, warum manche Projekte scheitern und andere erfolgreich sind, wird daher immer wichtiger. Dieses Buch ist ein praktischer Leitfaden für die Entwicklung neuer Software.Systematisch beschreibt der Autor die Chancen und Risiken, die einem bei der Entwicklung einer Software begegnen ... Læs mere

305,46 kr.

Mit der Entwicklung neuer Technologien werden auch die einzelnen Software-Projekte stetig komplexer. Zu analysieren, warum manche Projekte scheitern und andere erfolgreich sind, wird daher immer wichtiger. Dieses Buch ist ein praktischer Leitfaden für die Entwicklung neuer Software.Systematisch beschreibt der Autor die Chancen und Risiken, die einem bei der Entwicklung einer Software begegnen
... Læs mere
Trends in Functional Programming

16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Redigeret af Manuel Serrano, Jurriaan Hage ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional ... Læs mere

373,55 kr.

This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional
... Læs mere
Formal Methods and Software Engineering

23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings

Redigeret af Adrian Riesco, Min Zhang ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such ... Læs mere

466,97 kr.

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such
... Læs mere
Software Architecture

11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

Redigeret af Rogério de Lemos, Antónia Lopes ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th European Conference on Software Architecture, ECSA 2017, held in Canterbury, UK, in September 2017.The 9 full papers presented together with 12 short papers and one keynote talk were carefully reviewed and selected from 54 submissions. They are organized in topical sections on Software Architecture Analysis and Verification; Software Architecture ... Læs mere

466,97 kr.

This book constitutes the proceedings of the 11th European Conference on Software Architecture, ECSA 2017, held in Canterbury, UK, in September 2017.The 9 full papers presented together with 12 short papers and one keynote talk were carefully reviewed and selected from 54 submissions. They are organized in topical sections on Software Architecture Analysis and Verification; Software Architecture
... Læs mere
C++ Standard Library Quick Reference

af Marc Gregoire, Peter Van Weert ...

Serier serie Professional and Applied Computing (R0)
This quick reference is a condensed guide to the essential data structures, algorithms, and functions provided by the C++ Standard Library. Used by millions of C++ programmers on a daily basis, the C++ Standard Library features core classes for strings, I/O streams, and various generic containers, as well as a comprehensive set of algorithms to manipulate them. In recent years, the C++11 and C++14 ... Læs mere

235,58 kr.

This quick reference is a condensed guide to the essential data structures, algorithms, and functions provided by the C++ Standard Library. Used by millions of C++ programmers on a daily basis, the C++ Standard Library features core classes for strings, I/O streams, and various generic containers, as well as a comprehensive set of algorithms to manipulate them. In recent years, the C++11 and C++14
... Læs mere
Foundations of Software Science and Computation Structures

19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Redigeret af Bart Jacobs, Christof Löding ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 31 full papers presented in this volume were carefully reviewed and selected from 85 ... Læs mere

466,97 kr.

This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 31 full papers presented in this volume were carefully reviewed and selected from 85
... Læs mere
Software Engineering

International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Redigeret af Bertrand Meyer, Martin Nordio ...

Serier serie Computer Science (R0)
The LASER Summer School is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from pioneers in the field.Since its inception in 2004, the LASER Summer School has focused on an important software engineering topic each year. This volume contains selected ... Læs mere

373,55 kr.

The LASER Summer School is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from pioneers in the field.Since its inception in 2004, the LASER Summer School has focused on an important software engineering topic each year. This volume contains selected
... Læs mere
Symposium on Real-Time and Hybrid Systems

Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Redigeret af Cliff Jones, Ji Wang, Naijun Zhan ...

Serier serie Computer Science (R0)
This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017.The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic ... Læs mere

466,97 kr.

This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017.The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic
... Læs mere
Software Technologies: Applications and Foundations

STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

Redigeret af Martina Seidl, Steffen Zschaler ...

Serier serie Springer Nature Proceedings Computer Science
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017.The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions.The events whose papers are included in this volume are:BigMDE ... Læs mere

466,97 kr.

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017.The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions.The events whose papers are included in this volume are:BigMDE
... Læs mere
Language Server Protocol and Implementation

Supporting Language-Smart Editing and Programming Tools

af Nadeeshaan Gunasinghe, Nipuna Marcus ...

Serier serie Professional and Applied Computing (R0)
Understand the important aspects of implementing a production-grade language server in support of language-smart tools such as code editors and other programming utilities. This book shows you how to create a single implementation of a language server that can be used by multiple tools, enabling you to do the job once in a way that can be shared and reused.This book covers the language server ... Læs mere

497,51 kr.

Understand the important aspects of implementing a production-grade language server in support of language-smart tools such as code editors and other programming utilities. This book shows you how to create a single implementation of a language server that can be used by multiple tools, enabling you to do the job once in a way that can be shared and reused.This book covers the language server
... Læs mere
Logic and Argumentation

5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

Redigeret af Andreas Herzig, Jieting Luo, Pere Pardo ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023.The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions.The papers focus on topics such as:logic and automated deduction; abstract and ... Læs mere

607,08 kr.

This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023.The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions.The papers focus on topics such as:logic and automated deduction; abstract and
... Læs mere
Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education

16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23–25, 2023, Proceedings

Redigeret af Jean-Philippe Pellet, Gabriel Parriaux ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2023, held in Lausanne, Switzerland, during October 23–25, 2023.The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions. They are organized in four topical sections named: artificial intelligence and its ... Læs mere

Gratis

This book constitutes the proceedings of the 16th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2023, held in Lausanne, Switzerland, during October 23–25, 2023.The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions. They are organized in four topical sections named: artificial intelligence and its
... Læs mere
Informatics in Schools. A Step Beyond Digital Education

15th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2022, Vienna, Austria, September 26–28, 2022, Proceedings

Redigeret af Andreas Bollin, Gerald Futschek ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020. Due to COVID-19 related travelling restrictions the conference had to be switched to online format. The 12 full papers presented together with 4 short papers were carefully reviewed and selected ... Læs mere

513,67 kr.

This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020. Due to COVID-19 related travelling restrictions the conference had to be switched to online format. The 12 full papers presented together with 4 short papers were carefully reviewed and selected
... Læs mere
Euro-Par 2021: Parallel Processing

27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings

Redigeret af Leonel Sousa, Nuno Roma, Pedro Tomás ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. The conference was held virtually due to the COVID-19 pandemic.The 38 full papers presented in this volume were carefully reviewed and selected from 136 submissions. They deal with parallel and distributed computing in general, ... Læs mere

1.027,44 kr.

This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. The conference was held virtually due to the COVID-19 pandemic.The 38 full papers presented in this volume were carefully reviewed and selected from 136 submissions. They deal with parallel and distributed computing in general,
... Læs mere
Database Systems for Advanced Applications. DASFAA 2022 International Workshops

BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11–14, 2022, Proceedings

Redigeret af Uday Kiran Rage, Vikram Goyal, P. Krishna Reddy ...

Serier serie Springer Nature Proceedings Computer Science
This volume constitutes the papers of several workshops which were held in conjunction with the 27th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held as virtual event in April 2022.The 30 revised full papers presented in this book were carefully reviewed and selected from 65 submissions.DASFAA 2022 presents the following five workshops:· First workshop on ... Læs mere

793,91 kr.

This volume constitutes the papers of several workshops which were held in conjunction with the 27th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held as virtual event in April 2022.The 30 revised full papers presented in this book were carefully reviewed and selected from 65 submissions.DASFAA 2022 presents the following five workshops:· First workshop on
... Læs mere
Composability, Comprehensibility and Correctness of Working Software

8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers

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

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software. ... Læs mere

700,49 kr.

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.
... Læs mere
AIxIA 2023 – Advances in Artificial Intelligence

XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings

Redigeret af Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 – Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6–10, 2023.The 33 full papers included in this book were carefully reviewed and selected from 53 submissions. They were organized in topical sections as follows: Argumentation and Logic Programming, Natural ... Læs mere

653,79 kr.

This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 – Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6–10, 2023.The 33 full papers included in this book were carefully reviewed and selected from 53 submissions. They were organized in topical sections as follows: Argumentation and Logic Programming, Natural
... Læs mere
AIxIA 2022 – Advances in Artificial Intelligence

XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 – December 2, 2022, Proceedings

Redigeret af Agostino Dovier, Angelo Montanari, Andrea Orlandini ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the XXIst International Conference of the Italian Association for Artificial Intelligence on AIxIA 2022 – Advances in Artificial Intelligence, which was held in Udine, Italy, during November 28–December 2, 2022.The 33 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 54 submissions. They were ... Læs mere

607,08 kr.

This book constitutes the refereed proceedings of the XXIst International Conference of the Italian Association for Artificial Intelligence on AIxIA 2022 – Advances in Artificial Intelligence, which was held in Udine, Italy, during November 28–December 2, 2022.The 33 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 54 submissions. They were
... Læs mere
Getting Structured Data from the Internet

Running Web Crawlers/Scrapers on a Big Data Production Scale

af Jay M. Patel ...

Serier serie Business and Management (R0)
Utilize web scraping at scale to quickly get unlimited amounts of free data available on the web into a structured format. This book teaches you to use Python scripts to crawl through websites at scale and scrape data from HTML and JavaScript-enabled pages and convert it into structured data formats such as CSV, Excel, JSON, or load it into a SQL database of your choice.This book goes beyond the ... Læs mere

549,92 kr.

Utilize web scraping at scale to quickly get unlimited amounts of free data available on the web into a structured format. This book teaches you to use Python scripts to crawl through websites at scale and scrape data from HTML and JavaScript-enabled pages and convert it into structured data formats such as CSV, Excel, JSON, or load it into a SQL database of your choice.This book goes beyond the
... Læs mere
Compiler bau

af Knowledge Flow ...

Serier serie Reihe Programmierung und Informatik
Compiler Design Buch von Knowledge Flow ist ein umfassender Leitfaden, der die grundlegenden und fortgeschrittenen Konzepte des Compilerbaus behandelt. Dieses Buch ist ideal für Studenten, Softwareingenieure und Informatikbegeisterte, die lexikalische Analyse, Syntaxanalyse, semantische Analyse, Zwischencodegenerierung, Optimierung und Codegenerierungstechniken verstehen möchten.Es bietet einen ... Læs mere

31,99 kr. eller Gratis med Kobo Plus

Compiler Design Buch von Knowledge Flow ist ein umfassender Leitfaden, der die grundlegenden und fortgeschrittenen Konzepte des Compilerbaus behandelt. Dieses Buch ist ideal für Studenten, Softwareingenieure und Informatikbegeisterte, die lexikalische Analyse, Syntaxanalyse, semantische Analyse, Zwischencodegenerierung, Optimierung und Codegenerierungstechniken verstehen möchten.Es bietet einen
... Læs mere
Claude AI Mastery

af Kameron Hussain, Frahaan Hussain ...

Claude.ai is not a search box with better grammar — it is a thinking partner that can hold an entire project's worth of context, reason step by step through hard problems, remember how you like to work, and act on your behalf across multi-step tasks. Most people using Claude.ai today are using a fraction of what it can actually do: they open a chat window, ask a question the way they'd type a ... Læs mere

64,08 kr. eller Gratis med Kobo Plus

Claude.ai is not a search box with better grammar — it is a thinking partner that can hold an entire project's worth of context, reason step by step through hard problems, remember how you like to work, and act on your behalf across multi-step tasks. Most people using Claude.ai today are using a fraction of what it can actually do: they open a chat window, ask a question the way they'd type a
... Læs mere
Building Firmware with CMake

A practical guide to automating embedded builds, tests, and release artifacts

af Amar Mahmutbegović ...

Go beyond ad-hoc Makefiles and vendor IDE workflows by moving to a reproducible CMake-based firmware build system with automated testing and reliable outputs, from the author of bestselling C++ in Embedded Systems Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\* Key FeaturesPin toolchains and external dependencies for reproducible firmware builds across machines and ... Læs mere

262,49 kr.

FORUDBESTIL

Go beyond ad-hoc Makefiles and vendor IDE workflows by moving to a reproducible CMake-based firmware build system with automated testing and reliable outputs, from the author of bestselling C++ in Embedded Systems Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\* Key FeaturesPin toolchains and external dependencies for reproducible firmware builds across machines and
... Læs mere
LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries

Design powerful and reliable compilers using the latest libraries and tools from LLVM

af Min-Yih Hsu ...

Learn how you can build the next big programming language, compiler, or source code analyzer using LLVM and ClangKey FeaturesExplore Clang, LLVM’s middle-end and backend, in a pragmatic wayDevelop your LLVM skillset and get to grips with a variety of common use casesEngage with real-world LLVM development through various coding examplesBook DescriptionEvery programmer or engineer, at some point in ... Læs mere

333,74 kr. eller Gratis med Kobo Plus

Learn how you can build the next big programming language, compiler, or source code analyzer using LLVM and ClangKey FeaturesExplore Clang, LLVM’s middle-end and backend, in a pragmatic wayDevelop your LLVM skillset and get to grips with a variety of common use casesEngage with real-world LLVM development through various coding examplesBook DescriptionEvery programmer or engineer, at some point in
... 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

Game Development with Construct 2

Grundkurs Software-Engineering mit UML

Trends in Functional Programming

Formal Methods and Software Engineering

Software Architecture

C++ Standard Library Quick Reference

Foundations of Software Science and Computation Structures

Software Engineering

Symposium on Real-Time and Hybrid Systems

Software Technologies: Applications and Foundations

Language Server Protocol and Implementation

Logic and Argumentation

Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education

Informatics in Schools. A Step Beyond Digital Education

Euro-Par 2021: Parallel Processing

Database Systems for Advanced Applications. DASFAA 2022 International Workshops

Composability, Comprehensibility and Correctness of Working Software

AIxIA 2023 – Advances in Artificial Intelligence

AIxIA 2022 – Advances in Artificial Intelligence

Getting Structured Data from the Internet

Compiler bau

Claude AI Mastery

Building Firmware with CMake

LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries