Vietnam English Japanese
 Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
1851-1860 trong số 2249 kết quả
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ỏ
 
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, P...
Tác giả: André Platzer, André Platzer, Geoff Sutcliffe, Geoff Sutcliffe
Xuất bản: Cham, Switzerland: Springer Nature , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as P...
Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
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: 
 Thêm vào giỏ
 
How AI Impacts Urban Living and Public Health : 17th International Conference, ICOST 2019, New York City, NY, USA, Octob...
Tác giả: José Pagán, Bessam Abdulrazak, Bessam Abdulrazak, Hamdi Aloulou, Hamdi Aloulou, María Fernanda Cabrera, María Fernanda Cabrera, Mounir Mokhtari, Mounir Mokhtari, José Pagán
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:  362.6
 Thêm vào giỏ
 
Elements of Robotics [electronic resource]
Tác giả: Mordechai Ben-Ari, Francesco Mondada
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:  006.3
 Thêm vào giỏ
 
Automated Machine Learning [electronic resource] : Methods, Systems, Challenges
Tác giả: Frank Hutter, Lars Kotthoff, Joaquin Vanschoren
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:  006.3
 Thêm vào giỏ
 
AI based Robot Safe Learning and Control [electronic resource]
Tác giả: Xuefeng Zhou, Taobo Cheng, Shuai Li, Xiaojing Lv, Hongmin Wu, Zhihao Xu
Xuất bản: Singapore: Springer Singapore : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  629.892
 Thêm vào giỏ
 
Linked Open Data -- Creating Knowledge Out of Interlinked Data [electronic resource] : Results of the LOD2 Project
Tác giả: Sören Auer, Volha Bryl, Sebastian Tramp
Xuất bản: New York: Springer International Publishing (Verlag , 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.74
 Thêm vào giỏ
 
Datenreiche Medizin und das Problem der Einwilligung [electronic resource] : Ethische, rechtliche und sozialwissenschaft...
Tác giả: Alena Buyx, Sebastian Graf von Kielmansegg, Wulf Loh, Gesine Richter
Xuất bản: Berlin, Germany: Springer Nature , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  613
 Thêm vào giỏ
 
Enhanced Living Environments : Algorithms, Architectures, Platforms, and Systems
Tác giả: Ivan Ganchev, Ciprian Dobre, Ciprian Dobre, Ivan Ganchev, Nuno M Garcia, Nuno M Garcia, Rossitza Goleva, Rossitza Goleva, Constandinos X Mavromoustakis, Constandinos X Mavromoustakis
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: 
 Thêm vào giỏ
 
Trước 184 185 186 187 188 Tiếp

Truy cập nhanh danh mục

Media
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Sách tham khảo