61
Reversible Computation [E-Book] : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /

Full text 
Favorites
Saved in:
62
Reversible Computation [E-Book]: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers /

Full text 
Favorites
Saved in:
63
Runtime Verification [E-Book] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /

Full text 
Favorites
Saved in:
64
Runtime Verification [E-Book] : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /

Full text 
Favorites
Saved in:
65
Runtime Verification [E-Book]: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers /

Full text 
Favorites
Saved in:
66
Runtime Verification [E-Book] : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /

Full text 
Favorites
Saved in:
67
Stabilization, Safety, and Security of Distributed Systems [E-Book]: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings /

Full text 
Favorites
Saved in:
68
Stabilization, Safety, and Security of Distributed Systems [E-Book] : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings /

Full text 
Favorites
Saved in:
69
Stabilization, Safety, and Security of Distributed Systems [E-Book] : 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings /

Full text 
Favorites
Saved in:
70
Theoretical Computer Science [E-Book] : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Full text 
Favorites
Saved in:
71
Theory and Applications of Models of Computation [E-Book] : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings /

Full text 
Favorites
Saved in:
72
Theory and Applications of Models of Computation [E-Book] : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings /

Full text 
Favorites
Saved in:
73
Theory and Applications of Models of Computation [E-Book] : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /

Full text 
Favorites
Saved in:
74
Theory and Applications of Models of Computation [E-Book]: 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings /

Full text 
Favorites
Saved in:
75
Theory and Applications of Satisfiability Testing – SAT 2012 [E-Book]: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /

Full text 
Favorites
Saved in:
76
Theory and Applications of Satisfiability Testing – SAT 2013 [E-Book] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /

Full text 
Favorites
Saved in:
77
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /

Full text 
Favorites
Saved in:
78
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /

Full text 
Favorites
Saved in:
79
Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings [E-Book] /

Full text 
Favorites
Saved in:
80
Transactional Memory. Foundations, Algorithms, Tools, and Applications [E-Book] : COST Action Euro-TM IC1001 /

Full text 
Favorites
Saved in:

Narrow Search Results