Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 281 - 290 of 922 (page 29 of 93)
Personal Author
More
Topic Subject
More
Series Title
More

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings E-book (2013.)
Add to basket

A Roadmap for Formal Property Verification E-book (2006.)
Add to basket

Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings E-book (2007.)
Add to basket

Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers E-book (2006.)
Add to basket

Learning Theory 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006. Proceedings E-book (2006.)
Add to basket

Learning Theory 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005. Proceedings E-book (2005.)
Add to basket

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays E-book (2007.)
Add to basket

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings E-book (2013.)
Add to basket

Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings E-book (2012.)
Add to basket

Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings E-book (2009.)
Add to basket

Search Results Facets

Search Results List

Results 281 - 290 of 922 (page 29 of 93)
Personal Author
More
Topic Subject
More
Series Title
More

Additional Resources