1
Computing and Combinatorics [E-Book] : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings /
2
Computing and Combinatorics [E-Book] : 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings /
3
Computing and Combinatorics [E-Book] : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings /
4
Foundations and Practice of Security [E-Book]: 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /
5
Fundamentals of Computation Theory [E-Book] : 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /
6
Mathematical and Engineering Methods in Computer Science [E-Book]: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers /
7
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools [E-Book] : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings /
8
Progress in VLSI Design and Test [E-Book]: 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings /
9
Reversible Computation [E-Book]: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers /
10
Stabilization, Safety, and Security of Distributed Systems [E-Book]: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings /
11
Stabilization, Safety, and Security of Distributed Systems [E-Book] : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings /
12
Stabilization, Safety, and Security of Distributed Systems [E-Book] : 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings /
13
Transactions on Computational Science XV [E-Book]: Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems /