語系:
繁體中文
English
說明(常見問題)
登入
語系
英文
(2)
書封
跳至 :
概要
|
書目資訊
|
主題
Akshay, S.
概要
作品:
0 作品在 2 項出版品 1 種語言
書目資訊
Automated technology for verification and analysis = 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.. Part II /
by: Akshay, S.; Sankaranarayanan, Sriram.; SpringerLink (Online service); Niemetz, Aina.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.. Part I /
by: Sankaranarayanan, Sriram.; Akshay, S.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Niemetz, Aina.
(書目-語言資料,印刷品)
主題
Software Engineering.
Artificial Intelligence.
Automatic theorem proving
Theory of Computation.
Computer Hardware.
Computer Engineering and Networks.
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入
