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

Software Development, Design and Coding

With Patterns, Debugging, Unit Testing, and Refactoring

von John F. Dooley …

Serien series Professional and Applied Computing (R0)
Learn the principles of good software design, and how to turn those principles into great code. This book introduces you to software engineering — from the application of engineering principles to the development of software. You'll see how to run a software development project, examine the different phases of a project, and learn how to design and implement programs that solve specific problems. … Lesen Sie mehr

€ 64,78

Learn the principles of good software design, and how to turn those principles into great code. This book introduces you to software engineering — from the application of engineering principles to the development of software. You'll see how to run a software development project, examine the different phases of a project, and learn how to design and implement programs that solve specific problems.
... Lesen Sie mehr
Die Erfindung von YouTube

Video, Influence und Entertainment

von Lutz Spilker …

In einer Ära, in der das Internet unser Leben revolutioniert hat, sticht YouTube als eine der einflussreichsten Plattformen hervor. Doch wie begann alles? Welche technischen Meisterleistungen und visionären Ideen stecken hinter diesem weltweiten Phänomen? ›Die Erfindung von YouTube‹ entführt Sie auf eine außerordentlich interessante Reise durch die Geschichte dieser einzigartigen Plattform. … Lesen Sie mehr

€ 2,99

In einer Ära, in der das Internet unser Leben revolutioniert hat, sticht YouTube als eine der einflussreichsten Plattformen hervor. Doch wie begann alles? Welche technischen Meisterleistungen und visionären Ideen stecken hinter diesem weltweiten Phänomen? ›Die Erfindung von YouTube‹ entführt Sie auf eine außerordentlich interessante Reise durch die Geschichte dieser einzigartigen Plattform.
... Lesen Sie mehr
Language Server Protocol and Implementation

Supporting Language-Smart Editing and Programming Tools

von Nadeeshaan Gunasinghe, Nipuna Marcus …

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

€ 52,79

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

Bearbeitet von Julian M. Kunkel, Rio Yokota, Michela Taufer, John Shalf …

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

€ 49,49

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:
... Lesen Sie mehr
Beginning IntelliJ IDEA

Integrated Development Environment for Java Programming

von Ted Hagos …

Serien series Professional and Applied Computing (R0)
Get started quickly with IntelliJ, from installation to configuration to working with the source code and more. This tutorial will show you how to leverage IntelliJ’s tools to develop clean, efficient Java applications.Author Ted Hagos will first walk you through buidling your first Java applications using IntelliJ. Then, he’ll show you how to analyze your application, top to bottom; using version … Lesen Sie mehr

€ 52,79

Get started quickly with IntelliJ, from installation to configuration to working with the source code and more. This tutorial will show you how to leverage IntelliJ’s tools to develop clean, efficient Java applications.Author Ted Hagos will first walk you through buidling your first Java applications using IntelliJ. Then, he’ll show you how to analyze your application, top to bottom; using version
... Lesen Sie mehr
Swift 2 for Absolute Beginners

von Gary Bennett, Brad Lees …

Serien series Professional and Applied Computing (R0)
Swift 2 for Absolute Beginners 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 2.Gary Bennett and Brad Lees are full-time professional iOS developers and have developed a broad spectrum of apps for Fortune 500 … Lesen Sie mehr

€ 36,62

Swift 2 for Absolute Beginners 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 2.Gary Bennett and Brad Lees are full-time professional iOS developers and have developed a broad spectrum of apps for Fortune 500
... Lesen Sie mehr
Selenium WebDriver Recipes in C#

Second Edition

von Zhimin Zhan …

Serien series Professional and Applied Computing (R0)
Solve your Selenium WebDriver problems with this quick guide to automated testing of web applications with Selenium WebDriver in C#. Selenium WebDriver Recipes in C#, Second Edition contains hundreds of solutions to real-world problems, with clear explanations and ready-to-run Selenium test scripts that you can use in your own projects.You'll learn:How to locate web elements and test functions for … Lesen Sie mehr

€ 52,79

Solve your Selenium WebDriver problems with this quick guide to automated testing of web applications with Selenium WebDriver in C#. Selenium WebDriver Recipes in C#, Second Edition contains hundreds of solutions to real-world problems, with clear explanations and ready-to-run Selenium test scripts that you can use in your own projects.You'll learn:How to locate web elements and test functions for
... Lesen Sie mehr
Beginning R

An Introduction to Statistical Programming

von Larry Pace, Joshua Wiley …

Serien series Professional and Applied Computing (R0)
Beginning R, Second Edition is a hands-on book showing how to use the R language, write and save R scripts, read in data files, and write custom statistical functions as well as use built in functions. This book shows the use of R in specific cases such as one-way ANOVA analysis, linear and logistic regression, data visualization, parallel processing, bootstrapping, and more. It takes a hands-on, … Lesen Sie mehr

€ 74,02

Beginning R, Second Edition is a hands-on book showing how to use the R language, write and save R scripts, read in data files, and write custom statistical functions as well as use built in functions. This book shows the use of R in specific cases such as one-way ANOVA analysis, linear and logistic regression, data visualization, parallel processing, bootstrapping, and more. It takes a hands-on,
... Lesen Sie mehr
Artificial Intelligence and Soft Computing

20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II

Bearbeitet von Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada …

Serien Buch 2 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2021, held in Zakopane, Poland, in June 2021. Due to COVID 19, the conference was held virtually.The 89 full papers presented were carefully reviewed and selected from 195 submissions. The papers included both traditional artificial … Lesen Sie mehr

€ 108,89

The two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2021, held in Zakopane, Poland, in June 2021. Due to COVID 19, the conference was held virtually.The 89 full papers presented were carefully reviewed and selected from 195 submissions. The papers included both traditional artificial
... Lesen Sie mehr
Beginning Jakarta EE

Enterprise Edition for Java: From Novice to Professional

von Peter Späth …

Serien series Professional and Applied Computing (R0)
Build Java-based enterprise applications using the open source Eclipse Jakarta EE platform. This feature-packed book teaches you enterprise Java development top to bottom. It covers Java web-tier development using servlets, JavaServer Faces (JSF), RESTful applications, and JSON. You’ll also cover Java data-tier development using persistence and transaction handling, messaging services, remote … Lesen Sie mehr

€ 52,79

Build Java-based enterprise applications using the open source Eclipse Jakarta EE platform. This feature-packed book teaches you enterprise Java development top to bottom. It covers Java web-tier development using servlets, JavaServer Faces (JSF), RESTful applications, and JSON. You’ll also cover Java data-tier development using persistence and transaction handling, messaging services, remote
... Lesen Sie mehr
Grundkurs Compilerbau

von Uwe Meyer …

Compiler anschaulich und modern erklärtEin Compiler sorgt dafür, dass der Quellcode eines Programms so übertragen wird, dass ein Computer in der Lage ist, die Anweisungen zu verstehen und auszuführen. Der Compilerbau ist eine der ältesten Disziplinen der Informatik, ohne Compiler gäbe es keine Programmiersprachen, Frameworks oder Anwendungen. In diesem Fachbuch aus der Reihe »Informatik verstehen« … Lesen Sie mehr

€ 29,90

Compiler anschaulich und modern erklärtEin Compiler sorgt dafür, dass der Quellcode eines Programms so übertragen wird, dass ein Computer in der Lage ist, die Anweisungen zu verstehen und auszuführen. Der Compilerbau ist eine der ältesten Disziplinen der Informatik, ohne Compiler gäbe es keine Programmiersprachen, Frameworks oder Anwendungen. In diesem Fachbuch aus der Reihe »Informatik verstehen«
... Lesen Sie mehr
C++/CLI Primer

For .NET Development

von Vivek Ragunathan …

Serien series Professional and Applied Computing (R0)
Enter a world of hardcore back-end, server-side enterprise programming on the .NET platform. This book presents some of the important aspects of the C++/CLI language that often become a barrier preventing programmers from exploring further. The C++/CLI Primer is a powerful but compact book that will guide you through that barrier.Many of today's complex transactions and enterprise applications … Lesen Sie mehr

€ 21,33

Enter a world of hardcore back-end, server-side enterprise programming on the .NET platform. This book presents some of the important aspects of the C++/CLI language that often become a barrier preventing programmers from exploring further. The C++/CLI Primer is a powerful but compact book that will guide you through that barrier.Many of today's complex transactions and enterprise applications
... Lesen Sie mehr
Advanced Finite Element Simulation with MSC Marc

Application of User Subroutines

von Andreas Öchsner, Zia Javanbakht …

Serien series Engineering (R0)
This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. It is a specialized program for nonlinear problems (implicit solver) which is common in academia and industry. The primary goal of this book is to provide a comprehensive introduction to a special feature of this software: the user can write user … Lesen Sie mehr

€ 89,09

This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. It is a specialized program for nonlinear problems (implicit solver) which is common in academia and industry. The primary goal of this book is to provide a comprehensive introduction to a special feature of this software: the user can write user
... Lesen Sie mehr
Reversible Computation

8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Bearbeitet von Simon Devitt, Ivan Lanese …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016.The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016.The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing;
... Lesen Sie mehr
Formal Techniques for Safety-Critical Systems

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Bearbeitet von Cyrille Artho, Peter Csaba Ölveczky …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and
... Lesen Sie mehr
Modern X86 Assembly Language Programming

