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
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:
3
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:
4
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:
5
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:
6
Model-Based Safety and Assessment [E-Book] : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings /

Full text 
Favorites
Saved in:
7
Graph-Based Representation and Reasoning [E-Book] : 27th International Conference on Conceptual Structures, ICCS 2022, Münster, Germany, September 12-15, 2022, Proceedings /

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

Full text 
Favorites
Saved in:
9
Rewriting Logic and Its Applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers [E-Book] /

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

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

Full text 
Favorites
Saved in:

Narrow Search Results