Browse

Author Profile

Browsing by Subject 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 7 of 7
  • OER000003357-1.pdf.jpg
  • Ebooks (Sách điện tử)

  • Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings. Part II

    • Authors : - (2021)

  • Bộ tài liệu hai tập truy cập mở LNCS 12759 và 12760 này cấu thành từ kỷ yếu của hội nghị quốc tế lần thứ 33 về Xác minh có sự hỗ trợ của máy tính, CAV 2021, được tổ chức trực tuyến vào tháng 7 năm 2021. Có 63 bài báo đầy đủ được trình bày cùng với 16 bài báo công cụ và 5 bài báo được mời đã được xem xét cẩn thận được xem xét và lựa chọn từ 290 bài đã nộp. ...
  • OER000003344.pdf.jpg
  • Ebooks (Sách điện tử)

  • Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part I

    • Authors : - (2022)

  • Bộ hai tập truy cập mở LNCS 13371 và 13372 này cấu thành thủ từ hội nghị quốc tế lần thứ 34 về Xác minh có sự trợ giúp của máy tính, CAV 2022, được tổ chức tại Haifa, Israel, vào tháng 8 năm 2022.Có 40 bài báo đầy đủ được trình bày cùng với 9 bài viết công cụ và 2 nghiên cứu điển hình đã được xem xét và lựa chọn cẩn thận từ 209 bài nộp. Các bài viết được tổ chức the...