-
Risks and Security of Internet and Systems – 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
Cuppens, Nora ; Cuppens, Frédéric ; Lanet, Jean-Louis ; Legay, Axel ; Garcia-Alfaro, Joaquin 2018 Springer International Publishing
-
Parallel Computing Technologies – 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
Malyškin, Viktor Ė. 2017 Springer International Publishing
-
Architecture of Computing Systems – ARCS 2018 – 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings
Bereković, Mladen ; Buchty, Rainer ; Hamann, Heiko ; Koch, Dirk ; Pionteck, Thilo 2018 Springer International Publishing
-
Job Scheduling Strategies for Parallel Processing – 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers
Klusáček, Dalibor ; Cirne, Walfredo ; Desai, Narayan 2018 Springer International Publishing
-
Bidirectional Transformations – International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Gibbons, Jeremy ; Stevens, Perdita 2018 Springer International Publishing
-
Theory and Applications of Formal Argumentation – 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
Black, Elizabeth ; Modgil, Sanjay ; Oren, Nir 2018 Springer International Publishing
-
Euro-Par 2017: Parallel Processing Workshops – Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
Heras, Dora B. ; Bougé, Luc 2018 Springer International Publishing
-
Programming Languages and Systems – 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Chang, Bor-Yuh Evan 2017 Springer International Publishing
-
Critical Systems: Formal Methods and Automated Verification – Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
Petrucci, Laure ; Seceleanu, Cristina 2017 Springer International Publishing
-
Reasoning Web. Semantic Interoperability on the Web – 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures
Ianni, Giovambattista ; Lembo, Domenico 2017 Springer Berlin Heidelberg
-
Advanced Parallel Processing Technologies – 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings
Dou, Yong ; Lin, Haixiang ; Sun, Guangyu ; Wu, Junjie ; Heras, Dora ; Bougé, Luc 2017 Springer International Publishing
-
Rules and Reasoning – International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
Costantini, Stefania ; Franconi, Enrico ; Van Woensel, William ; Kontchakov, Roman ; Sadri, Fariba ; Roman, Dumitru 2017 Springer International Publishing
-
Job Scheduling Strategies for Parallel Processing – 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers
Desai, Narayan ; Cirne, Walfredo 2017 Springer International Publishing
-
Programming Languages and Systems – 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings
Igarashi, Atsushi 2017 Springer International Publishing
-
Engineering Self-Organizing Dynamics in Distributed Systems – A Systemic Approach
Sudeikat, Jan Oliver 2011 Suedwestdeutscher Verlag fuer Hochschulschriften
-
Agile Innovation – mit neuem Schwung zum Erfolg
Glück, Markus 2025 Springer Vieweg
-
A language-parametric test amplification framework for executable domain-specific languages
Khorram, Faezeh ; Bousse, Erwan ; Mottu, Jean-Marie ; Sunyé, Gerson ; Khelladi, Djamel Eddine ; Gómez-Abajo, Pablo ; Cañizares, Pablo C. ; Guerra, Esther ; Lara, Juan de
-
Development of template management technology for easy deployment of virtual resources on OpenStack
Yamato, Yoji ; Muroi, Masahito ; Tanaka, Kentaro ; Uchimura, Mitsutomo
-
Guest editorial for the special section on MODELS 2022
Bencomo, Nelly ; Sahraoui, Houari ; Syriani, Eugene ; Wimmer, Manuel
-
Shica - Improving the Programming Experience for Agent-Based, Distributed, Physical Computing Systems
Shikada, Hiroto ; Piumarta, Ian 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik