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 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ỏ

iPad for the older and wiser [electronic resource] : get up and running with your Apple iPad, iPad Air and iPad mini
	Tác giả: Sean McManus, Mark Hattersley
	Xuất bản: Chichester West Sussex UK: John Wiley Sons, 2014
	Bộ sưu tập: Công nghệ thông tin
	eBook (epub) ddc:  004.1675  Thêm vào giỏ

Semantic Systems. The Power of AI and Knowledge Graphs : 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germa...
	Tác giả: Maribel Acosta, Maribel Acosta, Philippe Cudré-Mauroux, Philippe Cudré-Mauroux, Maria Maleshkova, Maria Maleshkova, Tassilo Pellegrini, Tassilo Pellegrini, Harald Sack, Harald Sack, York Sure-Vetter, York Sure-Vetter
	Xuất bản: Cham Switzerland: Springer Nature, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
	Tác giả: Irek Ulidowski, Carla Ferreira, Carla Ferreira, Ivan Lanese, Ivan Lanese, Ulrik Pagh Schultz, Ulrik Pagh Schultz, Irek Ulidowski
	Xuất bản: Cham Switzerland: Springer Nature, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004  Thêm vào giỏ

Cyber Security : 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers
	Tác giả: Wei Lu, Li Ding, Li Ding, Bo Lang, Bo Lang, Chao Li, Chao Li, Ruiguang Li, Ruiguang Li, Wei Lu, Qiaoyan Wen, Qiaoyan Wen, Weiping Wen, Weiping Wen, Hanbing Yan, Hanbing Yan, Yuqing Zhang, Yuqing Zhang, Yu Zhou, Yu Zhou
	Xuất bản: Singapore: Springer Nature, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, Septe...
	Tác giả: Michael Cochez, Michael Cochez, Madalina Croitoru, Madalina Croitoru, Pierre Marquis, Pierre Marquis, Sebastian Rudolph, Sebastian Rudolph
	Xuất bản: Cham Switzerland: Springer Nature, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Security in Computer and Information Sciences : First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers
	Tác giả: Erol Gelenbe, Paolo Campegiani, Paolo Campegiani, Tadeusz Czachórski, Tadeusz Czachórski, Erol Gelenbe, Sokratis K Katsikas, Sokratis K Katsikas, Ioannis Komnios, Ioannis Komnios, Luigi Romano, Luigi Romano, Dimitrios Tzovaras, Dimitrios Tzovaras
	Xuất bản: Cham: Springer Nature, 2018
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.8  Thêm vào giỏ

How AI Impacts Urban Living and Public Health : 17th International Conference, ICOST 2019, New York City, NY, USA, Octob...
	Tác giả: José Pagán, Bessam Abdulrazak, Bessam Abdulrazak, Hamdi Aloulou, Hamdi Aloulou, María Fernanda Cabrera, María Fernanda Cabrera, Mounir Mokhtari, Mounir Mokhtari, José Pagán
	Xuất bản: Cham Switzerland: Springer Nature, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  362.6  Thêm vào giỏ

Network
	Tác giả:
	Xuất bản: : MDPI AG, 2021
	Bộ sưu tập: Báo-Tạp chí
	ddc:   Thêm vào giỏ