Loại tài liệu:    Chỉ tìm trong: 
61-70 trong số 78 kết quả
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Tác giả: Alexander Ivrii, Alexander Ivrii, Ofer Strichman, Ofer Strichman
Xuất bản: Vienna: TU Wien Academic Press, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Tác giả: Ruzica Piskac, Ruzica Piskac, Michael Whalen, Michael Whalen
Xuất bản: Vienna: TU Wien Academic Press, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
CyberParks - The Interface Between People, Places and Technology : New Approaches and Perspectives
Tác giả: Carlos Smaniotto Costa, Michiel de Lange, Michiel de Lange, Martijn de Waal, Martijn de Waal, Konstantinos Ioannidis, Konstantinos Ioannidis, Therese Kenna, Therese Kenna, Gabriela Maksymiuk, Gabriela Maksymiuk, Carlos Smaniotto Costa, Ina Šuklje Erjavec, Ina Šuklje Erjavec
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
The Impact of Digital Technologies on Public Health in Developed and Developing Countries : 18th International Conferenc...
Tác giả: Mohamed Jmaiel, Bessam Abdulrazak, Bessam Abdulrazak, Hamdi Aloulou, Hamdi Aloulou, Mohamed Jmaiel, Slim Kallel, Slim Kallel, Mounir Mokhtari, Mounir Mokhtari
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: 
 
Semantic Systems. The Power of AI and Knowledge Graphs : 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germa...
Tác giả: Maribel Acosta, Maribel Acosta, Philippe Cudré-Mauroux, Philippe Cudré-Mauroux, Maria Maleshkova, Maria Maleshkova, Tassilo Pellegrini, Tassilo Pellegrini, Harald Sack, Harald Sack, York Sure-Vetter, York Sure-Vetter
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
Tác giả: Irek Ulidowski, Carla Ferreira, Carla Ferreira, Ivan Lanese, Ivan Lanese, Ulrik Pagh Schultz, Ulrik Pagh Schultz, Irek Ulidowski
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:  004
 
Cyber Security : 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers
Tác giả: Wei Lu, Li Ding, Li Ding, Bo Lang, Bo Lang, Chao Li, Chao Li, Ruiguang Li, Ruiguang Li, Wei Lu, Qiaoyan Wen, Qiaoyan Wen, Weiping Wen, Weiping Wen, Hanbing Yan, Hanbing Yan, Yuqing Zhang, Yuqing Zhang, Yu Zhou, Yu Zhou
Xuất bản: Singapore: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
The Amazing Journey of Reason : from DNA to Artificial Intelligence
Tác giả: Mario Alemi
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  155.7
 
High-Performance Modelling and Simulation for Big Data Applications : Selected Results of the COST Action IC1406 cHiPSet
Tác giả: Joanna Kołodziej, Horacio González-Vélez, Horacio González-Vélez, Joanna Kołodziej
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.11
 
How AI Impacts Urban Living and Public Health : 17th International Conference, ICOST 2019, New York City, NY, USA, Octob...
Tác giả: José Pagán, Bessam Abdulrazak, Bessam Abdulrazak, Hamdi Aloulou, Hamdi Aloulou, María Fernanda Cabrera, María Fernanda Cabrera, Mounir Mokhtari, Mounir Mokhtari, José Pagán
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  362.6
 

Truy cập nhanh danh mục