語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
語系
英文
(4)
書封
跳至 :
概要
|
書目資訊
|
主題
Rakamarić, Zvonimir.
概要
作品:
1 作品在 4 項出版品 1 種語言
書目資訊
Computer aided verification37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.Part IV /
by: (1998 :); Piskac, Ruzica.; Rakamarić, Zvonimir.; SpringerLink (Online service)
(書目-電子資源)
Computer aided verification37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.Part III /
by: (1998 :); Piskac, Ruzica.; Rakamarić, Zvonimir.; SpringerLink (Online service)
(書目-電子資源)
Computer aided verification37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.Part I /
by: (1998 :); Piskac, Ruzica.; Rakamarić, Zvonimir.; SpringerLink (Online service)
(書目-電子資源)
Computer aided verification37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025 : proceedings.Part II /
by: (1998 :); Piskac, Ruzica.; Rakamarić, Zvonimir.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Computer software
Artificial Intelligence.
Design and Analysis of Algorithms.
處理中
...
變更密碼
登入
