1
Transactions on Petri Nets and Other Models of Concurrency XVII [E-Book] /
2
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II /
3
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I /
4
Engineering of Computer-Based Systems [E-Book] : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings /
5
Active Object Languages: Current Research Trends [E-Book] /
6
Constructive Side-Channel Analysis and Secure Design [E-Book] : 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings /
7
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II /
8
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III /
9
Fundamental Approaches to Software Engineering [E-Book] : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings /
10
High Performance Computing [E-Book] : 10th Latin American Conference, CARLA 2023, Cartagena, Colombia, September 18-22, 2023, Revised Selected Papers /
11
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I /
12
Guide to Computer Processor Architecture [E-Book] : A RISC-V Approach, with High-Level Synthesis /
13
Pervasive Computing Technologies for Healthcare [E-Book] : 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings /
14
Emerging Technologies for Developing Countries : 5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022, Proceedings [E-Book] /
15
Progress in Cryptology - AFRICACRYPT 2023 [E-Book] : 14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023, Proceedings /
16
Parallel Computing Technologies [E-Book] : 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings /
17
Euro-Par 2023: Parallel Processing [E-Book] : 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023, Proceedings /
18
Trends in Functional Programming [E-Book] : 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers /
19
Fundamentals of Software Engineering [E-Book] : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers /
20
OpenMP: Advanced Task-Based, Device and Compiler Programming [E-Book] : 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings /