Loại tài liệu:    Chỉ tìm trong: 
11-15 trong số 15 kết quả
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
 
Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Join...
Tác giả: Nobuko Yoshida, Nobuko Yoshida
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: 
 
Semantic Systems. In the Era of Knowledge Graphs : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Am...
Tác giả: Eva Blomqvist, Mehwish Alam, Mehwish Alam, Eva Blomqvist, Victor de Boer, Victor de Boer, Paul Groth, Paul Groth, Tobias Käfer, Tobias Käfer, Peter Kieseberg, Peter Kieseberg, Sabrina Kirrane, Sabrina Kirrane, Albert Meroño-Peñuela, Albert Meroño-Peñuela, Harshvardhan J Pandit, Harshvardhan J Pandit, Tassilo Pellegrini, Tassilo Pellegrini
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: 
 
Haptics: Science, Technology, Applications : 13th International Conference on Human Haptic Sensing and Touch Enabled Com...
Tác giả: Hasti Seifi, Alireza Abbasimoshaei, Alireza Abbasimoshaei, Knut Drewing, Knut Drewing, Gijs Huisman, Gijs Huisman, Astrid M L Kappers, Astrid M L Kappers, Thorsten A Kern, Thorsten A Kern, Claudio Pacchierotti, Claudio Pacchierotti, Oliver Schneider, Oliver Schneider, Hasti Seifi
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Cyber Security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers
Tác giả: Wei Lu, Chao Li, Chao Li, Wei Lu, Weiping Wen, Weiping Wen, Hanbing Yan, Hanbing Yan, Yuqing Zhang, Yuqing Zhang
Xuất bản: Singapore: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục