-
Rule-Based Reasoning, Programming, and Applications – 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
Bassiliades, Nick ; Governatori, Guido ; Paschke, Adrian 2011 Springer Berlin Heidelberg
-
Objects, Models, Components, Patterns – 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings
Bishop, Judith M. ; Vallecillo, Antonio 2011 Springer Berlin Heidelberg
-
Functional and Constraint Logic Programming – 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
Mariño, Julio 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
-
Software and Data Technologies – 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers
Cordeiro, José António Moinhos ; Ranchordas, AlpeshKumar ; Šiškov, Boris 2011 Springer Berlin Heidelberg
-
Theory and Practice of Algorithms in (Computer) Systems – First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
Marchetti-Spaccamela, Alberto ; Segal, Michael 2011 Springer Berlin Heidelberg
-
Reconfigurable Computing: Architectures, Tools and Applications – 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
Koch, Andreas ; Krishnamurthy, Ram ; McAllister, John ; Woods, Roger ; El-Ghazawi, Tarek 2011 Springer Berlin Heidelberg
-
Programming Languages and Systems – 20th European Symposium on Programming, ESOP 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
Yang, Hongseok 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
-
Agents and Artificial Intelligence – Second International Conference, ICAART 2010, Valencia, Spain, January 22-24, 2010. Revised Selected Papers
2011 Springer Berlin Heidelberg
-
e-Business and Telecommunications – 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised Selected Papers
Cordeiro, José António Moinhos ; Ranchordas, AlpeshKumar ; Šiškov, Boris 2011 Springer Berlin Heidelberg
-
Control, Computation and Information Systems – First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings
Balasubramaniam, Ponnuswamy 2011 Springer Berlin Heidelberg
-
Engineering Secure Software and Systems – Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
Erlingsson, Úlfar ; Wieringa, Roel ; Zannone, Nicola 2011 Springer Berlin Heidelberg
-
Multi-Agent-Based Simulation XI – International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
Bosse, Tibor ; Geller, Armando ; Jonker, Catholijn M. 2011 Springer Berlin Heidelberg
-
Practical Aspects of Declarative Languages – 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
Russo, Claudio ; Zhou, Neng-Fa 2011 Springer Berlin Heidelberg
-
Programming Languages and Systems – 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Sagiv, Mooly 2005 Springer Berlin Heidelberg
-
Principles of Distributed Systems – 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings
2010 Springer Berlin Heidelberg
-
Swarm, Evolutionary, and Memetic Computing – First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010. Proceedings
Panigrahi, Bijaya Ketan ; Das, Swagatam ; Suganthan, Ponnuthurai Nagaratnam ; Dash, Subhransu Sekhar 2010 Springer Berlin Heidelberg
-
Algorithms and Computation – 21st International Symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010, Proceedings, Part II
Katoh, Naoki ; Kumar, Amit 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