Vietnam English Japanese
 Đă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 22 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ỏ
 
Assessing neighbourhood-scale BTI spray applications and laboratory-based mortality testing on
Tác giả: Gabriel de Carvalho, Gilberto Dinis Cozzer, Manuelle Osmarin Pinheiro de Almeida, Wiliam Gabriel Borges, Renan de Souza Rezende, Bruno Spacek Godoy, Ivoneide Maria da Silva, José Vladmir Oliveira, Daniel Albeny-Simões, Jacir Dal Magro
Xuất bản: England: Bulletin of entomological research , 2025
Bộ sưu tập: NCBI
ddc:  567.9153
 Thêm vào giỏ
 
1 2 3 Tiếp

Truy cập nhanh danh mục

Media
Đồ á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ĩ
Sách tham khảo