Loại tài liệu:
Chỉ tìm trong:
941-950 trong số 1125 kết quả
|
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
|
|
Tác giả:
Alexandra Silva, K Rustan M Leino, K Rustan M Leino, Alexandra Silva
|
|
Xuất bản:
Cham Switzerland:
Springer Nature,
2021
|
Bộ sưu tập:
Tài liệu truy cập mở
|
|
|
|
|
|
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ở
|
|
|
|
|