Skip navigation
Trang chủ
Duyệt theo
Bộ sưu tập
Duyệt tài liệu theo:
Năm xuất bản
Tác giả
Nhan đề
Chủ đề
Trợ giúp
Đăng nhập
Trang cá nhân
Đăng ký email
thông báo
Hồ sơ
Thư viện số Văn Lang
Tìm kiếm
Tìm kiếm:
Toàn bộ
Tài liệu truy cập mở
Book Open Access
Công nghệ Thông tin_TLNM_SACH
cho
Các bộ lọc hiện tại:
Nhan đề
Tác giả
Chủ đề
Năm xuất bản
Có tập tin
Bằng
Chứa
ID
Không bằng
Không chứa
Không ID
Bắt đầu một phiên tìm kiếm mới
Thêm các bộ lọc:
Sử dụng bộ lọc để lọc các kết quả tìm kiếm.
Nhan đề
Tác giả
Chủ đề
Năm xuất bản
Có tập tin
Bằng
Chứa
ID
Không bằng
Không chứa
Không ID
Kết quả 1-1 của 1.
Trước
1
tiếp theo
Kết quả tìm trong tài liệu:
Năm xuất bản
Nhan đề
Tác giả
2021
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 II
Groote, Jan Friso
;
Larsen, Kim Guldstrand
Duyệt theo
Tác giả
1
Groote, Jan Friso
1
Larsen, Kim Guldstrand
Chủ đề
1
Distributed Computer Systems
1
SAT and SMT Solving
1
Static and Dynamic Program Analysis
Năm xuất bản
1
2021
Có tập tin
1
true