Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

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

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 Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers E-book (2013.)
Add to basket

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

Computer Architecture ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers 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

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

Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings E-book (2012.)
Add to basket

Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings E-book (2012.)
Add to basket

Search Results Facets

Search Results List

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

Additional Resources