Related Books
Language: en
Pages: 474
Pages: 474
Type: BOOK - Published: 2019-06-11 - Publisher: Springer
This book presents outstanding contributions in an exciting, new and multidisciplinary research area: the application of formal, automated reasoning techniques
Language: en
Pages:
Pages:
Type: BOOK - Published: 2019 - Publisher:
"This book presents outstanding contributions in an exciting, new and multidisciplinary research area: the application of formal, automated reasoning techniques
Language: en
Pages: 37
Pages: 37
Type: BOOK - Published: 1992 - Publisher:
Language: en
Pages: 324
Pages: 324
Type: BOOK - Published: 2022-08-18 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 20th International Conference on Computational Methods in Systems Biology, CMSB 2022, held in Bucharest, R
Language: en
Pages: 268
Pages: 268
Type: BOOK - Published: - Publisher: Springer Nature