Loại tài liệu:    Chỉ tìm trong: 
131-140 trong số 207 kết quả
Guidance for the Verification and Validation of Neural Networks
Tác giả: Laura L Pullum, Majorie A Darrah, Brian J Taylor
Xuất bản: New Jersey: Wiley, John & Sons, Incorporated , 2007
Bộ sưu tập: Công nghệ thông tin
Bản in
ddc:  006.32
 
Verification and Validation for Quality of UML 2.0 Models
Tác giả: Bhuvan Unhelkar
Xuất bản: New Jersey: John Wiley & Sons, Inc , 2005
Bộ sưu tập: Công nghệ thông tin
Bản in
ddc:  005.14
 
Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers [electronic resource]
Tác giả: Martin Leucker
Xuất bản: Berlin: Springer-Verlag , 2008
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004
 
Verification of computer codes in computational science and engineering
Tác giả: Patrick M Knupp, Kambiz Salari
Xuất bản: Boca Raton, Fla: Chapman & Hall/CRC Press , 2003
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  515.3530285
 
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Tác giả: Alexander Ivrii, Alexander Ivrii, Ofer Strichman, Ofer Strichman
Xuất bản: Vienna: TU Wien Academic Press , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Tác giả: Ruzica Piskac, Ruzica Piskac, Michael Whalen, Michael Whalen
Xuất bản: Vienna: TU Wien Academic Press , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
The future of patient-reported outcome measurement in hyperhidrosis lies in thoughtful, evidence-based implementation
Tác giả: Liam Jackman, Rakhshan Kamran
Xuất bản: England: The British journal of dermatology , 2025
Bộ sưu tập: NCBI
ddc:  972.8202
 
Software testing foundations : a study guide for the Certified Tester exam
Tác giả: Andreas Spillner, Tilo Linz, Hans Schaefer
Xuất bản: Santa Barbara, Calif: Rocky Nook , 2007
Bộ sưu tập: Công nghệ thông tin
eBook (chm)
ddc:  004
 
The CPAK classification in three-dimensional measurements is consistent with those in two-dimensional measurements
Tác giả: Junya Itou, Imrane Gazali, Hemant Pandit, Ken Okazaki, Daniele Ascani, Geert Peersman
Xuất bản: Germany: Archives of orthopaedic and trauma surgery , 2025
Bộ sưu tập: NCBI
ddc:  972.8202
 
Preimplantation Genetic Testing in a Family with Neurofibromatosis Type 1
Tác giả: Longmei Wang, Xuemei He, Xianjing Huang, Pingping Qiu, Hong Ji, Lu Ding, Yingying Shi, Ping Li, Libin Mei
Xuất bản: United States: Genetic testing and molecular biomarkers , 2025
Bộ sưu tập: NCBI
ddc:  697.72
 

Truy cập nhanh danh mục