1
Software Engineering, Business Continuity, and Education [E-Book] : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings /

Full text 
Favorites
Saved in:
2
Certified Programs and Proofs [E-Book] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /

Full text 
Favorites
Saved in:
3
Languages, Methodologies, and Development Tools for Multi-Agent Systems [E-Book] : Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
4
Developments in Language Theory [E-Book] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings /

Full text  Full text 
Favorites
Saved in:
5
Functional and Constraint Logic Programming [E-Book] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings /

Full text  Full text 
Favorites
Saved in:
6
Computer Aided Verification [E-Book] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings /

Full text  Full text 
Favorites
Saved in:
7
Principles and Practice of Constraint Programming – CP 2011 [E-Book] : 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings /

Full text 
Favorites
Saved in:
8
Conceptual Modeling – ER 2011 [E-Book] : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings /

Full text 
Favorites
Saved in:
9
Multiagent System Technologies [E-Book] : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings /

Full text 
Favorites
Saved in:
10
Agent-Oriented Software Engineering XI [E-Book] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers /

Full text  Full text 
Favorites
Saved in:
11
Algorithmic Learning Theory [E-Book] : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings /

Full text 
Favorites
Saved in:
12
Software Engineering and Formal Methods [E-Book] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings /

Full text 
Favorites
Saved in:
13
Computational Logic in Multi-Agent Systems [E-Book] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings /

Full text  Full text 
Favorites
Saved in:
14
Interactive Theorem Proving [E-Book] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /

Full text 
Favorites
Saved in:
15
Unconventional Computation [E-Book] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings /

Full text 
Favorites
Saved in:
16
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /

Full text  Full text 
Favorites
Saved in:
17
Theory and Applications of Satisfiability Testing - SAT 2011 [E-Book] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings /

Full text 
Favorites
Saved in:
18
Automated Deduction – CADE-23 [E-Book] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings /

Full text  Full text 
Favorites
Saved in:
19
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings /

Full text  Full text 
Favorites
Saved in:
20
Relational and Algebraic Methods in Computer Science [E-Book] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results