Rakuten Kobo

Shopping Cart

Item(s) unavailable for purchase

Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.

itemsitem

- Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Get 1 credit every month for the audiobook of your choice
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  Audiobook
  by ,
  
  Available:
  
  . No commitment, cancel anytime at kobo.com/account/subscriptions.
  
  Pre-order
  1 audiobook monthly
  
  + FREE 30-day trial
  
  Special Offer
  
  Get 1 credit every month to exchange for an audiobook of your choice
  
  *No commitment, cancel anytime
  
  FREE

itemsitem

Unlimited access to eBooks

Unlimited access to audiobooks

No commitment, cancel anytime at kobo.com/account/subscriptions

Get 1 credit every month for the audiobook of your choice

No commitment, cancel anytime at kobo.com/account/subscriptions

Unlimited access to eBooks

Unlimited access to audiobooks

No commitment, cancel anytime at kobo.com/account/subscriptions
Audiobook
by ,

Available:
. No commitment, cancel anytime at kobo.com/account/subscriptions.

Pre-order
1 audiobook monthly

+ FREE 30-day trial

Special Offer

Get 1 credit every month to exchange for an audiobook of your choice

*No commitment, cancel anytime

FREE

Recommended For You

Computer Vision – ECCV 2020 Workshops

Glasgow, UK, August 23–28, 2020, Proceedings, Part II

Edited by Adrien Bartoli, Andrea Fusiello ...

Series Book 2 - Springer Nature Proceedings Computer Science
The 6-volume set, comprising the LNCS books 12535 until 12540, constitutes the refereed proceedings of 28 out of the 45 workshops held at the 16th European Conference on Computer Vision, ECCV 2020. The conference was planned to take place in Glasgow, UK, during August 23-28, 2020, but changed to a virtual format due to the COVID-19 pandemic.The 249 full papers, 18 short papers, and 21 further ... Read more

PHP5,528.19

The 6-volume set, comprising the LNCS books 12535 until 12540, constitutes the refereed proceedings of 28 out of the 45 workshops held at the 16th European Conference on Computer Vision, ECCV 2020. The conference was planned to take place in Glasgow, UK, during August 23-28, 2020, but changed to a virtual format due to the COVID-19 pandemic.The 249 full papers, 18 short papers, and 21 further
... Read more
The Semantic Web and Web Science

8th Chinese Conference, CSWS 2014, Wuhan, China, August 8-12, 2014, Revised Selected Papers

Edited by Dongyan Zhao, Jianfeng Du, Haofen Wang, Peng Wang, Donghong Ji, Jeff Z. Pan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed papers of the 8th Chinese Conference on The Semantic Web and Web Science, CSWS 2014, held in Wuhan, China, in August 2014. The 22 research papers presented were carefully reviewed and selected from 61 submissions. The papers are organized in topical sections such as ontology reasoning and learning; semantic data generation and management; and semantic ... Read more

PHP3,070.99

This book constitutes the thoroughly refereed papers of the 8th Chinese Conference on The Semantic Web and Web Science, CSWS 2014, held in Wuhan, China, in August 2014. The 22 research papers presented were carefully reviewed and selected from 61 submissions. The papers are organized in topical sections such as ontology reasoning and learning; semantic data generation and management; and semantic
... Read more
Interactive Segmentation Techniques

Algorithms and Performance Evaluation

by Jia He, Chang-Su Kim, C.-C. Jay Kuo ...

Series series Engineering (R0)
This book focuses on interactive segmentation techniques, which have been extensively studied in recent decades. Interactive segmentation emphasizes clear extraction of objects of interest, whose locations are roughly indicated by human interactions based on high level perception. This book will first introduce classic graph-cut segmentation algorithms and then discuss state-of-the-art techniques, ... Read more

PHP3,070.99

This book focuses on interactive segmentation techniques, which have been extensively studied in recent decades. Interactive segmentation emphasizes clear extraction of objects of interest, whose locations are roughly indicated by human interactions based on high level perception. This book will first introduce classic graph-cut segmentation algorithms and then discuss state-of-the-art techniques,
... Read more
Testing Software and Systems

27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

Edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test ... Read more

PHP3,070.99

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test
... Read more
Graph Transformation

11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Edited by Leen Lambers, Jens Weber ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation ... Read more

PHP3,070.99

This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation
... Read more
Design for Teaching and Learning in a Networked World

10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings

Edited by Gráinne Conole, Tomaž Klobučar, Christoph Rensing, Johannes Konert, Elise Lavoué ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, held in Toledo, Spain, in September 2015.The 27 full papers, 19 short papers, 9 demo papers and 23 posters were carefully reviewed and selected from 176 submissions. They address topics such as blended learning; self-regulated and self directed learning; reflective learning; ... Read more

PHP3,070.99

This book constitutes the refereed proceedings of the 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, held in Toledo, Spain, in September 2015.The 27 full papers, 19 short papers, 9 demo papers and 23 posters were carefully reviewed and selected from 176 submissions. They address topics such as blended learning; self-regulated and self directed learning; reflective learning;
... Read more
Applied Semantic Web Technologies

Edited by Vijayan Sugumaran, Jon Atle Gulla ...

The rapid advancement of semantic web technologies, along with the fact that they are at various levels of maturity, has left many practitioners confused about the current state of these technologies. Focusing on the most mature technologies, Applied Semantic Web Technologies integrates theory with case studies to illustrate the history, current state, and future direction of the semantic web. It ... Read more

PHP4,924.42

The rapid advancement of semantic web technologies, along with the fact that they are at various levels of maturity, has left many practitioners confused about the current state of these technologies. Focusing on the most mature technologies, Applied Semantic Web Technologies integrates theory with case studies to illustrate the history, current state, and future direction of the semantic web. It
... Read more
Reversible Computation

18th International Conference, RC 2026, Turin, Italy, July 9–10, 2026, Proceedings

Edited by Clément Aubert, Luca Roversi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Reversible Computation, RC 2026, held in Turin, Italy, during July 9-10, 2026.The 13 full papers, 3 work-in-progress papers and 1 tool demonstration paper were carefully reviewed and selected from 38 submissions. They were organized in topical sections as follows: Models of Reversible and Quantum Computation; ... Read more

PHP3,070.99

This book constitutes the refereed proceedings of the 18th International Conference on Reversible Computation, RC 2026, held in Turin, Italy, during July 9-10, 2026.The 13 full papers, 3 work-in-progress papers and 1 tool demonstration paper were carefully reviewed and selected from 38 submissions. They were organized in topical sections as follows: Models of Reversible and Quantum Computation;
... Read more
A Programmer's Companion to Algorithm Analysis

by Ernst L. Leiss ...

Until now, no other book examined the gap between the theory of algorithms and the production of software programs. Focusing on practical issues, A Programmer's Companion to Algorithm Analysis carefully details the transition from the design and analysis of an algorithm to the resulting software program. Consisting of two main complementary ... Read more

PHP6,257.06

Until now, no other book examined the gap between the theory of algorithms and the production of software programs. Focusing on practical issues, A Programmer's Companion to Algorithm Analysis carefully details the transition from the design and analysis of an algorithm to the resulting software program. Consisting of two main complementary
... Read more
Memory Management for Synthesis of DSP Software

by Praveen K. Murthy, Shuvra S. Bhattacharyya ...

Although programming in memory-restricted environments is never easy, this holds especially true for digital signal processing (DSP). The data-rich, computation-intensive nature of DSP makes memory management a chief and challenging concern for designers. Memory Management for Synthesis of DSP Software focuses on minimizing memory requirements during the synthesis of DSP software from dataflow ... Read more

PHP18,830.87

Although programming in memory-restricted environments is never easy, this holds especially true for digital signal processing (DSP). The data-rich, computation-intensive nature of DSP makes memory management a chief and challenging concern for designers. Memory Management for Synthesis of DSP Software focuses on minimizing memory requirements during the synthesis of DSP software from dataflow
... Read more
Haptics: Understanding Touch; Technology and Systems; Applications and Interaction

15th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2026, Siena, Italy, July 6–9, 2026, Proceedings, Part I

Edited by Claudio Pacchierotti, Karon E. MacLean, Jan B.F. van Erp ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 16593+16594 constitutes the refereed proceedings of the 15th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2026, held in Siena, Italy, during July 2026.The 82 full papers included in the proceedings were carefully reviewed and selected from 165 submissions. They focus on recent developments across haptic hardware, ... Read more

PHP4,913.89

The two-volume set LNCS 16593+16594 constitutes the refereed proceedings of the 15th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2026, held in Siena, Italy, during July 2026.The 82 full papers included in the proceedings were carefully reviewed and selected from 165 submissions. They focus on recent developments across haptic hardware,
... Read more
Think Stats

Exploratory Data Analysis

by Allen B. Downey ...

If you know how to program, you have the skills to turn data into knowledge. This thoroughly revised edition presents statistical concepts computationally, rather than mathematically, using programs written in Python. Through practical examples and exercises based on real-world datasets, you'll learn the entire process of exploratory data analysis—from wrangling data and generating statistics to ... Read more

PHP2,846.39

If you know how to program, you have the skills to turn data into knowledge. This thoroughly revised edition presents statistical concepts computationally, rather than mathematically, using programs written in Python. Through practical examples and exercises based on real-world datasets, you'll learn the entire process of exploratory data analysis—from wrangling data and generating statistics to
... Read more
Human-Computer Interaction – INTERACT 2025

20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part II

Edited by Carmelo Ardito, Simone Diniz Junqueira Barbosa, Tayana Conte, André Freire, Isabela Gasparini, Philippe Palanque, Raquel Prates ...

Series Book 2 - Springer Nature Proceedings Computer Science
This four-volume set LNCS 16108-16111 constitutes the proceedings of the 20th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2025, held in Belo Horizonte, Brazil, during September 8–12, 2025.The 69 full papers, 34 short papers and 79 papers of other types included in this book were carefully reviewed and selected from 330 submissions. They were organized in topical ... Read more

PHP4,913.89

This four-volume set LNCS 16108-16111 constitutes the proceedings of the 20th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2025, held in Belo Horizonte, Brazil, during September 8–12, 2025.The 69 full papers, 34 short papers and 79 papers of other types included in this book were carefully reviewed and selected from 330 submissions. They were organized in topical
... Read more
Games for Health

Proceedings of the 3rd european conference on gaming and playful interaction in health care

Edited by Ben Schouten, Stephen Fedtke, Tilde Bekker, Marlies Schijven, Alex Gekker ...

Series series Springer Nature Proceedings Computer Science
Founded in 2004, the Games for Health Project supports community, knowledge and business development efforts to use cutting-edge games and game technologies to improve health and health care. The Games for Health Conference brings together researchers, medical professionals and game developers to share information about the impact of games, playful interaction and game technologies on health, ... Read more

PHP2,640.99

Founded in 2004, the Games for Health Project supports community, knowledge and business development efforts to use cutting-edge games and game technologies to improve health and health care. The Games for Health Conference brings together researchers, medical professionals and game developers to share information about the impact of games, playful interaction and game technologies on health,
... Read more
Advances in Digital Human Modeling III

Proceedings of the 10th International Digital Human Modeling Symposium, DHM 2026, July 1-3, 2026, Maribor, Slovenia

Edited by Gregor Harih, Vasja Plesec ...

Series series Springer Nature Proceedings excluding Computer Science
This book presents the latest advancements in digital human modeling, with a specialized focus on the integration of ergonomics, biomechanics, and human-centered engineering. It explores a wide array of cutting-edge technologies, including wearable sensors, machine vision, collaborative systems, and industrial robotics, alongside the evolving role of digital human twins and mixed-reality ... Read more

PHP12,285.59

This book presents the latest advancements in digital human modeling, with a specialized focus on the integration of ergonomics, biomechanics, and human-centered engineering. It explores a wide array of cutting-edge technologies, including wearable sensors, machine vision, collaborative systems, and industrial robotics, alongside the evolving role of digital human twins and mixed-reality
... Read more
C++ Standard Library Quick Reference

by Marc Gregoire, Peter Van Weert ...

Series series 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 ... Read more

PHP1,635.39

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
... Read more
C++17 Standard Library Quick Reference

A Pocket Guide to Data Structures, Algorithms, and Functions

by Peter Van Weert, Marc Gregoire ...

Series series Professional and Applied Computing (R0)
This quick reference is a condensed guide to the essential data structures, algorithms, and functions provided by the C++17 Standard Library. It does not explain the C++ language or syntax, but is accessible to anyone with basic C++ knowledge or programming experience. Even the most experienced C++ programmer will learn a thing or two from it and find it a useful memory-aid.It is hard to remember ... Read more

PHP2,698.09

This quick reference is a condensed guide to the essential data structures, algorithms, and functions provided by the C++17 Standard Library. It does not explain the C++ language or syntax, but is accessible to anyone with basic C++ knowledge or programming experience. Even the most experienced C++ programmer will learn a thing or two from it and find it a useful memory-aid.It is hard to remember
... Read more
Human Aspects of IT for the Aged Population. Design for Everyday Life

First International Conference, ITAP 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part II

Edited by Jia Zhou, Gavriel Salvendy ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two LNCS volume set 9193-9194 constitutes the refereed proceedings of the First International Conference on Human Aspects of IT for the Aged Population, ITAP 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015, jointly with 15 other thematically conferences. The total of 1462 papers and 246 posters ... Read more

PHP3,070.99

The two LNCS volume set 9193-9194 constitutes the refereed proceedings of the First International Conference on Human Aspects of IT for the Aged Population, ITAP 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015, jointly with 15 other thematically conferences. The total of 1462 papers and 246 posters
... Read more
Evolutionary and Biologically Inspired Music, Sound, Art and Design

5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

Edited by Colin Johnson, Vic Ciesielski, João Correia, Penousal Machado ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on Evolutionary and Biologically Inspired Music, Sound, Art and Design, EvoMUSART 2016, held in Porto, Portugal, in March/April 2016, co-located with the Evo*2016 events EuroGP, EvoCOP and EvoApplications.The 17 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers cover ... Read more

PHP3,070.99

This book constitutes the refereed proceedings of the 5th International Conference on Evolutionary and Biologically Inspired Music, Sound, Art and Design, EvoMUSART 2016, held in Porto, Portugal, in March/April 2016, co-located with the Evo*2016 events EuroGP, EvoCOP and EvoApplications.The 17 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers cover
... Read more
Human-Computer Interaction – INTERACT 2021

18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part V

Edited by Carmelo Ardito, Rosa Lanzilotti, Alessio Malizia, Helen Petrie, Antonio Piccinno, Giuseppe Desolda, Kori Inkpen ...

Series Book 5 - Springer Nature Proceedings Computer Science
The five-volume set LNCS 12932-12936 constitutes the proceedings of the 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, held in Bari, Italy, in August/September 2021.The total of 105 full papers presented together with 72 short papers and 70 other papers in these books was carefully reviewed and selected from 680 submissions. The contributions are organized ... Read more

PHP3,070.99

The five-volume set LNCS 12932-12936 constitutes the proceedings of the 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, held in Bari, Italy, in August/September 2021.The total of 105 full papers presented together with 72 short papers and 70 other papers in these books was carefully reviewed and selected from 680 submissions. The contributions are organized
... Read more
Systems Modeling: Methodologies and Tools

Edited by Antonio Puliafito, Kishor S. Trivedi ...

Series series Engineering (R0)
This book covers ideas, methods, algorithms, and tools for the in-depth study of the performance and reliability of dependable fault-tolerant systems. The chapters identify the current challenges that designers and practitioners must confront to ensure the reliability, availability, and performance of systems, with special focus on their dynamic behaviors and dependencies. Topics include network ... Read more

PHP5,528.19

This book covers ideas, methods, algorithms, and tools for the in-depth study of the performance and reliability of dependable fault-tolerant systems. The chapters identify the current challenges that designers and practitioners must confront to ensure the reliability, availability, and performance of systems, with special focus on their dynamic behaviors and dependencies. Topics include network
... Read more
Practical Aspects of Declarative Languages

20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Edited by Francesco Calimeri, Kevin Hamlen, Nicola Leone ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected ... Read more

PHP2,456.69

This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected
... Read more
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX

Special Issue on Database- and Expert-Systems Applications

Edited by Abdelkader Hameurlain, Roland Wagner, Djamal Benslimane, Ernesto Damiani, William I. Grosky ...

Series series Computer Science (R0)
This, the 39th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains extended and revised versions of seven papers selected from the 37 contributions presented at the 28th International Conference on Database and Expert Systems Applications, DEXA 2017, held in Lyon, France, in August 2017. Topics covered include knowledge bases, clustering algorithms, parallel ... Read more

PHP3,070.99

This, the 39th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains extended and revised versions of seven papers selected from the 37 contributions presented at the 28th International Conference on Database and Expert Systems Applications, DEXA 2017, held in Lyon, France, in August 2017. Topics covered include knowledge bases, clustering algorithms, parallel
... Read more
Logics in Artificial Intelligence

16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Edited by Francesco Calimeri, Nicola Leone, Marco Manna ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers included in this volume were carefully reviewed and selected from 101 submissions. Additionally, the book contains 3 invited papers. The accepted papers span a number of areas within Logics in AI, including ... Read more

PHP5,528.19

This book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers included in this volume were carefully reviewed and selected from 101 submissions. Additionally, the book contains 3 invited papers. The accepted papers span a number of areas within Logics in AI, including
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Programming eBooks

Computer Vision – ECCV 2020 Workshops

The Semantic Web and Web Science

Interactive Segmentation Techniques

Testing Software and Systems

Graph Transformation

Design for Teaching and Learning in a Networked World

Applied Semantic Web Technologies

Reversible Computation

A Programmer's Companion to Algorithm Analysis

Memory Management for Synthesis of DSP Software

Haptics: Understanding Touch; Technology and Systems; Applications and Interaction

Think Stats

Human-Computer Interaction – INTERACT 2025

Games for Health

Advances in Digital Human Modeling III

C++ Standard Library Quick Reference

C++17 Standard Library Quick Reference

Human Aspects of IT for the Aged Population. Design for Everyday Life

Evolutionary and Biologically Inspired Music, Sound, Art and Design

Human-Computer Interaction – INTERACT 2021

Systems Modeling: Methodologies and Tools

Practical Aspects of Declarative Languages

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX

Logics in Artificial Intelligence