Related Books
Language: en
Pages:
Pages:
Type: BOOK - Published: 2021-02-11 - Publisher:
Neural networks have been widely used in many applications, such as image classification and understanding, language processing, and control of autonomous syste
Language: en
Pages: 680
Pages: 680
Type: BOOK - Published: 2019-07-12 - Publisher: Springer
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, C
Language: en
Pages: 439
Pages: 439
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 583
Pages: 583
Type: BOOK - Published: 2022-03-29 - Publisher: Springer Nature
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TAC
Language: en
Pages: 718
Pages: 718
Type: BOOK - Published: 2023-04-21 - Publisher: Springer Nature
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TAC
