Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part III

Available for University of the Philippines Diliman via SpringerLink.Click here to access

Automata, languages and programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Available for University of the Philippines Diliman via SpringerLink.Click here to access

Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

Available for University of the Philippines Diliman via SpringerLink.Click here to access

Automated reasoning with analytic tableaux and related methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink.Click here to access

Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink.Click here to access

Autonomic and trusted computing 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 - July 1, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access