1
Leveraging Applications of Formal Methods, Verification and Validation. Practice [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV /
2
Emerging Technology Trends in Internet of Things and Computing [E-Book] : First International Conference, TIOTC 2021, Erbil, Iraq, June 6-8, 2021, Revised Selected Papers /
3
Wireless and Satellite Systems [E-Book] : 12th EAI International Conference, WiSATS 2021, Virtual Event, China, July 31 - August 2, 2021, Proceedings /
4
Theory of Cryptography [E-Book] : 20th International Conference, TCC 2022, Chicago, IL, USA, November 7-10, 2022, Proceedings, Part I /
5
Bio-inspired Information and Communications Technologies [E-Book] : 14th EAI International Conference, BICT 2023, Okinawa, Japan, April 11-12, 2023, Proceedings /
6
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [E-Book] : 21st International Conference, NEW2AN 2021, and 14th Conference, ruSMART 2021, St. Petersburg, Russia, August 26-27, 2021, Proceedings /
7
Service-Oriented Computing - ICSOC 2022 Workshops [E-Book] : ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 - December 2, 2022 Proceedings /
8
Algorithmic Aspects of Cloud Computing [E-Book] : 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers /
9
Foundations of Software Science and Computation Structures [E-Book] : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
10
Information Security and Cryptology - ICISC 2022 [E-Book] : 25th International Conference, ICISC 2022, Seoul, South Korea, November 30 - December 2, 2022, Revised Selected Papers /
11
Internet of Things, Smart Spaces, and Next Generation Networks and Systems : 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings [E-Book] /
12
Services Computing - SCC 2021 [E-Book] : 18th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings /
13
Formal Aspects of Component Software [E-Book] : 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings /
14
Machine Learning, Optimization, and Data Science [E-Book] : 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part I /
15
Software Engineering and Formal Methods [E-Book] : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings /
16
Software Engineering and Formal Methods [E-Book] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings /
17
Theory of Cryptography [E-Book] : 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part I /
18
Theory of Cryptography [E-Book] : 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part II /
19
Theory of Cryptography [E-Book] : 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023, Proceedings, Part III /
20
Theory of Cryptography [E-Book] : 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023, Proceedings, Part IV /