Loại tài liệu:    Chỉ tìm trong: 
Tìm được 7 kết quả
Practical Problems in VLSI Physical Design Automation elektronisk ressurs
Tác giả: Sung Kyu Lim
Xuất bản: Dordrecht: Springer Science Business Media BV, 2008
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.395
 
Sublinear Computation Paradigm [electronic resource] : Algorithmic Revolution in the Big Data Era
Tác giả: Yuya Higashikawa, Hiro Ito, Naoki Katoh, Atsuki Nagao, Tetsuo Shibuya, Adnan Sljoka, Kazuyuki Tanaka, Yushi Uno
Xuất bản: Singapore: Springer Singapore, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Data structures and algorithms with Python
Tác giả: Kent Derek Lee, Steve Lee Hubbard
Xuất bản: New York: Springer, 2014
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.73
 
Pro TBB [electronic resource] : C++ Parallel Programming with Threading Building Blocks
Tác giả: Michael Voss, Rafael Asenjo, James Reinders
Xuất bản: Berkeley CA: Apress Imprint Apress, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.13
 
Foundations of Trusted Autonomy [electronic resource]
Tác giả: Hussein A Abbass, Darryn J Reid, Jason Scholz
Xuất bản: Cham Switzerland: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  629.892
 
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
 
The Amazing Journey of Reason [electronic resource] : from DNA to Artificial Intelligence
Tác giả: Mario Alemi
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:  004.0151
 
1

Truy cập nhanh danh mục