Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
81-90 trong số 1932 kết quả
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
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 Event, July 12-15, 2021, Proceedings
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ỏ
 
Brain-Inspired Computing [electronic resource] : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers
Tác giả: Katrin Amunts, Lucio Grandinetti, Thomas Lippert, Nicolai Petkov
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.437
 Thêm vào giỏ
 
Magnetism and Accelerator-Based Light Sources [electronic resource] : Proceedings of the 7th International School ''Synchrotron Radiation and Magnetism'', Mittelwihr (France), 2018
Tác giả: Bulou Hervé, Loïc Joly, Jean-Michel Mariot, Fabrice Scheurer
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  621.36
 Thêm vào giỏ
 
VR Technologies in Cultural Heritage [electronic resource] : First International Conference, VRTCH 2018, Brasov, Romania, May 29-30, 2018, Revised Selected Papers
Tác giả: Marcello Carrozzino, Duguleană Mihai, Matjaž Gams, Iulian Tanea
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  003.3
 Thêm vào giỏ
 
Cloud Computing and Services Science [electronic resource] : Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers
Tác giả: Ivan Ivanov, Frank Leymann, Tony Shan, Marten Sinderen
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Big Data Analytics [electronic resource] : Second International Conference, BDA 2013, Mysore, India, December 16-18, 2013, Proceedings
Tác giả: Vasudha Bhatnagar, Srinath Srinivasa
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.312
 Thêm vào giỏ
 
Combinatorial Optimization and Applications [electronic resource] : 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings
Tác giả: Peter Widmayer, Yinfeng Xu, Binhai Zhu
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  518.1
 Thêm vào giỏ
 
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
Tác giả: Georges Gonthier, Michael Norrish
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Beyond Databases, Architectures, and Structures [electronic resource] : 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings
Tác giả: Pawel Kasprowski, Daniel Kostrzewa, Stanislaw Kozielski, Bożena Małysiak-Mrozek, Dariusz Mrozek
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.74
 Thêm vào giỏ
 
Trước 7 8 9 10 11 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ á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ĩ
Media