1
Current Trends in Web Engineering [E-Book] : ICWE 2023 International Workshops: BECS, SWEET, WALS, Alicante, Spain, June 6-9, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
2
Advances in Computing [E-Book] : 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
3
Active Inference [E-Book] : 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13-15, 2023, Revised Selected Papers /

Full text 
Favorites
Saved in:
4
The Practice of Enterprise Modeling [E-Book] : 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 - December 1, 2023, Proceedings /

Full text 
Favorites
Saved in:
5
Advanced Research in Technologies, Information, Innovation and Sustainability [E-Book] : Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part I /

Full text 
Favorites
Saved in:
6
Advanced Research in Technologies, Information, Innovation and Sustainability [E-Book] : Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part III /

Full text 
Favorites
Saved in:
7
Emerging Technologies in Computing [E-Book] : 6th EAI International Conference, iCETiC 2023, Southend-on-Sea, UK, August 17-18, 2023, Proceedings /

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 I /

Full text 
Favorites
Saved in:
9
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:
10
Formal Methods: Foundations and Applications [E-Book] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings /
Table of Contents: “... as Finite State Machines -- AutomaTutor: An Educational Mobile App for Teaching Automata Theory -- ESBMC v7.3: Model Checking C++ Programs using Clang....”

Full text 
Favorites
Saved in:
11
Software Business [E-Book] : 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings /

Full text 
Favorites
Saved in:
12
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:
13
The Fundamental Research for Trustworthy Software [E-Book] /
He, Jifeng
2024

Full text 
Favorites
Saved in:
14
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:
15
Applied Informatics [E-Book] : 6th International Conference, ICAI 2023, Guayaquil, Ecuador, October 26-28, 2023, Proceedings /

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

Full text 
Favorites
Saved in:
17
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:
18
Cooperative Information Systems [E-Book] : 29th International Conference, CoopIS 2023, Groningen, The Netherlands, October 30-November 3, 2023, Proceedings /

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

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 III /

Full text 
Favorites
Saved in:

Narrow Search Results