-
Datalog in Academia and Industry – Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings
Barceló, Pablo ; Pichler, Reinhard 2012 Springer Berlin Heidelberg
-
Advances in Bioinformatics and Computational Biology – 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings
Souto, Marcilio C. P. de ; Kann, Maricel G. 2012 Springer Berlin Heidelberg
-
Inductive Logic Programming – 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers
Muggleton, Stephen H. ; Tamaddoni-Nezhad, Alireza ; Lisi, Francesca A. 2012 Springer Berlin Heidelberg
-
Combinatorial Optimization – Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers
Mahjoub, Ali Ridha ; Markakis, Vangelis ; Milis, Ioannis ; Paschos, Vangelis Th. 2012 Springer Berlin Heidelberg
-
Automata, Languages, and Programming – 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
2012 Springer Berlin Heidelberg
-
Automata, Languages, and Programming – 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
Czumaj, Artur ; Mehlhorn, Kurt ; Pitts, Andrew ; Wattenhofer, Roger 2012 Springer Berlin Heidelberg
-
Perspectives of Systems Informatics – 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Clarke, Edmund M. ; Virbickajte, Irina B. ; Voronkov, Andrei 2012 Springer Berlin Heidelberg
-
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics – 10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012. Proceedings
Giacobini, Mario ; Vanneschi, Leonardo ; Bush, William S. 2012 Springer Berlin Heidelberg
-
New Frontiers in Applied Data Mining – PAKDD 2011 International Workshops, Shenzhen, China, May 24-27, 2011, Revised Selected Papers
Cao, Longbing ; Huang, Joshua Zhexue ; Bailey, James ; Koh, Yun Sing ; Luo, Jun 2012 Springer Berlin Heidelberg
-
Argumentation in Multi-Agent Systems – 7th International Workshop, ArgMAS 2010 Toronto, ON, Canada, May 10, 2010 Revised, Selected and Invited Papers
McBurney, Peter ; Rahwan, Iyad ; Parsons, Simon 2011 Springer Berlin Heidelberg
-
Principles and Practice of Constraint Programming – CP 2011 – 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
Lee, Jimmy 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
-
Combinatorial Optimization and Applications – 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011. Proceedings
Wang, Weifan ; Zhu, Xuding ; Du, Dingzhu 2011 Springer Berlin Heidelberg
-
Computational Science and Its Applications - ICCSA 2011 – International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part IV
2011 Springer Berlin Heidelberg
-
Computational Science and Its Applications - ICCSA 2011 – International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part V
2011 Springer Berlin Heidelberg
-
Computational Science and Its Applications - ICCSA 2011 – International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part III
2011 Springer Berlin Heidelberg
-
Computational Science and Its Applications - ICCSA 2011 – International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part I
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
-
Recent Advances in Constraints – 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Larrosa, Javier ; O'Sullivan, Barry 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