1
Languages and Compilers for Parallel Computing [E-Book] : 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers /
2
Rigorous State-Based Methods [E-Book] : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings /
3
Euro-Par 2021: Parallel Processing [E-Book] : 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021, Proceedings /
4
Programming Languages and Systems [E-Book] : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /
5
Languages and Compilers for Parallel Computing [E-Book] : 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers /
6
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings /
7
Euro-Par 2020: Parallel Processing Workshops [E-Book] : Euro-Par 2020 International Workshops, Warsaw, Poland, August 24-25, 2020, Revised Selected Papers /
8
High Performance Computing for Computational Science - VECPAR 2018 [E-Book] : 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers /
9
High Performance Computing [E-Book] : ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers /