-
Programming Languages and Systems – 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Shao, Zhong 2014 Springer Berlin Heidelberg
-
Verification, Model Checking, and Abstract Interpretation – 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2014 Springer Berlin Heidelberg
-
Practical Aspects of Declarative Languages – 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Computer Engineering and Technology – 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers
Xu, Weixia ; Xiao, Liquan ; Zhang, Chengyi ; Li, Jinwen ; Yu, Liyan 2013 Springer Berlin Heidelberg
-
Network and Parallel Computing – 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings
Hsu, Ching-Hsien ; Li, Xiaoming ; Shi, Xuanhua ; Zheng, Ran 2013 Springer Berlin Heidelberg
-
Tools and Algorithms for the Construction and Analysis of Systems – 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Piterman, Nir ; Smolka, Scott 2013 Springer Berlin Heidelberg
-
Programming Languages and Systems – 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
Jhala, Ranjit ; Igarashi, Atsushi 2012 Springer Berlin Heidelberg
-
Runtime Verification – Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Qadeer, Shaz ; Tasiran, Serdar 2013 Springer Berlin Heidelberg
-
Verification, Model Checking, and Abstract Interpretation – 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Giacobazzi, Roberto ; Berdine, Josh ; Mastroeni, Isabella 2013 Springer Berlin Heidelberg
-
Generative and Transformational Techniques in Software Engineering IV – International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Lämmel, Ralf ; Saraiva, João ; Visser, Joost 2013 Springer Berlin Heidelberg
-
Advances in Intelligent Data Analysis XI – 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedings
Hollmén, Jaakko ; Klawonn, Frank ; Tucker, Allan 2012 Springer Berlin Heidelberg
-
Rewriting Logic and Its Applications – 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Durán, Francisco 2012 Springer Berlin Heidelberg
-
Applications of Discrete Geometry and Mathematical Morphology – First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers
Köthe, Ullrich ; Montanvert, Annick ; Soille, Pierre 2012 Springer Berlin Heidelberg
-
Logic-Based Program Synthesis and Transformation – 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Vidal, Germán 2012 Springer Berlin Heidelberg
-
Foundational and Practical Aspects of Resource Analysis – Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Peña, Ricardo ; van Eekelen, Marko ; Shkaravska, Olha 2012 Springer Berlin Heidelberg
-
Computer Aided Verification – 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Madhusudan, Parthasarathy ; Seshia, Sanjit A. 2012 Springer Berlin Heidelberg
-
Image Analysis and Recognition – 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part II
2012 Springer Berlin Heidelberg
-
Image Analysis and Recognition – 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I
Campilho, Aurélio ; Kamel, Mohamed 2012 Springer Berlin Heidelberg
-
Logic for Programming, Artificial Intelligence, and Reasoning – 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
2012 Springer Berlin Heidelberg
-
Formal Methods and Software Engineering – 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
2011 Springer Berlin Heidelberg