Loại tài liệu:
Chỉ tìm trong:
461-470 trong số 667 kết quả
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Par...
|
|
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ở
|
|
|
Brain-Inspired Computing : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selecte...
|
|
Tác giả:
Katrin Amunts, Katrin Amunts, Lucio Grandinetti, Lucio Grandinetti, Thomas Lippert, Thomas Lippert, Nicolai Petkov, Nicolai Petkov
|
Xuất bản:
Cham, Switzerland:
Springer Nature
,
2021
|
Bộ sưu tập:
Tài liệu truy cập mở
|
|
|