Loại tài liệu:    Chỉ tìm trong: 
91-100 trong số 123 kết quả
Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Join...
Tác giả: Peter Müller, Peter Müller
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
 
Nordic Artificial Intelligence Research and Development 4th Symposium of the Norwegian AI Society, NAIS 2022, Oslo, Norw...
Tác giả: Evi Zouganeli, Pedro Lind, Pedro Lind, Gustavo Mello, Gustavo Mello, Anis Yazidi, Anis Yazidi, Evi Zouganeli
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Artificial Intelligence and Cognitive Science 30th Irish Conference, AICS 2022, Munster, Ireland, December 8-9, 2022, Re...
Tác giả: Luca Longo, Luca Longo, Ruairi O'Reilly, Ruairi O'Reilly
Xuất bản: Cham: Springer Nature , 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Supercomputing Frontiers : 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings
Tác giả: Dhabaleswar K Panda, Dhabaleswar K Panda
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.11
 
Dynamic Spectrum Management : From Cognitive Radio to Blockchain and Artificial Intelligence
Tác giả: Ying-Chang Liang
Xuất bản: Singapore: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  621.384
 
Software for Exascale Computing - SPPEXA 2016-2019
Tác giả: Hans-Joachim Bungartz, Hans-Joachim Bungartz, Wolfgang E Nagel, Wolfgang E Nagel, Philipp Neumann, Philipp Neumann, Severin Reiz, Severin Reiz, Benjamin Uekermann, Benjamin Uekermann
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: 
 
Datenflut und Informationskanäle
Tác giả: Heike Ortner, Daniel Pfurtscheller, Michaela Rizzolli, Andreas Wiesinger
Xuất bản: Innsbruck: innsbruck university press , 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
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
 

Truy cập nhanh danh mục