Loại tài liệu:    Chỉ tìm trong: 
51-60 trong số 117 kết quả
Neural and fuzzy logic control of drives and power systems [electronic resource]
Tác giả: M N Cirstea
Xuất bản: Oxford [England] ; Boston, MA: Newnes , 2002
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  629.8312
 
Autonomy Oriented Computing [electronic resource] : From Problem Solving to Complex Systems Modeling
Tác giả: Jiming Liu, XiaoLong Jin, Kwok Ching Tsui
Xuất bản: New York, NY: Springer US : Imprint: Springer , 2005.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003
 
The Coupling of Safety and Security : Exploring Interrelations in Theory and Practice
Tác giả: Corinne Bieder, Corinne Bieder, Kenneth Pettersen Gould, Kenneth Pettersen Gould
Xuất bản: Cham, Switzerland: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Handbook of Power Systems II elektronisk ressurs
Tác giả: Steffen Rebennack, Niko A Iliadis, Panos M Pardalos, Mario V F Pereira
Xuất bản: Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg , 2010
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  621.3191
 
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Jan Friso Groote, Jan Friso Groote, Kim Guldstrand Larsen, Kim Guldstrand Larsen
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: 
 
Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Peter Müller
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.13
 
Artificial Intelligence and Simulation [electronic resource] : 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004
Tác giả: Tag G Kim
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2005.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory
Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 
Complex analysis and dynamical systems IV : Fourth International Conference on Complex Analysis and Dynamical Systems, May 18-22, 2009, Nahariya, Israel
Tác giả: M L Agranovskiĭ
Xuất bản: Providence, R.I. : Ramat Gan, Israel: American Mathematical Society ; Bar-Ilan University , c2011.
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  515.9
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory
Tác giả: Armin Biere, David Parker
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 

Truy cập nhanh danh mục