Loại tài liệu:    Chỉ tìm trong: 
31-40 trong số 56 kết quả
Trace theory for automatic hierarchical verification of speed-independent circuits
Tác giả: David L Dill
Xuất bản: Cambridge Massachusetts: MIT Press, 1989
Bộ sưu tập: Tài liệu truy cập mở
ddc:  621.395
 
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 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:  333.9
 
Verification and Validation of the New Dynamic Mooring Modules Available in FAST v8 [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.831
 
Verification and Validation of Multisegmented Mooring Capabilities in FAST v8 [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.521
 
Verification of the New FAST v8 Capabilities for the Modeling of Fixed-Bottom Offshore Wind Turbines [electronic resource] : Preprint
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, 2014
Bộ sưu tập: Metadata
ddc:  621.45
 
The Verification and Validation Strategy Within the Second Wind Forecast Improvement Project (WFIP 2) [electronic resource]
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, 2019
Bộ sưu tập: Metadata
ddc:  621.5
 
The Potential Role for Community Monitoring in MRV and in Benefit Sharing in REDD +
Tác giả:
Xuất bản: : MDPI Multidisciplinary Digital Publishing Institute, 2015
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Journal of Formalized Reasoning
Tác giả:
Xuất bản: : University of Bologna, 2009
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering
Tác giả:
Xuất bản: : Institute for System Programming of the Russian Academy of Sciences ISPRAS, 2015
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Seeing Human Rights : Video Activism as a Proxy Profession
Tác giả: Sandra Ristovska
Xuất bản: Cambridge: The MIT Press, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  323
 

Truy cập nhanh danh mục