Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 81 - 90 of 506 (page 9 of 51)
Personal Author
More
Topic Subject
More
Series Title
More

Wireless Algorithms, Systems, and Applications First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings E-book (2006.)
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

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings 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

Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 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

Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 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

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

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

Search Results Facets

Search Results List

Results 81 - 90 of 506 (page 9 of 51)
Personal Author
More
Topic Subject
More
Series Title
More

Additional Resources