eBook: Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings (DRM EPUB)
售價:
$715.00
購買後立即進貨, 約需 1-4 天
加入購物車
商品簡介
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26-29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis, and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic, and quantum programming; software security; concurrency and parallelism; tools and environments for programming and implementation; and applications of SAT/SMT to programming and implementation.
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) ... [顯示此系列所有商品]
Chung-Kil Hur 作者作品表 Programming Languages and Systems: 21st Asian Symposium, Aplas 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings (2023) (Paperback) eBook: Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings (DRM PDF) eBook: Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings (DRM EPUB)