Rakuten Kobo

Skip side bar filters

Graph-Based Representation and Reasoning

28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11–13, 2023, Proceedings

Edited by Manuel Ojeda-Aciego, Kai Sauerwald, Robert Jäschke ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed deadline proceedings of the 28th International Conference on Graph-Based Representation and Reasoning, ICCS 2023, held in Berlin, Germany, during September 11–13, 2023.The 9 full papers, 5 short papers and 4 Posters are included in this book were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Complexity ... Read more

$53.99 USD

This book constitutes the refereed deadline proceedings of the 28th International Conference on Graph-Based Representation and Reasoning, ICCS 2023, held in Berlin, Germany, during September 11–13, 2023.The 9 full papers, 5 short papers and 4 Posters are included in this book were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Complexity
... Read more
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

18th European Conference, ECSQARU 2025, Hagen, Germany, September 23–26, 2025, Proceedings

Edited by Kai Sauerwald, Matthias Thimm ...

Series series Springer Nature Proceedings Computer Science
This volume LNAI 16099 constitutes the refereed proceedings of the 19th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2025, held in Hagen, Germany, during September 23-26, 2025.The 34 full papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: Bayesian ... Read more

$58.49 USD

This volume LNAI 16099 constitutes the refereed proceedings of the 19th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2025, held in Hagen, Germany, during September 23-26, 2025.The 34 full papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: Bayesian
... Read more

Foundations of Software Science and Computation Structures

26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Edited by Orna Kupferman, Pawel Sobocinski ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 26 regular papers presented in this volume were carefully reviewed and selected ... Read more

Free

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 26 regular papers presented in this volume were carefully reviewed and selected
... Read more
Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Edited by Hana Chockler, Georg Weissenbacher ...

Series Book 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... Read more

Free

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and
... Read more
Programming Languages and Systems

32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Edited by Thomas Wies ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in ... Read more

Free

This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in
... Read more
Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and ... Read more

Free

This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and
... Read more
Conceptual Knowledge Structures

Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8–12, 2025, Proceedings

Edited by Peggy Cellier, Bernhard Ganter, Rokia Missaoui ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Second International Joint Conference on Conceptual Knowledge Structures, CONCEPTS 2025, held in Cluj-Napoca, Romania, during September 8–12, 2025.The 25 full papers and 2 short papers included in this book were carefully reviewed and selected from 33 submissions. They were organized in topical sections as follows: Methodology; Patterns, ... Read more

$125.09 USD

This book constitutes the refereed proceedings of the Second International Joint Conference on Conceptual Knowledge Structures, CONCEPTS 2025, held in Cluj-Napoca, Romania, during September 8–12, 2025.The 25 full papers and 2 short papers included in this book were carefully reviewed and selected from 33 submissions. They were organized in topical sections as follows: Methodology; Patterns,
... Read more
Theoretical Aspects of Computing – ICTAC 2023

20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings

Edited by Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023.The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions.They were organised in the topical sections as follows: Bring ... Read more

$80.99 USD

This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023.The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions.They were organised in the topical sections as follows: Bring
... Read more
Inductive Logic Programming

25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Edited by Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Conference on Inductive Logic Programming, ILP 2015, held in Kyoto, Japan, in August 2015.The 14 revised papers presented were carefully reviewed and selected from 44 submissions. The papers focus on topics such as theories, algorithms, representations and languages, systems and applications of ILP, ... Read more

$49.49 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Conference on Inductive Logic Programming, ILP 2015, held in Kyoto, Japan, in August 2015.The 14 revised papers presented were carefully reviewed and selected from 44 submissions. The papers focus on topics such as theories, algorithms, representations and languages, systems and applications of ILP,
... Read more
Formal Concept Analysis

14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings

Edited by Karell Bertet, Daniel Borchmann, Peggy Cellier, Sébastien Ferré ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2017, held in Rennes, France, in June 2017.The 13 full papers presented in this volume were carefully reviewed and selected from 37 submissions. The book also contains an invited contribution and a historical paper translated from German and originally published in “Die Klassifkation und ... Read more

$49.49 USD

This book constitutes the proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2017, held in Rennes, France, in June 2017.The 13 full papers presented in this volume were carefully reviewed and selected from 37 submissions. The book also contains an invited contribution and a historical paper translated from German and originally published in “Die Klassifkation und
... Read more
Principles of Formal Quantitative Analysis

Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday

Edited by Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz ...

Series series Computer Science (R0)
This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.After earning her doctorate from the University of Mannheim, Christel Baier held research and professorial positions in Mannheim and Bonn. Since 2006 she has been a full professor ... Read more

$71.99 USD

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.After earning her doctorate from the University of Mannheim, Christel Baier held research and professorial positions in Mannheim and Bonn. Since 2006 she has been a full professor
... Read more
Theoretical Aspects of Computing – ICTAC 2018

15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

Edited by Bernd Fischer, Tarmo Uustalu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018.The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions.The ICTAC conference aims at bringing together researchers and ... Read more

$80.99 USD

This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018.The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions.The ICTAC conference aims at bringing together researchers and
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

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

Top Series in United States

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Graph-Based Representation and Reasoning

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

People who read these also enjoyed

Foundations of Software Science and Computation Structures

Computer Aided Verification

Programming Languages and Systems

Automated Reasoning

Conceptual Knowledge Structures

Theoretical Aspects of Computing – ICTAC 2023

Inductive Logic Programming

Formal Concept Analysis

Principles of Formal Quantitative Analysis

Theoretical Aspects of Computing – ICTAC 2018

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

Top Series in United States

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Show:

People who read these also enjoyed