Loại tài liệu:
Chỉ tìm trong:
41-50 trong số 130 kết quả
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ở
|
|
|
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
|
|
Tác giả:
Jasmin Blanchette, Jasmin Blanchette, Laura Kovács, Laura Kovács, Dirk Pattinson, Dirk Pattinson
|
Xuất bản:
Cham:
Springer Nature
,
2022
|
Bộ sưu tập:
Tài liệu truy cập mở
|
|
|