1
Smart Cities [E-Book] : 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13-17, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
2
Advances in Model and Data Engineering in the Digitalization Era [E-Book] : MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings /

Full text 
Favorites
Saved in:
3
Artificial Life and Evolutionary Computation [E-Book] : 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
4
Engineering of Computer-Based Systems [E-Book] : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings /

Full text 
Favorites
Saved in:
5
Artificial Intelligence of Things [E-Book] : First International Conference, ICAIoT 2023, Chandigarh, India, March 30-31, 2023, Revised Selected Papers, Part II /

Full text 
Favorites
Saved in:
6
Internet of Things. Advances in Information and Communication Technology [E-Book] : 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part I /

Full text 
Favorites
Saved in:
7
Frontiers in Cyber Security [E-Book] : 6th International Conference, FCS 2023, Chengdu, China, August 21-23, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
8
Operations Research and Enterprise Systems [E-Book] : 11th International Conference, ICORES 2022, Virtual Event, February 3-5, 2022, and 12th International Conference, ICORES 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
9
Internet of Things. Advances in Information and Communication Technology [E-Book] : 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2-3, 2023, Proceedings, Part II /

Full text 
Favorites
Saved in:
10
Dependable Software Engineering. Theories, Tools, and Applications [E-Book] : 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings /
Bu, Lei
2024
Table of Contents: “... -- Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service -- Modeling Regex Operators for Solving Regex Crossword Puzzles -- Software Vulnerability Detection Using an Enhanced Generalization Strategy -- HeatC: a Variable...”

Full text 
Favorites
Saved in:
11
Verification and Evaluation of Computer and Communication Systems [E-Book] : 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings /

Full text 
Favorites
Saved in:
12
Pattern Recognition and Computer Vision [E-Book] : 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part V /

Full text 
Favorites
Saved in:
13
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production [E-Book] : 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
14
Internet of Things of Big Data for Healthcare [E-Book] : 5th International Workshop, IoTBDH 2023, Birmingham, UK, October 21-25, 2023, Proceedings /
Qi, Jun
2024

Full text 
Favorites
Saved in:
15
Critical Infrastructure Protection XVII [E-Book] : 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
16
Digital Transformation, Cyber Security and Resilience [E-Book] : Second International Conference, DIGILIENCE 2020, Varna, Bulgaria, September 30 - October 2, 2020, Revised Selected Papers /

Full text 
Favorites
Saved in:
17
Optimization, Learning Algorithms and Applications [E-Book] : Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I /

Full text 
Favorites
Saved in:
18
Management of Digital EcoSystems [E-Book] : 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
19
Computational Sciences and Sustainable Technologies [E-Book] : First International Conference, ICCSST 2023, Bangalore, India, May 8-9, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
20
Optimization, Learning Algorithms and Applications [E-Book] : Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II /

Full text 
Favorites
Saved in:

Narrow Search Results