Journal of Data Science
	Tác giả:
	Xuất bản: School of Statistics, Renmin University of China , 2022
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ

Nghiên cứu phát triển mô hình động học cho robot dẫn động vi sai = Research and develop kinematic models ...
	Tác giả: Xuân Hậu Vũ
	Xuất bản: Tạp chí Giao thông vận tải , 2024
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:  629.8  Thêm vào giỏ

Manifold Learning Model Reduction in Engineering
	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ỏ

Entity-Oriented Search
	Tác giả: Krisztian Balog
	Xuất bản: Cham: Springer Nature , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  025.04  Thêm vào giỏ

A Circular Built Environment in the Digital Age
	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ỏ

Bayes Factors for Forensic Decision Analyses with R
	Tác giả: Silvia Bozza, Alex Biedermann, Franco Taroni
	Xuất bản: Cham: Springer Nature , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Control Systems and Computers
	Tác giả:
	Xuất bản: International Research and Training Center for Information Technologies and Systems of NASU and MESU , 2020
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Par...
	Tác giả: Alexandra Silva, K Rustan M Leino, K Rustan M Leino, Alexandra Silva
	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ỏ

Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, ...
	Tác giả: K Rustan M Leino, Alexandra Silva
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Automated Deduction - CADE 28 [electronic resource] : 28th International Conference on Automated Deduction, Virtual Even...
	Tác giả: Platzer André, Geoff Sutcliffe
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