Loại tài liệu:    Chỉ tìm trong: 
51-60 trong số 74 kết quả
Geoinformatics FCE CTU
Tác giả:
Xuất bản: Czech Technical University in Prague , 2015
Bộ sưu tập: Báo giấy
ddc: 
 
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: 
 
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: 
 
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
 
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: 
 
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: 
 
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: 
 
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: 
 
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
 
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
 

Truy cập nhanh danh mục