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
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 /
14
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 /
15
Concurrent Objects and Beyond [E-Book] : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday /
16
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 /
17
Critical Information Infrastructures Security [E-Book]: 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers /
18
Dependable and Historic Computing [E-Book]: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday /
19
Dependable Networks and Services [E-Book]: 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings /
20
Distributed Applications and Interoperable Systems [E-Book]: 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings /