Loại tài liệu:    Chỉ tìm trong: 
501-510 trong số 1311 kết quả
Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Tác giả: Cyrille Artho, Axel Legay, Doron Peled
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:  005.1
 
Automated Technology for Verification and Analysis [electronic resource] : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Tác giả: Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
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:  005.1
 
Collaboration and Technology [electronic resource] : 23rd International Conference, CRIWG 2017, Saskatoon, SK, Canada, August 9-11, 2017, Proceedings
Tác giả: Carl Gutwin, Tomoo Inoue, Sergio F Ochoa, Julita Vassileva
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.3
 
Physical and logical security convergence powered by enterprise security management
Tác giả: Brian T Contos, Regis McKenna
Xuất bản: Burlington, MA: Syngress Publishing , 2007
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.8
 
Haptics: Science, Technology, Applications : 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6-9, 2020, Proceedings
Tác giả: Ilana Nisky, Jess Hartcher-O'Brien, Jess Hartcher-O'Brien, Ilana Nisky, Jeroen Smeets, Jeroen Smeets, Michaël Wiertlewski, Michaël Wiertlewski
Xuất bản: Cham, Switzerland: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Blockchain Technology and Application [electronic resource] : Third CCF China Blockchain Conference, CBCC 2020, Jinan, China, December 18-20, 2020, Revised Selected Papers
Tác giả: Zeguang Lu, Xianhua Song, Ke Xu, Jianming Zhu
Xuất bản: Singapore: Springer Nature Singapore : Imprint: Springer , 2021.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 
Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus Proceedings of FAIM 2022, June 19-23, 2022, Detroit, Michigan, USA
Tác giả: Kyoung-Yun Kim, Kyoung-Yun Kim, Leslie Monplaisir, Leslie Monplaisir, Jeremy Rickli, Jeremy Rickli
Xuất bản: Cham: Springer Nature , 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Intel Trusted Execution Technology for Server Platforms [electronic resource] : A Guide to More Secure Datacenters
Tác giả: William Futral, James Greene
Xuất bản: Springer Nature , 2013
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.8
 
Platform Embedded Security Technology Revealed [electronic resource] : Safeguarding the Future of Computing with Intel Embedded Security and Management Engine
Tác giả: Xiaoyu Ruan
Xuất bản: Springer Nature , 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 
Biomedical Informatics and Technology [electronic resource] : First International Conference, ACBIT 2013, Aizu-Wakamatsu, Japan, September 16-17, 2013. Revised Selected Papers
Tác giả: Danny Coomans, Kazuhisha Ichikawa, Xiaoyi Jiang, Mayumi Oyama-Higa, Tuan D Pham
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  610.285
 

Truy cập nhanh danh mục