-
Network and Parallel Computing – 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings
Altman, Erik ; Shi, Weisong 2011 Springer Berlin Heidelberg
-
Search Based Software Engineering – Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings
Cohen, Myra B. ; O'Cinneide, Mel 2011 Springer Berlin Heidelberg
-
Trends in Functional Programming – 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
Page, Rex ; Horváth, Zoltán ; Zsók, Viktória 2011 Springer Berlin Heidelberg
-
System Analysis and Modeling: About Models – 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
Kraemer, Frank Alexander ; Herrmann, Peter 2011 Springer Berlin Heidelberg
-
Formal Concept Analysis – 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
Valtchev, Petko ; Jäschke, Robert 2011 Springer Berlin Heidelberg
-
Logic Programming and Nonmonotonic Reasoning – 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Delgrande, James P. ; Faber, Wolfgang 2011 Springer Berlin Heidelberg
-
Fundamental Approaches to Software Engineering – 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Giannakopoulou, Dimitra ; Orejas, Fernando 2011 Springer Berlin Heidelberg
-
Approximation and Online Algorithms – 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010. Revised Papers
2011 Springer Berlin Heidelberg
-
Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Beckert, Bernhard ; Marché, Claude 2011 Springer Berlin Heidelberg
-
Logic for Programming, Artificial Intelligence, and Reasoning – 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
Bjørner, Nikolaj ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
-
Programming Languages and Systems – 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
Barthe, Gilles 2010 Springer Berlin Heidelberg
-
Runtime Verification – First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Barringer, Howard ; Rosu, Grigore ; Sokolsky, Oleg 2010 Springer Berlin Heidelberg
-
Formal Methods and Software Engineering – 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Qin, Shengchao ; Qiu, Zongyan 2010 Springer Berlin Heidelberg
-
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010, Sao Paulo, Brazil, November 8-11, 2010. Proceedings
Bloch, Isabelle ; Cesar, Jr., Roberto M. 2010 Springer Berlin Heidelberg
-
Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
-
Static Analysis – 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings
Giacobazzi, Roberto 2004 Springer Berlin Heidelberg
-
Foundational and Practical Aspects of Resource Analysis – First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
Eekelen, Marko van 2010 Springer Berlin Heidelberg
-
Formal Methods and Software Engineering – 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
Dong, Jin Song ; Zhu, Huibiao 2007 Springer Berlin Heidelberg
-
Languages and Compilers for Parallel Computing – 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers
Cooper, Keith ; Mellor-Crummey, John ; Sarkar, Vivek 2010 Springer Berlin Heidelberg
-
Correction: Characterization of Unmodified and Zinc-modified ZSM-5 Zeolites with Temperature-programmed Desorption of Ammonia and Isopropylamine
Järvinen, Ellen ; Velasco, Jorge A. ; Karinen, Reetta ; Puurunen, Riikka