1
Intelligent Computer Mathematics [E-Book] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
2
Software Reuse: Bridging with Social-Awareness [E-Book] : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings /
3
Formal Methods: Foundations and Applications [E-Book] : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
4
Tests and Proofs [E-Book] : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /
5
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [E-Book] : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings /
6
Parallel Computing Technologies [E-Book] : 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings /
7
Parallel Computing Technologies [E-Book] : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings /