Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 21 - 30 of 79 (page 3 of 8)
Personal Author
More
Topic Subject
More
Series Title
More

Recent Advances in Algorithmic Differentiation E-book (2012.)
Add to basket

Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings E-book (2010.)
Add to basket

Recent Advances in Parallel Virtual Machine and Message Passing Interface 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings E-book (2009.)
Add to basket

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings E-book (2013.)
Add to basket

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers E-book (2013.)
Add to basket

Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings E-book (2012.)
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

Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected 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

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings E-book (2012.)
Add to basket

Search Results Facets

Search Results List

Results 21 - 30 of 79 (page 3 of 8)
Personal Author
More
Topic Subject
More
Series Title
More

Additional Resources