1
Frontiers of Combining Systems [E-Book] : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings /
2
Cloud Computing, Big Data & Emerging Topics [E-Book] : 9th Conference, JCC-BD&ET, La Plata, Argentina, June 22-25, 2021, Proceedings /
3
Towards Integrative Machine Learning and Knowledge Extraction [E-Book] : BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers /
4
Membrane Computing [E-Book] : 21st International Conference, CMC 2020, Virtual Event, September 14-18, 2020, Revised Selected Papers /
5
Automated Technology for Verification and Analysis [E-Book] : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings /
6
Statistical Language and Speech Processing [E-Book] : 9th International Conference, SLSP 2021, Cardiff, UK, November 23-25, 2021, Proceedings /
7
Intelligent Robotics and Applications [E-Book] : 14th International Conference, ICIRA 2021, Yantai, China, October 22-25, 2021, Proceedings, Part III /
8
Provenance and Annotation of Data and Processes [E-Book] : 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19-22, 2021, Proceedings /
9
Multi-Agent Systems [E-Book] : 18th European Conference, EUMAS 2021, Virtual Event, June 28-29, 2021, Revised Selected Papers /
10
Web Engineering [E-Book] : 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11-14, 2019, Proceedings /
11
Production Research [E-Book] : 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahía Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part I /
12
NASA Formal Methods [E-Book] : 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings /
13
Reachability Problems [E-Book] : 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings /
14
Information and Software Technologies [E-Book] : 27th International Conference, ICIST 2021, Kaunas, Lithuania, October 14-16, 2021, Proceedings /
15
Intelligent Robotics and Applications [E-Book] : 14th International Conference, ICIRA 2021, Yantai, China, October 22-25, 2021, Proceedings, Part I /
16
Multi-Agent-Based Simulation XXI [E-Book] : 21st International Workshop, MABS 2020, Auckland, New Zealand, May 10, 2020,  Revised Selected Papers /
17
Logic-Based Program Synthesis and Transformation [E-Book] : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings /
18
Tools and Methods of Program Analysis [E-Book] : 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers /
19
Applied Technologies [E-Book] : Second International Conference, ICAT 2020, Quito, Ecuador, December 2-4, 2020, Proceedings /
20
Mathematical Modeling and Supercomputer Technologies [E-Book] : 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 - 27, 2020, Revised Selected Papers /