Loại tài liệu:    Chỉ tìm trong: 
301-310 trong số 458 kết quả
Assessment of wind power scenario creation methods for stochastic power systems operations [electronic resource]
Tác giả:
Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. National Nuclear Security Administration ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2020
Bộ sưu tập: Báo, Tạp chí
ddc:  621.45
 
Development of the IES Plug-and-Play Framework [electronic resource]
Tác giả:
Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. Office of the Assistant Secretary for Nuclear Energy ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2021
Bộ sưu tập: Báo, Tạp chí
ddc:  005.3
 
New developments in contact problems
Tác giả: P D Panagiotopoulos, P Wriggers
Xuất bản: Wien ; New York: Springer , ©1999.
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  620.1
 
Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna S...
Tác giả: Stéphane Demri, Deepak Kapur, Christoph Weidenbach
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Artificial Intelligence Logic and Applications [electronic resource] : The 2nd International Conference, AILA 2022, Shan...
Tác giả: Yixiang Chen, Songmao Zhang
Xuất bản: Singapore: Springer Nature Singapore : Imprint: Springer , 2022.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Compressive Sensing for the Photonic Mixer Device [electronic resource] : Fundamentals, Methods and Results
Tác giả: Miguel Heredia Conde
Xuất bản: Wiesbaden: Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006
 
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 24th International Conference, TA...
Tác giả: Hans De Nivelle
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, Decembe...
Tác giả: Jean-Pierre Jouannaud, Zhong Shao
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Feature Papers in Mathematical and Computational Applications
Tác giả: Gianluigi Rozza, Nicholas Fantuzzi, Nicholas Fantuzzi, Gianluigi Rozza, Oliver Schütze, Oliver Schütze
Xuất bản: Basel: MDPI - Multidisciplinary Digital Publishing Institute , 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Autonomous Search [electronic resource]
Tác giả: Youssef Hamadi, Eric Monfroy, Frédéric Saubion
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 

Truy cập nhanh danh mục