21
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:
22
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:
23
Trust Networks for Recommender Systems [E-Book] /

Full text 
Favorites
Saved in:
24
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:
25
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:
26
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:
27
Automated Deduction in Geometry [E-Book] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers /

Full text 
Favorites
Saved in:
28
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:
29
Recent Advances in Constraints [E-Book] : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
30
Functional and Constraint Logic Programming [E-Book] : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

Full text 
Favorites
Saved in:
31
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:
32
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:
33
Principles and Practice of Constraint Programming - CP 2002 [E-Book] : 8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings /

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

Full text 
Favorites
Saved in:
35
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /

Full text 
Favorites
Saved in:
36
The Semantic Web — ISWC 2002 [E-Book] : First International Semantic Web Conference Sardinia, Italy, June 9–12, 2002 Proceedings /

Full text 
Favorites
Saved in:
37
Computer Aided Verification [E-Book] : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /

Full text 
Favorites
Saved in:
38
Automated Deduction - CADE-15 [E-Book] : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings /

Full text 
Favorites
Saved in:
39
Compiler Construction [E-Book] : 8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /

Full text 
Favorites
Saved in:
40
Natural Language Processing and Information Systems [E-Book] : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000 Versailles, France, June 28–30,2000 Revised Papers /

Full text 
Favorites
Saved in:

Narrow Search Results