Related Books
Language: en
Pages:
Pages:
Type: BOOK - Published: 2019 - Publisher:
Language: en
Pages: 252
Pages: 252
Type: BOOK - Published: 2020-08-17 - Publisher: Springer Nature
This book presents selected papers of 12 Workshops held in conjunction with the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, in M
Language: en
Pages: 284
Pages: 284
Type: BOOK - Published: 2020-09-11 - Publisher: TU Wien Academic Press
Formal Methods in Computer-Aided Design (FMCAD) is a conference series on the theory and applications of formal methods in hardware and system verification.
Language: en
Pages: 175
Pages: 175
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 517
Pages: 517
Type: BOOK - Published: 2023-02-11 - Publisher: Springer Nature
The 8-volume set, comprising the LNCS books 13801 until 13809, constitutes the refereed proceedings of 38 out of the 60 workshops held at the 17th European Conf
