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ỏ

Foundations of Software Science and Computation Structures [electronic resource] : 21st International Conference, FOSSAC...
	Tác giả: Christel Baier, Ugo Dal Lago
	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ỏ

Reversible Computation: Extending Horizons of Computing [electronic resource] : Selected Results of the COST Action IC14...
	Tác giả: Carla Ferreira, Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski
	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:  621.395  Thêm vào giỏ

Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Par...
	Tác giả: Amal Ahmed
	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.13  Thêm vào giỏ

Computer and Information Sciences [electronic resource] : 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings
	Tác giả: Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent
	Xuất bản: New York, NY: Springer Nature , 2016
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.7  Thêm vào giỏ

Manager's guide to Sharepoint server 2016 : tutorials, solutions, and best practices
	Tác giả:
	Xuất bản: New York, NY: Springer Science+Business Media , 2017.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.78  Thêm vào giỏ

Medical Imaging Systems [electronic resource] : An Introductory Guide
	Tác giả: Vincent Christlein, Joachim Hornegger, Andreas Maier, Stefan Steidl
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  006.6  Thêm vào giỏ

Cyber Security [electronic resource] : 15th International Annual Conference, CNCERT 2018, Beijing, China, August 14-16, ...
	Tác giả: Li Ding, Bo Lang, Jia Li, Weiping Wen, Hanbing Yan, Xiaochun Yun, Yu Zhou
	Xuất bản: Singapore: Springer Singapore : Imprint: Springer , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.8  Thêm vào giỏ

How AI Impacts Urban Living and Public Health [electronic resource] : 17th International Conference, ICOST 2019, New Yor...
	Tác giả: Bessam Abdulrazak, Hamdi Aloulou, Cabrera María Fernanda, Mounir Mokhtari, Pagán José
	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ỏ