Loại tài liệu:    Chỉ tìm trong: 
91-100 trong số 249 kết quả
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
 
Artificial Intelligence and Simulation [electronic resource] : 13th International Conference on AI, Simulation, and Plan...
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
 
Advances in cryptology - ASIACRYPT 2009 [electronic resource] : 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009
Tác giả: Mitsuru Matsui
Xuất bản: Berlin ; New York: Springer , 2009
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.82
 
Infinite-horizon optimal control in the discrete-time framework
Tác giả: Joël Blot, Naïla Hayek
Xuất bản: New York: Springer , 2013
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  515
 
Adaptive control approach for software quality improvement
Tác giả: Bojan Cukic, W Eric Wong
Xuất bản: Hoboken, NJ: World Scientific , 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.14
 
Estimation and control over communication networks
Tác giả: Alexey S Matveev, Andrey V Savkin
Xuất bản: Boston: Birkhäuser , 2009
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.382
 
Nonlinear analysis and synthesis techniques for aircraft control
Tác giả: Declan Bates, Marti Hagström
Xuất bản: Berlin ; New York: Springer Verlag , c2007
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  629.132
 
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
 
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