32-bit, 64-bit, SSE, and AVX

von Daniel Kusswurm …

Serien series Professional and Applied Computing (R0)
Modern X86 Assembly Language Programming shows the fundamentals of x86 assembly language programming. It focuses on the aspects of the x86 instruction set that are most relevant to application software development. The book's structure and sample code are designed to help the reader quickly understand x86 assembly language programming and the computational capabilities of the x86 platform.Please … Lesen Sie mehr

€ 49,05

Modern X86 Assembly Language Programming shows the fundamentals of x86 assembly language programming. It focuses on the aspects of the x86 instruction set that are most relevant to application software development. The book's structure and sample code are designed to help the reader quickly understand x86 assembly language programming and the computational capabilities of the x86 platform.Please
... Lesen Sie mehr
Practical C++ Design

From Programming to Architecture

von Adam B. Singer …

Serien series Professional and Applied Computing (R0)
Go from competent C++ developer to skilled designer or architect using this book as your personal C++ design master class. Updated for the C++20 standard, this title will guide you through the design and implementation of an engaging case study that forms the backdrop for learning the art of applying design patterns and modern C++ techniques to create a high quality, robust application.Starting … Lesen Sie mehr

€ 43,55

Go from competent C++ developer to skilled designer or architect using this book as your personal C++ design master class. Updated for the C++20 standard, this title will guide you through the design and implementation of an engaging case study that forms the backdrop for learning the art of applying design patterns and modern C++ techniques to create a high quality, robust application.Starting
... Lesen Sie mehr
Formal Aspects of Component Software

12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Bearbeitet von Christiano Braga, Peter Csaba Ölveczky …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults, … Lesen Sie mehr

€ 49,49

This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults,
... Lesen Sie mehr
Evaluation of Novel Approaches to Software Engineering

12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Bearbeitet von Ernesto Damiani, George Spanoudakis, Leszek Maciaszek …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017.The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT … Lesen Sie mehr

€ 49,49

This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017.The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT
... Lesen Sie mehr
Microservices From Day One

Build robust and scalable software from the start

von Tim Schmelmer, Cloves Carneiro Jr. …

Serien series Professional and Applied Computing (R0)
Learn what a microservices architecture is, its advantages, and why you should consider using one when starting a new application. The book describes how taking a microservices approach from the start helps avoid the complexity and expense of moving to a service-oriented approach after applications reach a critical code base size or traffic load.Microservices from Day One discusses many of the … Lesen Sie mehr

€ 49,05

Learn what a microservices architecture is, its advantages, and why you should consider using one when starting a new application. The book describes how taking a microservices approach from the start helps avoid the complexity and expense of moving to a service-oriented approach after applications reach a critical code base size or traffic load.Microservices from Day One discusses many of the
... Lesen Sie mehr
Logic Programming and Nonmonotonic Reasoning

18th International Conference, LPNMR 2026, Klagenfurt, Austria, September 7–11, 2026, Proceedings

Bearbeitet von Wolfgang Faber, Martin Gebser, Yanhong Annie Liu …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2026, held in Klagenfurt, Austria, during September 7–11, 2026.The 28 full papers and 4 short papers included in this book were carefully reviewed and selected from 46 submissions. The papers presented at the conference covered various topics focusing on design … Lesen Sie mehr

€ 72,26

This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2026, held in Klagenfurt, Austria, during September 7–11, 2026.The 28 full papers and 4 short papers included in this book were carefully reviewed and selected from 46 submissions. The papers presented at the conference covered various topics focusing on design
... 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
Logic and Argumentation

4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings

Bearbeitet von Pietro Baroni, Christoph Benzmüller, Yὶ N. Wáng …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of … Lesen Sie mehr

€ 89,09

This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of
... Lesen Sie mehr
Testing Software and Systems

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

Bearbeitet von Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün …

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

€ 49,49

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and
... 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

Software Development, Design and Coding

Die Erfindung von YouTube

Language Server Protocol and Implementation

High Performance Computing

Beginning IntelliJ IDEA

Swift 2 for Absolute Beginners

Selenium WebDriver Recipes in C#

Beginning R

Artificial Intelligence and Soft Computing

Beginning Jakarta EE

Grundkurs Compilerbau

C++/CLI Primer

Advanced Finite Element Simulation with MSC Marc

Reversible Computation

Formal Techniques for Safety-Critical Systems

Modern X86 Assembly Language Programming

Practical C++ Design

Formal Aspects of Component Software

Evaluation of Novel Approaches to Software Engineering

Microservices From Day One

Logic Programming and Nonmonotonic Reasoning

Introduction to Automata Theory and Formal Languages

Logic and Argumentation

Testing Software and Systems