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ỏ

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ỏ

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ỏ

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ỏ

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ỏ