Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 311 - 320 of 922 (page 32 of 93)
Personal Author
More
Topic Subject
More
Series Title
More

Transactions on Rough Sets VIII E-book (2008.)
Add to basket

Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman E-book (2011.)
Add to basket

Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers E-book (2012.)
Add to basket

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino E-book (2007.)
Add to basket

M-Solid Varieties of Algebras E-book (2006.)
Add to basket

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts E-book (2013.)
Add to basket

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings E-book (2008.)
Add to basket

Neural-Symbolic Cognitive Reasoning E-book (2009.)
Add to basket

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday E-book (2006.)
Add to basket

Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings E-book (2012.)
Add to basket

Search Results Facets

Search Results List

Results 311 - 320 of 922 (page 32 of 93)
Personal Author
More
Topic Subject
More
Series Title
More

Additional Resources