Rakuten Kobo

Warenkorb

Artikel nicht erhältlich

Bitte überprüfen Sie Ihren Warenkorb. Sie können nicht verfügbare Artikel jetzt entfernen. Andernfalls werden diese beim Bezahlen automatisch entfernt.

ElementeElement

- Enthält eBooks
  
  Enthält Hörbücher
  
  Enthält 30 Stunden Hörzeit
  
  Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions
  
  Erhalten Sie jeden Monat 1 Gutschrift für das Hörbuch Ihrer Wahl
  
  Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions
  
  Enthält eBooks
  
  Enthält Hörbücher
  
  Enthält 30 Stunden Hörzeit
  
  Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions
  Hörbuch
  von ,
  
  Erhältlich ab:
  
  . Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions.
  
  Vorbestellen
  1 Hörbuch monatlich
  
  + 30 Tage kostenlos testen
  
  Willkommensgeschenk
  
  Sicheren Sie sich jeden Monat eine Gutschrift, die Sie gegen ein Hörbuch Ihrer Wahl einlösen können
  
  * Keine Bindung, jederzeit kündbar
  
  KOSTENLOS

ElementeElement

Enthält eBooks

Enthält Hörbücher

Enthält 30 Stunden Hörzeit

Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions

Erhalten Sie jeden Monat 1 Gutschrift für das Hörbuch Ihrer Wahl

Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions

Enthält eBooks

Enthält Hörbücher

Enthält 30 Stunden Hörzeit

Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions
Hörbuch
von ,

Erhältlich ab:
. Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions.

Vorbestellen
1 Hörbuch monatlich

+ 30 Tage kostenlos testen

Willkommensgeschenk

Sicheren Sie sich jeden Monat eine Gutschrift, die Sie gegen ein Hörbuch Ihrer Wahl einlösen können

* Keine Bindung, jederzeit kündbar

KOSTENLOS

Empfehlungen für Sie

Agile Visualization with Pharo

Crafting Interactive Visual Support Using Roassal

von Alexandre Bergel …

Serien series Professional and Applied Computing (R0)
Use the Pharo interactive development environment to significantly reduce the cost of creating interactive visualizations. This book shows how Pharo leverages visualization development against traditional frameworks and toolkits.Agile Visualization with Pharo focuses on the Roassal visualization engine and first presents the basic and necessary tools to visualize data, including an introduction to … Lesen Sie mehr

€ 43,55

Use the Pharo interactive development environment to significantly reduce the cost of creating interactive visualizations. This book shows how Pharo leverages visualization development against traditional frameworks and toolkits.Agile Visualization with Pharo focuses on the Roassal visualization engine and first presents the basic and necessary tools to visualize data, including an introduction to
... Lesen Sie mehr
Deep Belief Nets in C++ and CUDA C: Volume 1

Restricted Boltzmann Machines and Supervised Feedforward Networks

von Timothy Masters …

Serien series Professional and Applied Computing (R0)
Discover the essential building blocks of the most common forms of deep belief networks. At each step this book provides intuitive motivation, a summary of the most important equations relevant to the topic, and concludes with highly commented code for threaded computation on modern CPUs as well as massive parallel processing on computers with CUDA-capable video display cards.The first of three in … Lesen Sie mehr

€ 29,69

Discover the essential building blocks of the most common forms of deep belief networks. At each step this book provides intuitive motivation, a summary of the most important equations relevant to the topic, and concludes with highly commented code for threaded computation on modern CPUs as well as massive parallel processing on computers with CUDA-capable video display cards.The first of three in
... Lesen Sie mehr
Python lernen in abgeschlossenen Lerneinheiten

Programmieren für Einsteiger mit vielen Beispielen

von Sebastian Dörn …

Serien series Computer Science and Engineering (German Language)
Ein leicht verständliches Buch, um einfach und schnell Python zu lernenSebastian Dörns Buch „Python lernen in abgeschlossenen Lerneinheiten“ bringt Einsteigern anhand in sich abgeschlossener Lerneinheiten die Grundlagen von und das Programmieren mit Python bei. Zum Inhalt des Buchs gehören folgende Kapitel:· Erste Schritte in Python· Variablen, Ausdrücke und Operatoren· Bedingte Auswahlanweisungen … Lesen Sie mehr

