Loại tài liệu:    Chỉ tìm trong: 
941-950 trong số 962 kết quả
Considerations for Contractile Electroactive Materials and Actuators [electronic resource]
Tác giả:
Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. Dept. of Energy. Office of Science ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2011
Bộ sưu tập: Báo, Tạp chí
ddc:  006.6
 
A Systems Approach to Bio-Oil Stabilization - Final Technical Report [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 , 2011
Bộ sưu tập: Báo, Tạp chí
ddc:  666.9
 
FY2015 Vehicle Systems Annual Progress Report [electronic resource]
Tác giả:
Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. Office of the Assistant Secretary 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: Báo, Tạp chí
ddc:  621.43
 
In silico methods for predicting drug toxicity
Tác giả: Emilio Benfenati
Xuất bản: ,
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  615.704
 
Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as...
Tác giả: Reiner Hähnle, Wil van der Aalst
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federat...
Tác giả: Hana Chockler, Georg Weissenbacher
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1015113
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics,...
Tác giả: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 
Finding the Limits of the Limes [electronic resource] : Modelling Demography, Economy and Transport on the Edge of the R...
Tác giả: Mark R Groenhuijzen, Jamie Joyce, Philip Verhagen
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  300.00285
 
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, Jul...
Tác giả: Isil Dillig, Serdar Tasiran
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Chinese Water Systems [electronic resource] : Volume 4: Applied Water Management in China
Tác giả: Max Dohmann, Martin Grambow, Yonghui Song, Paul Wermter
Xuất bản: Cham, Switzerland: Springer Nature , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  363.728
 

Truy cập nhanh danh mục