Practical Problems in VLSI Physical Design Automation elektronisk ressurs
	Tác giả: Sung Kyu Lim
	Xuất bản: Dordrecht: Springer Science + Business Media B.V , 2008
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.395  Thêm vào giỏ

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  Thêm vào giỏ

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  Thêm vào giỏ

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  Thêm vào giỏ

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  Thêm vào giỏ

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  Thêm vào giỏ

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  Thêm vào giỏ