Digital resources - Ha Noi university of science and technology

Browsing by Subject Tính xác thực

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 5 of 5

Ebooks (Sách điện tử)

Computer aided verification : 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part I

Authors : - (2018)

Bộ hai tập truy cập mở LNCS 10980 và 10981 này tập trung nội dung của Hội nghị quốc tế lần thứ 30 về Xác minh có sự hỗ trợ của máy tính, CAV 2018, được tổ chức tại Oxford, Vương quốc Anh, vào tháng 7 năm 2018. Có 52 tài liệu đầy đủ và 13 tài liệu công cụ được trình bày cùng với 3 tài liệu được mời các bài báo và 2 bài hướng dẫn đã được xem xét và lựa chọn cẩn t...

Ebooks (Sách điện tử)

Computer aided verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, proceedings. Part I

Authors : - (2024)

Bộ 3 tập truy cập mở này tổng 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 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.

Ebooks (Sách điện tử)

Computer aided verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, proceedings. Part II

Authors : - (2024)

Bộ 3 tập truy cập mở này TỔNG 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 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.

Ebooks (Sách điện tử)

Computer aided verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, proceedings. Part III

Authors : - (2024)

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.

Ebooks (Sách điện tử)

Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings. Part I

Authors : - (2021)

Truy cập mở tập 2 này cấu thành từ Hội nghị quốc tế lần thứ 27 về Công cụ và thuật toán để xây dựng và phân tích hệ thống, TACAS 2021, được tổ chức từ ngày 27 tháng 3 đến ngày 1 tháng 4 năm 2021, như một phần của Hội nghị chung Châu Âu về Lý thuyết và Thực hành Phần mềm, ETAPS 2021. Hội nghị dự kiến diễn ra tại Luxembourg và chuyển sang hình thức trực tuyến do đại dịch&#x...