1
Simulation Tools and Techniques [E-Book] : 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings /

Full text 
Favorites
Saved in:
2
Engineering Applications of Neural Networks [E-Book] : 25th International Conference, EANN 2024, Corfu, Greece, June 27-30, 2024, Proceedings /

Full text 
Favorites
Saved in:
3
NASA Formal Methods [E-Book] : 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings /

Full text 
Favorites
Saved in:
4
HCI for Cybersecurity, Privacy and Trust [E-Book] : 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II /

Full text 
Favorites
Saved in:
5
Computational Science - ICCS 2024 [E-Book] : 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I /

Full text 
Favorites
Saved in:
6
Computational Science - ICCS 2024 [E-Book] : 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII /

Full text 
Favorites
Saved in:
7
Product-Focused Software Process Improvement [E-Book] : 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I /

Full text 
Favorites
Saved in:
8
Product-Focused Software Process Improvement [E-Book] : 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II /

Full text 
Favorites
Saved in:
9
Formal Methods: Foundations and Applications [E-Book] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings /

Full text 
Favorites
Saved in:
10
Search-Based Software Engineering [E-Book] : 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings /

Full text 
Favorites
Saved in:
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 II /

Full text 
Favorites
Saved in:
12
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 /

Full text 
Favorites
Saved in:
13
Transactions on Petri Nets and Other Models of Concurrency XVII [E-Book] /

Full text 
Favorites
Saved in:
14
Fundamentals of Information Systems Interoperability [E-Book] : Data, Services, and Processes /

Full text 
Favorites
Saved in:
15
Digital Forensics and Cyber Crime [E-Book] : 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I /

Full text 
Favorites
Saved in:
16
Digital Forensics and Cyber Crime [E-Book] : 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part II /

Full text 
Favorites
Saved in:
17
Tools for Design, Implementation and Verification of Emerging Information Technologies [E-Book] : 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings /

Full text 
Favorites
Saved in:
18
Distributed Ledger Technology [E-Book] : 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
19
Artificial Intelligence. ECAI 2023 International Workshops [E-Book] : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I /

Full text 
Favorites
Saved in:
20
Collaborative Computing: Networking, Applications and Worksharing [E-Book] : 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part I /

Full text 
Favorites
Saved in:

Narrow Search Results