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: 
21-30 trong số 65 kết quả
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: 
 Thêm vào giỏ
 
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: 
 Thêm vào giỏ
 
Comprehensive functional verification the complete industry cycle
Tác giả: Bruce Wile, John C Goss, W Roesner
Xuất bản: Amsterdam ; Boston: Elsevier/Morgan Kaufmann , 2005.
Bộ sưu tập: Khoa học ứng dụng
Bản in
ddc:  621.381
 Thêm vào giỏ
 
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: 
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
Soil Organic Carbon MRV Sourcebook for Agricultural Landscapes
Tác giả:
Xuất bản: World Bank, Washington, DC , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  338.16
 Thêm vào giỏ
 
The Verification and Validation Strategy Within the Second Wind Forecast Improvement Project (WFIP 2) [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 , 2019
Bộ sưu tập: Metadata
ddc:  621.5
 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ỏ
 
Improving atmospheric models for offshore wind resource mapping and prediction using LIDAR, aircraft, and in-ocean obser...
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:  333.9
 Thêm vào giỏ
 
Trước 1 2 3 4 5 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