1
Taming the Infinities of Concurrency [E-Book] : Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday /

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

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

Full text 
Favorites
Saved in:
11
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges [E-Book] : 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers /

Full text 
Favorites
Saved in:
12
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV [E-Book] : Special Issue on Database- and Expert-Systems Applications /

Full text 
Favorites
Saved in:
13
Clinical Image-Based Procedures. Translational Research in Medical Imaging [E-Book] : 4th International Workshop, CLIP 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015. Revised Selected Papers /

Full text 
Favorites
Saved in:
14
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVI [E-Book] : Special Issue on Data Warehousing and Knowledge Discovery /

Full text 
Favorites
Saved in:
15
Computer-Assisted and Robotic Endoscopy [E-Book] : Second International Workshop, CARE 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Revised Selected Papers /

Full text 
Favorites
Saved in:
16
DNA Computing and Molecular Programming [E-Book] : 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings /

Full text 
Favorites
Saved in:
17
Management and Security in the Age of Hyperconnectivity : 10th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2016, Munich, Germany, June 20-23, 2016, Proceedings [E-Book] /

Full text 
Favorites
Saved in:
18
Medical Computer Vision: Algorithms for Big Data [E-Book] : International Workshop, MCV 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers /

Full text 
Favorites
Saved in:
19
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries [E-Book] : First International Workshop, Brainles 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Revised Selected Papers /

Full text 
Favorites
Saved in:
20
Patch-Based Techniques in Medical Imaging [E-Book] : First International Workshop, Patch-MI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers /

Full text 
Favorites
Saved in:

Narrow Search Results