Thông tin tài liệu
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.editor | Arie Gurfinkel, Vijay Ganesh | vi |
| dc.date.accessioned | 2024-09-17T02:51:41Z | - |
| dc.date.available | 2024-09-17T02:51:41Z | - |
| dc.date.issued | 2024 | - |
| dc.identifier.isbn | 978-3-031-65633-0 | vi |
| dc.identifier.other | OER000003393 | vi |
| dc.identifier.uri | http://dlib.hust.edu.vn/handle/HUST/25449 | - |
| dc.description | Ebook miễn phí tại trang https://library.oapen.org/ | vi |
| dc.description.abstract | Cuốn sách truy cập mở này cấu tập hợp nội dung của Hội nghị quốc tế lần thứ 36 về Xác minh có sự hỗ trợ của máy tính, CAV 2024, diễn ra tại Montreal, Canada, trong thời gian từ ngày 24 đến ngày 27 tháng 7 năm 2024. Trọng tâm chính của CAV là mở rộng biên giới của các kỹ thuật xác minh bằng cách mở rộng sang các lĩnh vực mới như bảo mật, điện toán lượng tử và học máy. | vi |
| dc.description.uri | https://library.oapen.org/handle/20.500.12657/92710 | vi |
| dc.format | vi | |
| dc.language.iso | en | vi |
| dc.publisher | Springer Nature | vi |
| dc.rights | Attribution 3.0 Vietnam | * |
| dc.rights.uri | http://creativecommons.org/licenses/by/3.0/vn/ | * |
| dc.subject | Phần mềm máy tính | vi |
| dc.subject | Tính xác thực | vi |
| dc.subject | Hội thảo | vi |
| dc.subject.lcc | QA76.758 | vi |
| dc.title | Computer aided verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, proceedings. Part III | vi |
| dc.type | Ebooks (Sách điện tử) | vi |
| Appears in Collections: | OER - Công nghệ thông tin | |
Files in This Item:
This item is licensed under a Creative Commons License
