Loại tài liệu:
Chỉ tìm trong:
831-840 trong số 1184 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ở
|
|
|
|
|
|
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ở
|
|
|
|
|