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ỏ

Security of Ubiquitous Computing Systems [electronic resource] : Selected Topics
	Tác giả: Gildas Avoine, Julio Hernandez-Castro
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.8  Thêm vào giỏ

Multiple-Aspect Analysis of Semantic Trajectories [electronic resource] : First International Workshop, MASTER 2019, Hel...
	Tác giả: Stan Matwin, Chiara Renso, Konstantinos Tserpes
	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:  006.31  Thêm vào giỏ

Dependable Embedded Systems [electronic resource]
	Tác giả: Nikil Dutt, Jörg Henkel
	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:  621.3815  Thêm vào giỏ

Musical Haptics [electronic resource]
	Tác giả: Stefano Papetti, Charalampos Saitis
	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:  005.437  Thêm vào giỏ

Digital Video Concepts, Methods, and Metrics [electronic resource] : Quality, Compression, Performance, and Power Trade-...
	Tác giả: Shahriar Akramullah
	Xuất bản: Berkeley CA: Apress Imprint Apress, 2014
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.6  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ở
	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ỏ