購物比價找書網找車網
FindBook  
 有 1 項符合

Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part II

的圖書
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part II Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part II

作者:Gurfinkel 
出版社:Springer
出版日期:2024-07-25
語言:英文   規格:平裝 / 23.5 x 15.49 cm / 普通級/ 初版
圖書選購
型式價格供應商所屬目錄
 
$ 2999
博客來 博客來
人工智慧
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part II

內容簡介

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24-27, 2024.

The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.

 

詳細資料

  • ISBN:9783031656293
  • 規格:平裝 / 23.5 x 15.49 cm / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
 
博客來 - 暢銷排行榜
原子習慣:細微改變帶來巨大成就的實證法則
作者:詹姆斯‧克利爾 (James Clear)
出版社:方智
出版日期:2019-06-01
$ 260 
Taaze 讀冊生活 - 暢銷排行榜
緋色誘惑(7)(完結特裝版)
作者:山根綾乃、藤崎スグル
出版社:尖端出版
出版日期:2024-11-21
$ 699 
金石堂 - 暢銷排行榜
我不會免費跟妳上床(4)
作者:檜原フキ
出版社:台灣角川股份有限公司
出版日期:2024-11-14
$ 111 
博客來 - 暢銷排行榜
素食者【亞洲首部榮獲國際曼布克獎作品】
作者:韓江 (한강)
出版社:漫遊者文化
出版日期:2023-05-08
$ 300 
 
Taaze 讀冊生活 - 新書排行榜
彈一場完美戀愛影視改編小說(GagaOOLala台泰日合作BL話題台劇!同名劇改小說)
作者:A.Z.、柯映安、黃思蜜、鄒宛臻
出版社:春光
出版日期:2024-11-07
$ 299 
博客來 - 新書排行榜
神奇柑仔店17:消痛巧克力的危機
出版日期:2024-10-31
$ 284 
金石堂 - 新書排行榜
緋色誘惑(07)完
作者:山根綾乃
出版社:尖端漫畫
出版日期:2024-11-21
$ 128 
Taaze 讀冊生活 - 新書排行榜
引爆大潛能:讓個人潛力升級為集體能力的5大成功法則
作者:尚恩.艾科爾
出版社:時報文化出版企業股份有限公司
出版日期:2024-11-19
$ 252 
 

©2024 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策