eBook: Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings (DRM PDF)
售價:
$910.00
購買後立即進貨, 約需 1-4 天
加入購物車
商品簡介
This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area.
Lecture Notes in Computer Science
eBook: Distributed Computer and Communication Networks: Control, Computation, Communications: 26th International Conference, DCCN 2023, Moscow, Russia
eBook: Distributed Computer and Communication Networks: Control, Computation, Communications: 26th International Conference, DCCN 2023, Moscow, Russia
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Inductive Logic Programming: 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings (DRM EPUB)
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Inductive Logic Programming: 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings (DRM PDF)
eBook: Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday (DRM EPUB)
eBook: Passive and Active Measurement: 25th International Conference, PAM 2024, Virtual Event, March 11-13, 2024, Proceedings, Part I (DRM PDF)
eBook: Analysis of Images, Social Networks and Texts: 11th International Conference, AIST 2023, Yerevan, Armenia, September 28-30, 2023, Revised Selec
eBook: Analysis of Images, Social Networks and Texts: 11th International Conference, AIST 2023, Yerevan, Armenia, September 28-30, 2023, Revised Selec
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday (DRM PDF)
eBook: Passive and Active Measurement: 25th International Conference, PAM 2024, Virtual Event, March 11-13, 2024, Proceedings, Part II (DRM EPUB)
eBook: Passive and Active Measurement: 25th International Conference, PAM 2024, Virtual Event, March 11-13, 2024, Proceedings, Part II (DRM PDF)
eBook: Passive and Active Measurement: 25th International Conference, PAM 2024, Virtual Event, March 11-13, 2024, Proceedings, Part I (DRM EPUB) ... [顯示此系列所有商品]