Related Books
Language: en
Pages: 725
Pages: 725
Type: BOOK - Published: 2020-01-16 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, held i
Language: en
Pages: 401
Pages: 401
Type: BOOK - Published: 2022-12-19 - Publisher: Springer Nature
This book constitutes the conference proceedings of the 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023,
Language: en
Pages: 628
Pages: 628
Type: BOOK - Published: 2021-01-20 - Publisher: Springer Nature
This book contains the invited and contributed papers selected for presentation at SOFSEM 2021, the 47th International Conference on Current Trends in Theory an
Language: en
Pages: 514
Pages: 514
Type: BOOK - Published: 2024 - Publisher: Springer Nature
This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Co
Language: en
Pages: 405
Pages: 405
Type: BOOK - Published: 2022-10-12 - Publisher: TU Wien Academic Press
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and syste
