Array
	Tác giả:
	Xuất bản: Elsevier , 2020
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ

Journal of King Saud University: Computer and Information Sciences
	Tác giả:
	Xuất bản: Elsevier , 2016
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ

International Journal of Cognitive Computing in Engineering
	Tác giả:
	Xuất bản: KeAi Communications Co., Ltd , 2021
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ

The darkest hour [electronic resource]
	Tác giả: Maya Banks
	Xuất bản: New York: Berkley Sensation , 2011.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (epub) ddc:  813  Thêm vào giỏ

Dead or alive [downloadable e-book]
	Tác giả: Tom Clancy, Grant Blackwood
	Xuất bản: New York: Putnam , 2010
	Bộ sưu tập: Văn học
	eBook (pdf) ddc:  813  Thêm vào giỏ

Cold War Anthropology The CIA, the Pentagon, and the Growth of Dual Use Anthropology
	Tác giả: David H Price
	Xuất bản: Baltimore, Md: Project MUSE , 2016
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  301.09730904  Thêm vào giỏ

Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	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, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice
	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ỏ

Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
	Tác giả: Isil Dillig, Serdar Tasiran
	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.1  Thêm vào giỏ

Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice
	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ỏ