Loại tài liệu:    Chỉ tìm trong: 
111-120 trong số 136 kết quả
Dynamics of Industrial Revolution 4.0: Digital Technology Transformation and Cultural Evolution : Proceedings of the 7th...
Tác giả: Ratri Wulandari, Riky Taufik Afif, Riky Taufik Afif, Rahmiati Aulia, Rahmiati Aulia, Vika Haristianti, Vika Haristianti, Gema Ari Prahara, Gema Ari Prahara, Idhar Resmadi, Idhar Resmadi, Ratri Wulandari, Aulia Ibrahim Yeru, Aulia Ibrahim Yeru
Xuất bản: Leiden The Netherlands: Taylor Francis, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  338.064
 
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
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:  670.42
 
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
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ở
eBook (pdf)
ddc:  004.24
 
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
 
Supercomputing Frontiers : 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings
Tác giả: David Abramson, David Abramson, Bronis R de Supinski, Bronis R de Supinski
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
 
Cyber-Physical Systems: A Model-Based Approach
Tác giả: Walid M Taha, Abd-Elhamid M Taha, Johan Thunberg
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: 
 
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as P...
Tác giả: Jan Friso Groote, Jan Friso Groote, Kim Guldstrand Larsen, Kim Guldstrand Larsen
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: 
 
Enhanced Living Environments : Algorithms, Architectures, Platforms, and Systems
Tác giả: Ivan Ganchev, Ciprian Dobre, Ciprian Dobre, Ivan Ganchev, Nuno M Garcia, Nuno M Garcia, Rossitza Goleva, Rossitza Goleva, Constandinos X Mavromoustakis, Constandinos X Mavromoustakis
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: 
 
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: 
 
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part o...
Tác giả: Jean Goubault-Larrecq, Jean Goubault-Larrecq, Barbara König, Barbara König
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 

Truy cập nhanh danh mục