1
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 /
Subject (ZB): “...Computer engineering....”

Full text 
Favorites
Saved in:
2
Advances in Computational Intelligence. MICAI 2023 International Workshops [E-Book] : WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13-18, 2023, Proceedings /
Subject (ZB): “...Software engineering....”

Full text 
Favorites
Saved in:
3
Infrared Small Target Detection [E-Book] : Theory, Methods, and Algorithms. /
Zhu, Hu
2024
Subject (ZB): “...Software engineering....”

Full text 
Favorites
Saved in:
4
FPGA EDA [E-Book] : Design Principles and Implementation /
Tu, Kaihui
2024
Subject (ZB): “...Computer-aided engineering....”

Full text 
Favorites
Saved in:
5
Model Validation and Uncertainty Quantification, Volume 3 [E-Book] : Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023 /
Subject (ZB): “...Civil engineering....”

Full text 
Favorites
Saved in:
6
Formal Methods: Foundations and Applications [E-Book] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings /
Subject (ZB): “...Software engineering....”

Full text 
Favorites
Saved in:
7
Search-Based Software Engineering [E-Book] : 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings /
Subject (ZB): “...Software engineering....”

Full text 
Favorites
Saved in:
8
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II /
Subject (ZB): “...Software engineering....”

Full text 
Favorites
Saved in:
9
Dynamic Logic. New Trends and Applications [E-Book] : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers /
Subject (ZB): “...Software engineering....”

Full text 
Favorites
Saved in:
10
Parallel and Distributed Computing, Applications and Technologies [E-Book] : Proceedings of PDCAT 2023 /
Subject (ZB): “...Software engineering....”

Full text 
Favorites
Saved in:
11
Structures of Computing [E-Book] : A Guide to Practice-Oriented Theory /
Subject (ZB): “...Software engineering....”

Full text 
Favorites
Saved in:
12
The French School of Programming [E-Book] /
Subject (ZB): “...Software engineering....”

Full text 
Favorites
Saved in:
13
Intelligent Computing in Carcinogenic Disease Detection [E-Book] /
Subject (ZB): “...Engineering -- Data processing....”

Full text 
Favorites
Saved in:
14
Functional and Logic Programming [E-Book] : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings /
Subject (ZB): “...Software engineering....”

Full text 
Favorites
Saved in:
15
Large-Scale Scientific Computations [E-Book] : 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers /
Subject (ZB): “...Computer engineering....”

Full text 
Favorites
Saved in:
16
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I /
Subject (ZB): “...Software engineering....”

Full text 
Favorites
Saved in:
17
Inductive Logic Programming [E-Book] : 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings /
Subject (ZB): “...Computer engineering....”

Full text 
Favorites
Saved in:
18
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 /
Subject (ZB): “...Software engineering....”

Full text 
Favorites
Saved in:
19
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 /
Subject (ZB): “...Software engineering....”

Full text 
Favorites
Saved in:
20
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 /
Subject (ZB): “...Software engineering....”

Full text 
Favorites
Saved in:

Narrow Search Results