1
Emerging Technologies for Developing Countries : 5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022, Proceedings [E-Book] /
2
Constructive Side-Channel Analysis and Secure Design [E-Book] : 14th International Workshop, COSADE 2023, Munich, Germany, April 3-4, 2023, Proceedings /
3
Parallel and Distributed Computing, Applications and Technologies [E-Book] : 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings /
4
Supercomputing [E-Book] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II /
5
Job Scheduling Strategies for Parallel Processing [E-Book] : 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers /
6
Structured Object-Oriented Formal Language and Method [E-Book] : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers /
7
Supercomputing [E-Book] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I /
8
Verification, Model Checking, and Abstract Interpretation [E-Book] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings /
9
Formal Methods Teaching [E-Book] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
10
Formal Methods [E-Book] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings /
11
Job Scheduling Strategies for Parallel Processing [E-Book] : 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers /
12
Computer Safety, Reliability, and Security [E-Book] : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings /
13
Pervasive Computing Technologies for Healthcare [E-Book] : 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings /
14
Euro-Par 2023: Parallel Processing [E-Book] : 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023, Proceedings /
15
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
16
Progress in Cryptology - AFRICACRYPT 2023 [E-Book] : 14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023, Proceedings /
17
OpenMP: Advanced Task-Based, Device and Compiler Programming [E-Book] : 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings /
18
Guide to Computer Processor Architecture [E-Book] : A RISC-V Approach, with High-Level Synthesis /
19
Parallel Computing Technologies [E-Book] : 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings /
20
Trends in Functional Programming [E-Book] : 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers /