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: 
11-20 trong số 58 kết quả
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
Verification techniques for system-level design [electronic resource]
Tác giả: Masahiro Fujita, Indradeep Ghosh, Mukul Prasad
Xuất bản: Amsterdam ; Boston: Morgan Kaufmann Publishers , 2008
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.3815
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Tác giả: Benjamin Weiß
Xuất bản: Karlsruhe: KIT Scientific Publishing , 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.14
 Thêm vào giỏ
 
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 (U.S.) ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2013
Bộ sưu tập: Metadata
ddc:  621.47
 Thêm vào giỏ
 
FAST Code Verification of Scaling Laws for DeepCwind Floating Wind System Tests [electronic resource] : Preprint
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 , 2012
Bộ sưu tập: Metadata
ddc:  333.912
 Thêm vào giỏ
 
A Validation and Code-to-Code Verification of FAST for a Megawatt-Scale Wind Turbine with Aeroelastically Tailored Blades [electronic resource]
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 , 2017
Bộ sưu tập: Metadata
ddc:  621.531
 Thêm vào giỏ
 
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, 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ỏ
 
Trước 1 2 3 4 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