eBook: Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings (DRM EPUB)
售價:
$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: Wisdom, Well-Being, Win-Win: 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part III (DRM P
eBook: Wisdom, Well-Being, Win-Win: 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part I (DRM EPU
eBook: Wisdom, Well-Being, Win-Win: 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part I (DRM PDF
eBook: Wisdom, Well-Being, Win-Win: 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part II (DRM PD
eBook: Wisdom, Well-Being, Win-Win: 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part II (DRM EP
eBook: Wisdom, Well-Being, Win-Win: 19th International Conference, iConference 2024, Changchun, China, April 15-26, 2024, Proceedings, Part III (DRM E
eBook: Web and Wireless Geographical Information Systems: 21st International Symposium, W2GIS 2024, Yverdon-les-Bains, Switzerland, June 17-18, 2024,
eBook: Web and Wireless Geographical Information Systems: 21st International Symposium, W2GIS 2024, Yverdon-les-Bains, Switzerland, June 17-18, 2024,
eBook: Advances in Cryptology - EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zuric
eBook: Advances in Cryptology - EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zuric
eBook: Topics in Cryptology - CT-RSA 2024: Cryptographers' Track at the RSA Conference 2024, San Francisco, CA, USA, May 6-9, 2024, Proceedings (DRM P
eBook: Topics in Cryptology - CT-RSA 2024: Cryptographers' Track at the RSA Conference 2024, San Francisco, CA, USA, May 6-9, 2024, Proceedings (DRM E
eBook: Theory and Applications of Models of Computation: 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings (DRM EPUB)
eBook: Theory and Applications of Models of Computation: 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings (DRM PDF)
eBook: Advances in Knowledge Discovery and Data Mining: 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwa
eBook: Advances in Cryptology - EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zuric
eBook: Advances in Cryptology - EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zuric
eBook: Advances in Knowledge Discovery and Data Mining: 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwa
eBook: Spatial Data and Intelligence: 5th China Conference, SpatialDI 2024, Nanjing, China, April 25-27, 2024, Proceedings (DRM EPUB)
eBook: Spatial Data and Intelligence: 5th China Conference, SpatialDI 2024, Nanjing, China, April 25-27, 2024, Proceedings (DRM PDF) ... [顯示此系列所有商品]