1
Interactive Theorem Proving [E-Book] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /

Full text 
Favorites
Saved in:
2
Interactive Theorem Proving [E-Book] : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /

Full text 
Favorites
Saved in:
3
Interactive Theorem Proving [E-Book] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Full text 
Favorites
Saved in:
4
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:
5
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:
6
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:

Narrow Search Results