Jurnal Ilmiah Informatika
	Tác giả:
	Xuất bản: : Fakultas Sains dan Teknologi Universitas Ibrahimy, 2022
	Bộ sưu tập: Báo-Tạp chí
	ddc:   Thêm vào giỏ

Jurnal Data Mining dan Sistem Informasi
	Tác giả:
	Xuất bản: : Universitas Teknokrat Indonesia, 2022
	Bộ sưu tập: Báo-Tạp chí
	ddc:   Thêm vào giỏ

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

Frontiers in Robotics and AI
	Tác giả:
	Xuất bản: : Frontiers Media SA, 2015
	Bộ sưu tập: Báo-Tạp chí
	ddc:   Thêm vào giỏ

Internet of Things and Cyber-Physical Systems
	Tác giả:
	Xuất bản: : KeAi Communications Co Ltd, 2023
	Bộ sưu tập: Báo-Tạp chí
	ddc:   Thêm vào giỏ

Complex & Intelligent Systems
	Tác giả:
	Xuất bản: : Springer, 2022
	Bộ sưu tập: Báo-Tạp chí
	ddc:   Thêm vào giỏ

AI Open
	Tác giả:
	Xuất bản: : KeAi Communications Co Ltd, 2021
	Bộ sưu tập: Báo-Tạp chí
	ddc:   Thêm vào giỏ

Telecom
	Tác giả:
	Xuất bản: : MDPI AG, 2020
	Bộ sưu tập: Báo-Tạp chí
	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-Tạp chí
	ddc:   Thêm vào giỏ

Lontar Komputer
	Tác giả:
	Xuất bản: : Udayana University Institute for Research and Community Services, 2016
	Bộ sưu tập: Báo-Tạp chí
	ddc:   Thêm vào giỏ