€ 18,58

Ein leicht verständliches Buch, um einfach und schnell Python zu lernenSebastian Dörns Buch „Python lernen in abgeschlossenen Lerneinheiten“ bringt Einsteigern anhand in sich abgeschlossener Lerneinheiten die Grundlagen von und das Programmieren mit Python bei. Zum Inhalt des Buchs gehören folgende Kapitel:· Erste Schritte in Python· Variablen, Ausdrücke und Operatoren· Bedingte Auswahlanweisungen
... Lesen Sie mehr
OpenMP: Memory, Devices, and Tasks

12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

Bearbeitet von Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 12th International Workshop on OpenMP, IWOMP 2016, held in Nara, Japan, in October 2016.The 24 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: applications, locality, task parallelism, extensions, tools, accelerator programming, and performance evaluations and … Lesen Sie mehr

€ 49,49

This book constitutes the proceedings of the 12th International Workshop on OpenMP, IWOMP 2016, held in Nara, Japan, in October 2016.The 24 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: applications, locality, task parallelism, extensions, tools, accelerator programming, and performance evaluations and
... Lesen Sie mehr
Geographical Information Systems Theory, Applications and Management

4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers

Bearbeitet von Lemonia Ragia, Cédric Grueau, Robert Laurini …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2018, held in Funchal, Madeira, Portugal, in March 2018.The 7 revised full papers presented were carefully reviewed and selected from 58 submissions. The papers are centered on urban and regional planning; water information … Lesen Sie mehr

€ 49,49

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2018, held in Funchal, Madeira, Portugal, in March 2018.The 7 revised full papers presented were carefully reviewed and selected from 58 submissions. The papers are centered on urban and regional planning; water information
... Lesen Sie mehr
Java XML and JSON

Document Processing for Java SE

von Jeff Friesen …

Serien series 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 … Lesen Sie mehr

€ 74,02

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
... Lesen Sie mehr
Julia Quick Syntax Reference

A Pocket Guide for Data Science Programming

von Antonello Lobianco …

Serien series Professional and Applied Computing (R0)
Learn the Julia programming language as quickly as possible. This book is a must-have reference guide that presents the essential Julia syntax in a well-organized format, updated with the latest features of Julia’s APIs, libraries, and packages.This book provides an introduction that reveals basic Julia structures and syntax; discusses data types, control flow, functions, input/output, exceptions, … Lesen Sie mehr

€ 52,79

Learn the Julia programming language as quickly as possible. This book is a must-have reference guide that presents the essential Julia syntax in a well-organized format, updated with the latest features of Julia’s APIs, libraries, and packages.This book provides an introduction that reveals basic Julia structures and syntax; discusses data types, control flow, functions, input/output, exceptions,
... Lesen Sie mehr
Swift 3 for Absolute Beginners

von Gary Bennett, Brad Lees …

Serien series 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 … Lesen Sie mehr

€ 43,55

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
... Lesen Sie mehr
Intelligent Computer Mathematics

10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Bearbeitet von Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of
... Lesen Sie mehr
Networked Systems

10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings

Bearbeitet von Mohammed-Amine Koulali, Mira Mezini …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design … Lesen Sie mehr

€ 49,49

This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design
... Lesen Sie mehr
Kickstart Compiler Design Fundamentals

von Sandeep Telkar R, Dr. Rajesh Yakkundimath, Dr. Likewin Thomas …

Unveiling Compiler Secrets from Source to Execution.Key Features● Master compiler fundamentals, from lexical analysis to advanced optimization techniques.● Reinforce concepts with practical exercises, projects, and real-world case studies.● Explore LLVM, GCC, and industry-standard optimization methods for efficient code generation.Book DescriptionCompilers are the backbone of modern computing... … Lesen Sie mehr

