Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings 9783031321573, 9783031321566, 303132157X

Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings 3031321561, 9783031321566

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023

360 19 6MB Read more

Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings [1st ed. 2019] 978-3-030-30922-0, 978-3-030-30923-7

This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019

596 54 12MB Read more

Static Analysis. 30th International Symposium, SAS 2023 Cascais, Portugal, October 22–24, 2023 Proceedings 9783031442445, 9783031442452

143 102 Read more

Spatial Data and Intelligence: 4th International Conference, SpatialDI 2023, Nanchang, China, April 13–15, 2023, Proceedings 9783031329104, 9783031329098, 3031329104

This book constitutes the refereed proceedings of the 4th International Conference on Spatial Data and Intelligence, Spa

212 58 59MB Read more

Comparative Genomics: 20th International Conference, RECOMB-CG 2023, Istanbul, Turkey, April 14–15, 2023, Proceedings 3031369106, 9783031369100

This book constitutes the refereed proceedings of the 20th Annual RECOMB Satellite Workshop on Comparative Genomics, REC

1,253 82 12MB Read more

Comparative Genomics: 20th International Conference, RECOMB-CG 2023, Istanbul, Turkey, April 14–15, 2023, Proceedings 9783031369117, 9783031369100, 3031369114

This book constitutes the refereed proceedings of the 20th Annual RECOMB Satellite Workshop on Comparative Genomics, REC

125 23 24MB Read more

Spatial Data and Intelligence: 4th International Conference, SpatialDI 2023, Nanchang, China, April 13–15, 2023, Proceedings 3031329090, 9783031329098

This book constitutes the refereed proceedings of the 4th International Conference on Spatial Data and Intelligence, Spa

262 74 37MB Read more

NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings 3031331699, 9783031331695

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Hous

380 29 19MB Read more

Algorithms and Data Structures. 18th International Symposium, WADS 2023 Montreal, QC, Canada, July 31 – August 2, 2023 Proceedings 9783031389054, 9783031389061

201 32 16MB Read more

Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings 9783031331633, 9783031331626, 303133163X

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ

192 21 54MB Read more