Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSAC...
	Tác giả: Mikołaj Bojańczyk, Alex Simpson
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  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] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
	Tác giả: Shuvendu K Lahiri, Chao Wang
	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.1  Thêm vào giỏ

Eingebettete Systeme [electronic resource] : Grundlagen Eingebetteter Systeme in Cyber-Physikalischen Systemen
	Tác giả: Peter Marwedel
	Xuất bản: Wiesbaden: Springer Fachmedien Wiesbaden Imprint Springer Vieweg, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.6  Thêm vào giỏ

Cyber-Physical Systems: A Model-Based Approach [electronic resource]
	Tác giả: Walid M Taha, Abd-Elhamid M Taha, Johan Thunberg
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.6  Thêm vào giỏ

Brain-Inspired Computing [electronic resource] : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19,...
	Tác giả: Katrin Amunts, Lucio Grandinetti, Thomas Lippert, Nicolai Petkov
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.437  Thêm vào giỏ

Enhanced Living Environments [electronic resource] : Algorithms, Architectures, Platforms, and Systems
	Tác giả: Ciprian Dobre, Ivan Ganchev, Nuno M Garcia, Rossitza Goleva, Constandinos X Mavromoustakis
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.6  Thêm vào giỏ

Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSAC...
	Tác giả: Jean Goubault-Larrecq, Barbara König
	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:  511.3  Thêm vào giỏ

The Impact of Digital Technologies on Public Health in Developed and Developing Countries [electronic resource] : 18th I...
	Tác giả: Bessam Abdulrazak, Hamdi Aloulou, Mohamed Jmaiel, Slim Kallel, Mounir Mokhtari
	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.6  Thêm vào giỏ

Ein Physiologiemodell für Tactical Combat Casualty Care Training in mobilen Serious Games [electronic resource]
	Tác giả: Julia Hofmann
	Xuất bản: Wiesbaden: Springer Fachmedien Wiesbaden Imprint Springer Vieweg, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004  Thêm vào giỏ