Loại tài liệu:    Chỉ tìm trong: 
81-90 trong số 203 kết quả
Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July ...
Tác giả: Shuvendu K Lahiri, Chao Wang
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Par...
Tác giả: Amal Ahmed
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.13
 
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedin...
Tác giả: Shuvendu K Lahiri, Shuvendu K Lahiri, Chao Wang, Chao Wang
Xuất bản: Cham Switzerland: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.24
 
Virtual Reality & Intelligent Hardware
Tác giả:
Xuất bản: : KeAi Communications Co Ltd, 2020
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Advances in computers. volume 82 elektronisk ressurs
Tác giả:
Xuất bản: Amsterdam Boston: ElsevierAcademic Press, 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004
 
Sensors, Signal and Image Processing in Biomedicine and Assisted Living
Tác giả: Dimitris Iakovidis, Dimitris Iakovidis
Xuất bản: Basel Switzerland: MDPI Multidisciplinary Digital Publishing Institute, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Energy Efficient Servers [electronic resource] : Blueprints for Data Center Optimization
Tác giả: Corey Gough, Winston Saunders, Ian Steiner
Xuất bản: : Apress, 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 
Advanced Distribution Management System (ADMS) Evaluations with Private LTE Communication Networks [electronic resource]
Tác giả:
Xuất bản: Washington DC Oak Ridge Tenn: United States Dept of Energy Office of Energy Efficiency and Renewable Energy Distributed by the Office of Scientific and Technical Information US Dept of Energy, 2019
Bộ sưu tập: Metadata
ddc:  333.79
 
MultispeQ Beta [electronic resource] : a tool for large-scale plant phenotyping connected to the open PhotosynQ network
Tác giả:
Xuất bản: Washington DC Oak Ridge Tenn: United States Dept of Energy Office of Science Distributed by the Office of Scientific and Technical Information US Dept of Energy, 2016
Bộ sưu tập: Metadata
ddc:  631.5
 
Digital Health Transformation, Smart Ageing, and Managing Disability 20th International Conference, ICOST 2023, Wonju, S...
Tác giả: Kim Jongbae, Bessam Abdulrazak, Bessam Abdulrazak, Hamdi Aloulou, Hamdi Aloulou, Kim Jongbae, Mounir Mokhtari, Mounir Mokhtari, Lee Seungbok, Lee Seungbok
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 

Truy cập nhanh danh mục