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: 
501-510 trong số 659 kết quả
Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant
Tác giả: Adam Chlipala
Xuất bản: Cambridge: The MIT Press , 2013
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Security and Privacy in Blockchains and the IoT
Tác giả: Christoph Stach, Christoph Stach
Xuất bản: Basel: MDPI - Multidisciplinary Digital Publishing Institute , 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Challenges and Opportunity with Big Data [electronic resource] : 19th Monterey Workshop 2016, Beijing, China, October 8 ...
Tác giả: Fabrice Kordon, Lei Ren, Lin Zhang
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Artificial General Intelligence [electronic resource] : 11th International Conference, AGI 2018, Prague, Czech Republic,...
Tác giả: Arthur Franz, Ben Goertzel, Matthew Iklé, Rafal Rzepka
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 Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los ...
Tác giả: Shuvendu K Lahiri, Chao Wang
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.1
 Thêm vào giỏ
 
Combinatorial Image Analysis [electronic resource] : 19th International Workshop, IWCIA 2018, Porto, Portugal, November ...
Tác giả: Reneta P Barneva, Valentin E Brimkov, João Manuel RS Tavares
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.37
 Thêm vào giỏ
 
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 24th International Conference, TA...
Tác giả: Hans De Nivelle
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Cloud Computing and Big Data [electronic resource] : Second International Conference, CloudCom-Asia 2015, Huangshan, Chi...
Tác giả: Ching-Hsien Hsu, Weizhong Qiang, Xianghan Zheng
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.74
 Thêm vào giỏ
 
Central European Functional Programming School [electronic resource] : 5th Summer School, CEFP 2013, Cluj-Napoca, Romani...
Tác giả: Lehel Csató, Zoltán Horváth, Viktória Zsók
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.11
 Thêm vào giỏ
 
Cloud Based 5G Wireless Networks [electronic resource]
Tác giả: Yin Zhang, Min Chen
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 Thêm vào giỏ
 
Trước 49 50 51 52 53 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