Loại tài liệu:
Chỉ tìm trong:
171-180 trong số 224 kết quả
|
Integrating Data Science and Earth Science : Challenges and Solutions
|
|
Tác giả:
Laurens M Bouwer, Laurens M Bouwer, Doris Dransch, Doris Dransch, Stephan Frickenhaus, Stephan Frickenhaus, Jens Greinert, Jens Greinert, Diana Rechid, Diana Rechid, Roland Ruhnke, Roland Ruhnke
|
|
Xuất bản:
Cham:
Springer Nature,
2022
|
Bộ sưu tập:
Tài liệu truy cập mở
|
|
|
|
|
|
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Pa...
|
|
|
Tác giả:
Sharon Shoham, Sharon Shoham, Yakir Vizel, Yakir Vizel
|
|
Xuất bản:
Cham:
Springer Nature,
2022
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
|
|
|
|
|
International Symposium on Mathematics, Quantum Theory, and Cryptography : Proceedings of MQC 2019
|
|
Tác giả:
Tsuyoshi Takagi, Yasuhiko Ikematsu, Yasuhiko Ikematsu, Kazufumi Kimoto, Kazufumi Kimoto, Noboru Kunihiro, Noboru Kunihiro, Tsuyoshi Takagi, Keisuke Tanaka, Keisuke Tanaka, Masato Wakayama, Masato Wakayama
|
|
Xuất bản:
Singapore:
Springer Nature,
2021
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
|
|
|
|