Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
Tìm được 20 kết quả
Verification of Performance in Results-Based Financing
Tác giả: Cheryl Cashin
Xuất bản: World Bank, Washington, DC , 2016
Bộ sưu tập: Tài liệu truy cập mở
ddc:  372.87
 Thêm vào giỏ
 
Verification of Performance in Results-Based Financing
Tác giả: Alfredo Perazzo
Xuất bản: World Bank, Washington, DC , 2016
Bộ sưu tập: Tài liệu truy cập mở
ddc:  372.87
 Thêm vào giỏ
 
Advanced Formal Verification elektronisk ressurs
Tác giả: Rolf Drechsler
Xuất bản: Boston, MA: Kluwer Academic Publishers , 2004
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.3815
 Thêm vào giỏ
 
Verification and Monitoring of Results and Strategic Purchasing
Tác giả: Rafael A Cortez
Xuất bản: Washington, DC: World Bank , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc:  641.31
 Thêm vào giỏ
 
Real-time systems : specification, verification, and analysis
Tác giả: M Joseph
Xuất bản: London ; New York: Prentice Hall , 1996.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.2
 Thêm vào giỏ
 
Electronic design automation : synthesis, verification, and test
Tác giả: Yao-Wen Chang, Kwang-Ting Cheng, Laung-Terng Wang
Xuất bản: Amsterdam ; Boston: Morgan Kaufmann/Elsevier , 2009.
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.395
 Thêm vào giỏ
 
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Tác giả: Constantin Enea, Constantin Enea, Akash Lal, Akash Lal
Xuất bản: Cham: Springer Nature , 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Tác giả: Constantin Enea, Constantin Enea, Akash Lal, Akash Lal
Xuất bản: Cham: Springer Nature , 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Tác giả: Constantin Enea, Constantin Enea, Akash Lal, Akash Lal
Xuất bản: Cham: Springer Nature , 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Tác giả: Sharon Shoham, Sharon Shoham, Yakir Vizel, Yakir Vizel
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
1 2 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media