Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 53 kết quả
FAST v8 Verification and Validation for a Megawatt-Scale Wind Turbine with Aeroelastically Tailored Blades [electronic resource] : Preprint
Tác giả:
Xuất bản: Washington DC Oak Ridge Tenn: United States Dept of Energy Office of Energy Efficiency and Renewable Energy Distributed by the Office of Scientific and Technical Information US Dept of Energy, 2016
Bộ sưu tập: Metadata
ddc:  621.45
 
Offshore Code Comparison Collaboration, Continuation [electronic resource] : Phase II Results of a Floating Semisubmersi...
Tác giả:
Xuất bản: Golden Colo Oak Ridge Tenn: National Renewable Energy Laboratory US Distributed by the Office of Scientific and Technical Information US Dept of Energy, 2013
Bộ sưu tập: Metadata
ddc:  621.47
 
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: Hoboken New Jersey: IEEE Computer Society, 2007
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.32
 
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: 
 
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
 
Datenqualität in der medizinischen Forschung : Leitlinie zum adaptiven Management von Datenqualität in Kohortenstudien...
Tác giả: Michael Nonnemacher, Daniel Nasseh, Jürgen Stausberg
Xuất bản: Berlin: MWV Medizinisch Wissenschaftliche Verlagsgesellschaft, 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Finite Difference Computing with PDEs: A Modern Software Approach
Tác giả: Hans Petter Langtangen, Svein Linge
Xuất bản: Cham: Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  515.353
 
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
Tác giả: Joachim Breitner
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2016
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004
 
Finite Difference Computing with PDEs: A Modern Software Approach
Tác giả: Hans Petter Langtangen, Svein Linge
Xuất bản: Cham: Springer Nature, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  515.353
 

Truy cập nhanh danh mục