€ 17,81

Unveiling Compiler Secrets from Source to Execution.Key Features● Master compiler fundamentals, from lexical analysis to advanced optimization techniques.● Reinforce concepts with practical exercises, projects, and real-world case studies.● Explore LLVM, GCC, and industry-standard optimization methods for efficient code generation.Book DescriptionCompilers are the backbone of modern computing...
... Lesen Sie mehr
Formal Specification Techniques for Engineering Modular C Programs

von Tan Yang Meng …

Serien Buch 1 - International Series in Software Engineering
Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to … Lesen Sie mehr

€ 138,59

Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to
... Lesen Sie mehr
Foundations of Security, Protocols, and Equational Reasoning

Essays Dedicated to Catherine A. Meadows

Bearbeitet von Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic …

Serien series 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 … Lesen Sie mehr

€ 49,49

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
... Lesen Sie mehr
Codebreakers Horizon

Navigating the Future of Programming Talent

von Anurag Anurag …

"Codebreakers Horizon" offers a comprehensive exploration of the technological workforce's future, addressing the critical shortage of skilled programmers and the collective effort required to resolve it. The book delves into the multifaceted nature of attracting, educating, and maintaining the programmers who will lead the charge in the next technological revolution. From the classrooms where … Lesen Sie mehr

€ 1,09

"Codebreakers Horizon" offers a comprehensive exploration of the technological workforce's future, addressing the critical shortage of skilled programmers and the collective effort required to resolve it. The book delves into the multifaceted nature of attracting, educating, and maintaining the programmers who will lead the charge in the next technological revolution. From the classrooms where
... Lesen Sie mehr
Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part I

Bearbeitet von Robbert Krebbers …

Serien Buch 1 - Springer Nature Proceedings Computer Science
The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.The 31 full papers included in the proceedings, together with one invited talk, were carefully reviewed and … Lesen Sie mehr

Kostenlos

The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.The 31 full papers included in the proceedings, together with one invited talk, were carefully reviewed and
... Lesen Sie mehr
Writing Compilers and Interpreters

A Software Engineering Approach

von Ronald Mak …

Long-awaited revision to a unique guide that covers both compilers and interpreters Revised, updated, and now focusing on Java instead of C++, this long-awaited, latest edition of this popular book teaches programmers and software engineering students how to write compilers and interpreters using Java. You?ll write compilers and interpreters as case studies, generating general assembly code for a … Lesen Sie mehr

€ 68,99

Long-awaited revision to a unique guide that covers both compilers and interpreters Revised, updated, and now focusing on Java instead of C++, this long-awaited, latest edition of this popular book teaches programmers and software engineering students how to write compilers and interpreters using Java. You?ll write compilers and interpreters as case studies, generating general assembly code for a
... Lesen Sie mehr
Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

von Amol M. Jagtap, Gautami G. Shingan …

This book provides a structured introduction to automata theory, bridging theoretical foundations with practical applications. Designed for students, researchers, and professionals, this book explores fundamental concepts like deterministic and non-deterministic finite automata, context-free grammars, pushdown automata, and Turing machines. It emphasises problem-solving, critical thinking, and … Lesen Sie mehr

€ 105,18

This book provides a structured introduction to automata theory, bridging theoretical foundations with practical applications. Designed for students, researchers, and professionals, this book explores fundamental concepts like deterministic and non-deterministic finite automata, context-free grammars, pushdown automata, and Turing machines. It emphasises problem-solving, critical thinking, and
... Lesen Sie mehr
NASA Formal Methods

9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Bearbeitet von Clark Barrett, Misty Davies, Temesghen Kahsai …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, … Lesen Sie mehr

€ 49,49

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations,
... Lesen Sie mehr
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

Bearbeitet von Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini …

Serien series 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 … Lesen Sie mehr

€ 69,29

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
... Lesen Sie mehr
Practical C++20 Financial Programming

Problem Solving for Quantitative Finance, Financial Engineering, Business, and Economics

von Carlos Oliveira …

