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
Advanced Parallel Processing Technologies [E-Book] : 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings /
6
Advances in Grid and Pervasive Computing [E-Book]: 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings /
7
Advances in Model and Data Engineering in the Digitalization Era [E-Book] : MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings /
8
Advances in Service-Oriented and Cloud Computing [E-Book] : International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Revised Selected Papers /
9
Aliasing in Object-Oriented Programming. Types, Analysis and Verification [E-Book] /
10
Analytical and Stochastic Modelling Techniques and Applications [E-Book] : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings /
11
Applied Informatics [E-Book] : 6th International Conference, ICAI 2023, Guayaquil, Ecuador, October 26-28, 2023, Proceedings /
12
Architecture of Computing Systems – ARCS 2012 [E-Book]: 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings /
13
Architecture of Computing Systems – ARCS 2013 [E-Book] : 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings /
14
Architecture of Computing Systems – ARCS 2014 [E-Book] : 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings /
15
Architecture of Computing Systems – ARCS 2015 [E-Book] : 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings /
16
Assurances for Self-Adaptive Systems [E-Book] : Principles, Models, and Techniques /
17
Cloud Computing and Services Science [E-Book] : 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7-9, 2020, Revised Selected Papers /
18
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 /
19
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 /
20
Concurrent Objects and Beyond [E-Book] : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday /