1
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops [E-Book] : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers /
2
Descriptional Complexity of Formal Systems [E-Book] : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings /
3
Graph-Based Representation and Reasoning [E-Book] : 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings /
4
Formal Methods [E-Book] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings /
5
Algorithmic Aspects of Cloud Computing [E-Book] : 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers /
6
Formal Concept Analysis [E-Book] : 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings /
7
Logics in Artificial Intelligence [E-Book] : 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings /
8
Foundations of Software Science and Computation Structures [E-Book] : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
9
Programming Languages and Systems [E-Book] : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
10
Fundamental Approaches to Software Engineering [E-Book] : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
11
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I /
12
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II /
13
Language, Logic, and Computation [E-Book] : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers /
14
Rewriting Logic and Its Applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers [E-Book] /
15
Graph-Based Representation and Reasoning [E-Book] : 27th International Conference on Conceptual Structures, ICCS 2022, Münster, Germany, September 12-15, 2022, Proceedings /
16
Computer Safety, Reliability, and Security [E-Book] : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings /
17
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops [E-Book] : DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6-9, 2022, Proceedings /
18
Model-Based Safety and Assessment [E-Book] : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings /
19
Parallel Problem Solving from Nature - PPSN XVII [E-Book] : 17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022, Proceedings, Part I /
20
Rules and Reasoning [E-Book] : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings /