1
Job Scheduling Strategies for Parallel Processing [E-Book] : 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers /
2
Parallel Computing Technologies [E-Book] : 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings /
3
Job Scheduling Strategies for Parallel Processing [E-Book] : 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers /
4
High Performance Computing. ISC High Performance 2022 International Workshops : Hamburg, Germany, May 29 - June 2, 2022, Revised Selected Papers [E-Book] /
5
High Performance Computing [E-Book] : 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 - June 2, 2022, Proceedings /
6
Reversible Computation [E-Book] : 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings /
7
Job Scheduling Strategies for Parallel Processing [E-Book] : 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
8
Parallel Computing Technologies [E-Book] : 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13-18, 2021, Proceedings /
9
High Performance Computing [E-Book] : 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 - July 2, 2021, Proceedings /
10
High Performance Computing [E-Book] : 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16-20, 2019, Proceedings /
11
Mathematics of Program Construction [E-Book] : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
12
Application and Theory of Petri Nets and Concurrency [E-Book] : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
13
Reliable Software Technologies – Ada-Europe 2015 [E-Book] : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
14
Formal Methods for Multicore Programming [E-Book] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
15
Formal Techniques for Distributed Objects, Components, and Systems [E-Book] : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
16
FM 2015: Formal Methods [E-Book] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
17
Formal Methods for Industrial Critical Systems [E-Book] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
18
Reversible Computation [E-Book] : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
19
Model Checking Software [E-Book] : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
20
Perspectives of System Informatics [E-Book] : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /