Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 111 - 120 of 153 (page 12 of 16)
Personal Author
More
Topic Subject
More
Series Title
More

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings E-book (2010.)
Add to basket

Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings E-book (2013.)
Add to basket

Artificial General Intelligence 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings E-book (2012.)
Add to basket

Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings E-book (2011.)
Add to basket

Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice E-book (2010.)
Add to basket

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings E-book (2013.)
Add to basket

Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday E-book (2012.)
Add to basket

Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers E-book (2012.)
Add to basket

Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings E-book (2012.)
Add to basket

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings E-book (2011.)
Add to basket

Search Results Facets

Search Results List

Results 111 - 120 of 153 (page 12 of 16)
Personal Author
More
Topic Subject
More
Series Title
More

Additional Resources