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 Cryptography and Network Security [E-Book] : 19th International Conference, ACNS 2021, Kamakura, Japan, June 21-24, 2021, Proceedings, Part I /
12
Applied Cryptography  and Network Security [E-Book] : 20th International Conference, ACNS 2022, Rome, Italy, June 20-23, 2022, Proceedings /
13
Applied Cryptography  and Network Security [E-Book] : 21st International Conference, ACNS 2023,  Kyoto, Japan, June 19-22, 2023,  Proceedings, Part I /
14
Applied Cryptography and Network Security [E-Book] : 21st International Conference, ACNS 2023, Kyoto, Japan, June 19-22, 2023, Proceedings, Part II /
15
Applied Cryptography and Network Security [E-Book] : 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I /
16
Applied Cryptography and Network Security [E-Book] : 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part II /
17
Applied Cryptography and Network Security [E-Book] : 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part III /
18
Applied Informatics [E-Book] : 6th International Conference, ICAI 2023, Guayaquil, Ecuador, October 26-28, 2023, Proceedings /
19
Architecture of Computing Systems – ARCS 2012 [E-Book]: 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings /
20
Architecture of Computing Systems – ARCS 2013 [E-Book] : 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings /