1
Formal Methods [E-Book] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, 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
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:
4
Reachability Problems [E-Book] : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings /

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
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:
7
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:
8
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:
9
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:
10
Mathematical Morphology and Its Applications to Signal and Image Processing [E-Book] : 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings /

Full text 
Favorites
Saved in:
11
High-Performance Scientific Computing [E-Book] : First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 45, 2016, Revised Selected Papers /

Full text 
Favorites
Saved in:
12
Advanced Information Systems Engineering [E-Book] : 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings /

Full text 
Favorites
Saved in:
13
Architecture of Computing Systems -- ARCS 2016 [E-Book] : 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings /

Full text 
Favorites
Saved in:
14
Mathematical Software – ICMS 2016 [E-Book] : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /

Full text 
Favorites
Saved in:
15
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [E-Book] : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings /

Full text 
Favorites
Saved in:
16
Human-Computer Interaction – INTERACT 2015 [E-Book] : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II /

Full text 
Favorites
Saved in:
17
Human-Computer Interaction – INTERACT 2015 [E-Book] : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I /

Full text 
Favorites
Saved in:
18
Algebraic Informatics [E-Book] : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /

Full text 
Favorites
Saved in:
19
Correct System Design [E-Book] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /

Full text 
Favorites
Saved in:
20
Combinatorics on Words [E-Book] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results