Browse

Author Profile

Browsing by Subject Logic máy tính

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

  • Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

    • Authors : - (2022)

  • LNAI 13385 được cấu thành từ Hội nghị chung quốc tế lần thứ 11 về suy luận tự động, IJCAR 2022, được tổ chức tại Haifa, Israel, vào tháng 8 năm 2022. 32 tài liệu nghiên cứu đầy đủ và 9 bài báo ngắn được trình bày cùng với hai buổi tọa đàm được mời đã được xem xét kỹ lưỡng. được xem xét và lựa chọn từ 85 bài nộp. Các bài viết tập trung vào các chủ đề sau: Sự thỏa mãn, Giả...
  • OER000003309.pdf.jpg
  • Ebooks (Sách điện tử)

  • Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

    • Authors : - (2024)

  • Bộ LNAI 14739-14740 gồm hai tập này tạo thành từ Hội nghị chung quốc tế lần thứ 12 về lý luận tự động, IJCAR 2024, được tổ chức tại Nancy, Pháp, trong thời gian từ ngày 3 đến ngày 6 tháng 7 năm 2024. 39 bài nghiên cứu đầy đủ và 6 bài viết ngắn trình bày trong cuốn sách này đã được xem xét và lựa chọn cẩn thận từ 115 bài nộp. Các bài viết tập trung vào các chủ đề: chứng m...
  • OER000003101.pdf.jpg
  • Ebooks (Sách điện tử)

  • Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023

    • Authors : - (2023)

  • The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.