Loại tài liệu:    Chỉ tìm trong: 
Tìm được 80 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
 
Mapping transcriptomic profiles of seminal vesiculitis and experimental verification
Tác giả: Chenkui Miao, Shaobo Zhang, Jiajin Wu, Meiling Bao, Zengjun Wang, Bianjiang Liu
Xuất bản: Singapore: Asian journal of urology , 2025
Bộ sưu tập: NCBI
ddc:  619
 
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
 
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: Tài liệu truy cập mở
eBook (pdf)
ddc:  621.3815
 
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
 
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
 
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
 
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
 
Mechanism of Marsdenia tenacissima in treating breast cancer by targeting the MAPK signaling pathway: Utilising metabolomics, network pharmacology, and In vivo experiments for verification
Tác giả: Xinxin Su, Runtian Li, Zhiguang Zhang, Lin Lu, Siqi Wang, Tongxiang Liu
Xuất bản: Ireland: Journal of ethnopharmacology , 2025
Bộ sưu tập: NCBI
ddc:  810.8099
 
M-mode measurement of diaphragm excursion
Tác giả: Yusuke Hoshino
Xuất bản: Germany: European journal of pediatrics , 2025
Bộ sưu tập: NCBI
ddc:  617.547
 
1 2 3 Tiếp

Truy cập nhanh danh mục