1
SOFSEM 2024: Theory and Practice of Computer Science [E-Book] : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings /

Full text 
Favorites
Saved in:
2
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 /

Full text 
Favorites
Saved in:
3
Formal Concept Analysis [E-Book] : 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings /

Full text 
Favorites
Saved in:
4
Logics in Artificial Intelligence [E-Book] : 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings /

Full text 
Favorites
Saved in:
5
Algorithmic Aspects of Cloud Computing [E-Book] : 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers /

Full text 
Favorites
Saved in:
6
Graph-Based Representation and Reasoning [E-Book] : 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings /

Full text 
Favorites
Saved in:
7
Formal Methods [E-Book] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings /

Full text 
Favorites
Saved in:
8
Descriptional Complexity of Formal Systems [E-Book] : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings /

Full text 
Favorites
Saved in:
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 /

Full text 
Favorites
Saved in:
10
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops [E-Book] : DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6-9, 2022, Proceedings /

Full text 
Favorites
Saved in:
11
Model-Based Safety and Assessment [E-Book] : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings /

Full text 
Favorites
Saved in:
12
Computational Intelligence [E-Book] : A Methodological Introduction /

Full text 
Favorites
Saved in:
13
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 /

Full text 
Favorites
Saved in:
14
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 /

Full text 
Favorites
Saved in:
15
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 /

Full text 
Favorites
Saved in:
16
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 /

Full text 
Favorites
Saved in:
17
Language, Logic, and Computation [E-Book] : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers /

Full text 
Favorites
Saved in:
18
Reachability Problems [E-Book] : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings /

Full text 
Favorites
Saved in:
19
Computer Safety, Reliability, and Security [E-Book] : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings /

Full text 
Favorites
Saved in:
20
Rules and Reasoning [E-Book] : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results