Verification and Evaluation of Computer and Communication Systems
16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings
Book and Conference Proceedings
16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings
Book and Conference Proceedings
15th International Conference, AGI 2022, Seattle, WA, USA, August 19–22, 2022, Proceedings
Book
Book and Conference Proceedings
17th Chinese Conference, CCBR 2023, Xuzhou, China, December 1–3, 2023, Proceedings
Book and Conference Proceedings
12th International Workshop, CLIP 2023 1st International Workshop, FAIMI 2023 and 2nd International Workshop, EPIMI 2023 Vancouver, BC, Canada, October 8 and October 12, 2023 Proceedings
Book
Book
Book
Book and Conference Proceedings
14th International Conference, AGI 2021, Palo Alto, CA, USA, October 15–18, 2021, Proceedings
Book
Book and Conference Proceedings
13th International Conference, ICSI 2022, **'an, China, July 15–19, 2022, Proceedings, Part I
Book and Conference Proceedings
13th International Conference, ICSI 2022, **'an, China, July 15–19, 2022, Proceedings, Part II
Book
Book
Book and Conference Proceedings
16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12–13, 2021, Revised Selected Papers
Book
Book
Book and Conference Proceedings
The Proceedings of NICE2020 International Conference
Book and Conference Proceedings
17th International Conference on E-Business and Telecommunications, ICETE 2020, Online Event, July 8–10, 2020, Revised Selected Papers
Book