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 58 kết quả
Verificationism : its history and prospects
Tác giả: C J Misak
Xuất bản: London ; New York: Routledge , 1995.
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  111
 Thêm vào giỏ
 
Principles of functional verification
Tác giả: Andreas Meyer
Xuất bản: Burlington, MA: Elsevier Science : Newnes , 2004
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.3815
 Thêm vào giỏ
 
SAT-based scalable formal verification solutions
Tác giả: Malay Ganai, Aarti Gupta
Xuất bản: New York: Springer Science+Business Media , 2007
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.381548
 Thêm vào giỏ
 
Integrated circuit test engineering : modern techniques
Tác giả: Ian Grout
Xuất bản: London: Springer , 2006
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.381548
 Thêm vào giỏ
 
Hardware design verification : simulation and formal method-based approaches
Tác giả: William K C Lam
Xuất bản: Upper Saddle River, NJ: Prentice Hall Professional Technical Reference , 2005
Bộ sưu tập: Khoa học ứng dụng
eBook (chm)
ddc:  621.392
 Thêm vào giỏ
 
Functional verification coverage measurement and analysis
Tác giả: Andrew Piziali
Xuất bản: New York: 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ỏ
 
OC5 Project Phase Ib [electronic resource] : Validation of hydrodynamic loading on a fixed, flexible cylinder for offsho...
Tác giả:
Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. Dept. of Energy. Office of Energy Efficiency and Renewable Energy ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2016
Bộ sưu tập: Metadata
ddc:  621.45
 Thêm vào giỏ
 
Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model
Tác giả: Dorit Jerger
Xuất bản: Karlsruhe: KIT Scientific Publishing , 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  500
 Thêm vào giỏ
 
Professional verification : a guide to advanced functional verification
Tác giả: Paul Wilcox
Xuất bản: Boston: Kluwer Academic , c2004.
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.381548
 Thêm vào giỏ
 
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint...
Tác giả: Amal Ahmed
Xuất bản: Cham, Switzerland: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
1 2 3 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