Serien series Professional and Applied Computing (R0)
Apply C++ to programming problems in the financial industry using this hands-on book, updated for C++20. It explains those aspects of the language that are more frequently used in writing financial software, including the Standard Template Library (STL), templates, and various numerical libraries. Practical C++20 Financial Programming also describes many of the important problems in financial … Lesen Sie mehr

€ 52,79

Apply C++ to programming problems in the financial industry using this hands-on book, updated for C++20. It explains those aspects of the language that are more frequently used in writing financial software, including the Standard Template Library (STL), templates, and various numerical libraries. Practical C++20 Financial Programming also describes many of the important problems in financial
... Lesen Sie mehr
Kubernetes Microservices with Docker

von Deepak Vohra …

Serien series Professional and Applied Computing (R0)
Start using Kubernetes in complex big data and enterprise applications, including Docker containers. Starting with installing Kubernetes on a single node, the book introduces Kubernetes with a simple Hello example and discusses using environment variables in Kubernetes.Next, Kubernetes Microservices with Docker discusses using Kubernetes with all major groups of technologies such as relational … Lesen Sie mehr

€ 62,03

Start using Kubernetes in complex big data and enterprise applications, including Docker containers. Starting with installing Kubernetes on a single node, the book introduces Kubernetes with a simple Hello example and discusses using environment variables in Kubernetes.Next, Kubernetes Microservices with Docker discusses using Kubernetes with all major groups of technologies such as relational
... Lesen Sie mehr
Software Technologies: Applications and Foundations

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

Bearbeitet von Martina Seidl, Steffen Zschaler …

Serien series 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 … Lesen Sie mehr

€ 49,49

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
... Lesen Sie mehr
Semantics, Logics, and Calculi

Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Bearbeitet von Christian W. Probst, Chris Hankin, René Rydhof Hansen …

Serien series Computer Science (R0)
This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis.The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are … Lesen Sie mehr

€ 49,49

This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis.The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are
... Lesen Sie mehr
An Introduction to Python and Computer Programming

von Yue Zhang …

Serien series Engineering (R0)
This book introduces Python programming language and fundamental concepts in algorithms and computing. Its target audience includes students and engineers with little or no background in programming, who need to master a practical programming language and learn the basic thinking in computer science/programming. The main contents come from lecture notes for engineering students from all … Lesen Sie mehr

€ 108,89

This book introduces Python programming language and fundamental concepts in algorithms and computing. Its target audience includes students and engineers with little or no background in programming, who need to master a practical programming language and learn the basic thinking in computer science/programming. The main contents come from lecture notes for engineering students from all
... Lesen Sie mehr

Kobo Rakuten

eReader

Apps

Zubehör

Warenkorb

Sie werden jetzt wie ein VIP behandelt!

Ihr Warenkorb ist leer

Erhältlich ab:

1 Hörbuch monatlich

+ 30 Tage kostenlos testen

Erhältlich ab:

1 Hörbuch monatlich

+ 30 Tage kostenlos testen

Empfehlungen für Sie

Compilerprogramme eBooks

Agile Visualization with Pharo

Deep Belief Nets in C++ and CUDA C: Volume 1

Python lernen in abgeschlossenen Lerneinheiten

OpenMP: Memory, Devices, and Tasks

Geographical Information Systems Theory, Applications and Management

Java XML and JSON

Julia Quick Syntax Reference

Swift 3 for Absolute Beginners

Intelligent Computer Mathematics

Networked Systems

Kickstart Compiler Design Fundamentals

Formal Specification Techniques for Engineering Modular C Programs

Foundations of Security, Protocols, and Equational Reasoning

Codebreakers Horizon

Programming Languages and Systems

Writing Compilers and Interpreters

Introduction to Automata Theory and Formal Languages

NASA Formal Methods

AIxIA 2023 – Advances in Artificial Intelligence

Practical C++20 Financial Programming

Kubernetes Microservices with Docker

Software Technologies: Applications and Foundations

Semantics, Logics, and Calculi

An Introduction to Python and Computer Programming