Digital resources - Ha Noi university of science and technology

Browsing by Subject Thiết kế hệ thông

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 1 of 1

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

Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II

Authors : - (2022)

Cuốn sách truy cập mở này cấu thành từ kỷ yếu của hội nghị quốc tế lần thứ 28 về Công cụ và thuật toán xây dựng và phân tích hệ thống - TACAS 2022, được tổ chức từ ngày 2 đến ngày 7 tháng 4 năm 2022 tại Munich, Đức, 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 2022. Có 46 bài báo đầy đủ và 4 bài báo ngắn được trình bày trong tập&...