Loại tài liệu:    Chỉ tìm trong: 
31-40 trong số 127 kết quả
Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Dirk Beyer, Marieke Huisman
Xuất bản: New York NY: Springer Berlin Heidelberg, 2018
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004
 
Computer vision : algorithms and applications
Tác giả: Richard Szeliski
Xuất bản: London New York: Springer, 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.37
 
Topological Obstructions to Stability and Stabilization [electronic resource] : History, Recent Advances and Open Proble...
Tác giả: Wouter Jongeneel, Emmanuel Moulay
Xuất bản: Cham: Springer Nature Switzerland Imprint Springer, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc:  003
 
Bio-Inspired Applications of Connectionism [electronic resource] : 6th International Work-Conference on Artificial and N...
Tác giả: Jose Mira, Alberto Prieto
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2001
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Elements of Robotics [electronic resource]
Tác giả: Mordechai Ben-Ari, Francesco Mondada
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:  006.3
 
Fuzzy models and algorithms for pattern recognition and image processing
Tác giả: James Bezdek
Xuất bản: New York: Springer, 2005
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.42
 
Mathematical foundations of scientific visualization, computer graphics, and massive data exploration
Tác giả: Bernd Hamann, Torsten Möller, R D Russell
Xuất bản: Berlin: Springer, 2009
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.60151
 
The Price of Uncertainty in Present-Biased Planning
Tác giả: Susanne Albers, Dennis Kraft
Xuất bản: : Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.678
 
Argumentation in Artificial Intelligence [electronic resource]
Tác giả: Iyad Rahwan
Xuất bản: New York NY: Springer US Imprint Springer, 2009
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Solving PDEs in Python: The FEniCS Tutorial I
Tác giả: Hans Petter Langtangen, Anders Logg
Xuất bản: Cham: Springer Nature, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.133
 

Truy cập nhanh danh mục