Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 531 - 540 of 922 (page 54 of 93)
Personal Author
More
Topic Subject
More
Series Title
More

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings E-book (2012.)
Add to basket

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday E-book (2005.)
Add to basket

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

Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers E-book (2011.)
Add to basket

Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers E-book (2012.)
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

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings E-book (2010.)
Add to basket

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings E-book (2013.)
Add to basket

Computational Issues in Fluid Construction Grammar A New Formalism for the Representation of Lexicons and Grammars E-book (2012.)
Add to basket

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers E-book (2010.)
Add to basket

Search Results Facets

Search Results List

Results 531 - 540 of 922 (page 54 of 93)
Personal Author
More
Topic Subject
More
Series Title
More

Additional Resources