Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 71 - 80 of 351 (page 8 of 36)
Personal Author
More
Topic Subject
More
Series Title
More

Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings E-book (2010.)
Add to basket

Scalable Uncertainty Management Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings E-book (2009.)
Add to basket

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings E-book (2013.)
Add to basket

Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings E-book (2012.)
Add to basket

Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings E-book (2011.)
Add to basket

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings E-book (2010.)
Add to basket

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II E-book (2011.)
Add to basket

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday E-book (2010.)
Add to basket

Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings E-book (2009.)
Add to basket

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings E-book (2012.)
Add to basket

Search Results Facets

Search Results List

Results 71 - 80 of 351 (page 8 of 36)
Personal Author
More
Topic Subject
More
Series Title
More

Additional Resources