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

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

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

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

內容簡介

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:9783031656262
  • 規格:平裝 / 23.5 x 15.49 cm / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
金石堂 - 今日66折
柴犬Nana和阿楞的幸福日常:與一狗二貓的三餐四季
作者:阿楞
出版社:如何出版社
出版日期:2022-10-01
66折: $ 257 
金石堂 - 今日66折
口罩:人間誌異(首刷限量水墨風口罩收納夾版)
66折: $ 238 
金石堂 - 今日66折
記述府城:水交社
66折: $ 185 
 
Taaze 讀冊生活 - 暢銷排行榜
張忠謀自傳全集(上下冊)
作者:張忠謀
出版社:遠見天下文化出版股份有限公司
出版日期:2024-11-29
$ 869 
金石堂 - 暢銷排行榜
afterglow 落日餘暉 (首刷限定版)(全)
作者:吾瀬わぎもこ
出版社:東立出版社
出版日期:2024-12-31
$ 179 
金石堂 - 暢銷排行榜
戀與製作人立牌吊飾D(許墨)
作者:台灣角川
出版社:角川精品
出版日期:2020-12-10
$ 266 
博客來 - 暢銷排行榜
我可能錯了:森林智者的最後一堂人生課
作者:比約恩.納提科.林德布勞 (Björn Natthiko Lindeblad, Caroline Bankler, Navid Modiri)
出版社:先覺
出版日期:2023-02-01
$ 355 
 
金石堂 - 新書排行榜
縈繞耳際的愛之旋律(全)
作者:野白ぐり
出版社:東立出版社
出版日期:2024-12-11
$ 119 
博客來 - 新書排行榜
城與不確定的牆(平裝)
作者:村上春樹
出版社:時報出版
出版日期:2024-11-23
$ 537 
博客來 - 新書排行榜
在紙船中入眠(上)
作者:八田 てき
出版社:尖端
出版日期:2024-12-10
$ 204 
金石堂 - 新書排行榜
獵人 38
作者:冨樫義博
出版社:東立出版社
出版日期:2025-01-31
$ 94 
 

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