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
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:
3
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:
4
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:
5
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:
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 II /

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

Full text 
Favorites
Saved in:
8
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:
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
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:
11
DNA Computing and Molecular Programming [E-Book] : 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings /

Full text 
Favorites
Saved in:
12
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:
13
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:
14
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:
15
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:
16
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:
17
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:
18
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:
19
Augmented Environments for Computer-Assisted Interventions [E-Book] : 10th International Workshop, AE-CAI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015. Proceedings /

Full text 
Favorites
Saved in:
20
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015 [E-Book] : 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part I /

Full text 
Favorites
Saved in:

Narrow Search Results