-
Automated Technology for Verification and Analysis – 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Lahiri, Shuvendu K. 2018 Springer International Publishing
-
Euro-Par 2018: Parallel Processing – 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings
Aldinucci, Marco ; Padovani, Luca ; Torquati, Massimo 2018 Springer International Publishing
-
Principles and Practice of Constraint Programming – 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
Hooker, John 2018 Springer International Publishing
-
Principles of Modeling – Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
Lohstroh, Marten ; Derler, Patricia ; Sirjani, Marjan 2018 Springer International Publishing
-
Logical Foundations of Computer Science – International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
Artemov, Sergej N. ; Nerode, Anil 2018 Springer International Publishing
-
Reliable Software Technologies – Ada-Europe 2017 – 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Blieberger, Johann ; Bader, Markus 2017 Springer International Publishing
-
Euro-Par 2017: Parallel Processing – 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings
Rivera, Francisco F. ; Pena, Tomás F. ; Cabaleiro, José C. 2017 Springer International Publishing
-
Inductive Logic Programming – 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
Lachiche, Nicolas ; Vrain, Christel 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
-
Graph Transformation, Specifications, and Nets – In Memory of Hartmut Ehrig
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
-
Hardware and Software: Verification and Testing – 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Strichman, Ofer ; Tzoref-Brill, Rachel 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
-
Principles and Practice of Constraint Programming – 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
Rueher, Michel 2017 Springer International Publishing
-
Logic-Based Program Synthesis and Transformation – 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
Hermenegildo, Manuel V. ; López García, Pedro 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
-
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