1
Ada 2012 Rationale [E-Book] : The Language, The Standard Libraries /
2
Ada 2012 Reference Manual. Language and Standard Libraries [E-Book] : International Standard ISO/IEC 8652/2012 (E) /
3
Advanced Parallel Processing Technologies [E-Book] : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers /
4
Advanced Parallel Processing Technologies [E-Book] : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings /
5
Advances in Grid and Pervasive Computing [E-Book]: 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings /
6
Aliasing in Object-Oriented Programming. Types, Analysis and Verification [E-Book] /
7
Analytical and Stochastic Modelling Techniques and Applications [E-Book] : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings /
8
Architecture of Computing Systems – ARCS 2012 [E-Book]: 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings /
9
Architecture of Computing Systems – ARCS 2013 [E-Book] : 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings /
10
Architecture of Computing Systems – ARCS 2014 [E-Book] : 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings /
11
Architecture of Computing Systems – ARCS 2015 [E-Book] : 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings /
12
Assurances for Self-Adaptive Systems [E-Book] : Principles, Models, and Techniques /
13
Brain-Inspired Computing [E-Book] : Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers /
14
Compiler Construction [E-Book] : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
15
Compiler Construction [E-Book] : 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
16
Computer Network Security [E-Book]: 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings /
17
Concurrent Objects and Beyond [E-Book] : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday /
18
Coordination Models and Languages [E-Book] : 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
19
Critical Information Infrastructures Security [E-Book]: 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers /
20
Data Privacy Management and Autonomous Spontaneus Security [E-Book]: 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers /