1
Algebraic Foundations in Computer Science [E-Book] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement /

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

Full text 
Favorites
Saved in:
4
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:
5
Conceptual Modeling – ER 2011 [E-Book] : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings /

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

Full text 
Favorites
Saved in:
7
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:
8
Software Engineering and Formal Methods [E-Book] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings /

Full text 
Favorites
Saved in:
9
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:
10
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:
11
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:
12
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:
13
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:
14
Model Checking and Artificial Intelligence [E-Book] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
15
Programming Multi-Agent Systems [E-Book] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers /

Full text 
Favorites
Saved in:
16
Agent-Oriented Software Engineering IX [E-Book] : 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers /

Full text 
Favorites
Saved in:
17
Agent Computing and Multi-Agent Systems [E-Book] : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers /

Full text 
Favorites
Saved in:
18
Programming Languages and Systems [E-Book] : 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 /

Full text 
Favorites
Saved in:
19
Algebraic Methodology and Software Technology [E-Book] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers /

Full text 
Favorites
Saved in:
20
Computer Aided Verification [E-Book] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results