Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
	Tác giả: Alexander Ivrii, Alexander Ivrii, Ofer Strichman, Ofer Strichman
	Xuất bản: Vienna: TU Wien Academic Press, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
	Tác giả: Ruzica Piskac, Ruzica Piskac, Michael Whalen, Michael Whalen
	Xuất bản: Vienna: TU Wien Academic Press, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

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

The Huawei and Snowden Questions : Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor ...
	Tác giả: Olav Lysne
	Xuất bản: Cham Switzerland: Springer Nature, 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.8  Thêm vào giỏ

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

Special Topics in Information Technology
	Tác giả:
	Xuất bản: Cham: Springer Nature, 2024
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Digital Twin Architectures, Networks, and Applications
	Tác giả:
	Xuất bản: Cham: Springer Nature, 2024
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Apache CloudStack Cloud computing : leverage the power of CloudStack and learn to extend the CloudStack environment
	Tác giả: Navin Sabharwal, Ravi Shankar
	Xuất bản: Birmingham: Packt Pub, 2013
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  004.6782  Thêm vào giỏ

Rule based systems for big data : a machine learning approach
	Tác giả: Han Liu, Mihaela Cocea, Alexander Gegov
	Xuất bản: Cham: Springer, 2015
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  004.21  Thêm vào giỏ

The systemic image : a new theory of interactive real-time simulations
	Tác giả: Inge HinterwaldnerInge Hinterwaldner
	Xuất bản: London Cambridge Massachusetts: The MIT Press, 2017
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  700.41  Thêm vào giỏ