TOP
0
0
進階搜尋

熱搜：

哥吉拉大解剖圖鑑

、

UFO Cat

、

難哄

、

節能LED燈泡

、

史坎德3新上市

、

2025線上國際書展

、

特價字典展

、

國文爆卦公社２

、

公務員每月一書

熱搜： 哥吉拉大解剖圖鑑、 UFO Cat、 難哄、 節能LED燈泡、 史坎德3新上市、 2025線上國際書展、 特價字典展、 國文爆卦公社２、 公務員每月一書

165反詐騙

購書領優惠，滿額享折扣!

縮小範圍

商品類型
原文書 （2）
商品狀況
可訂購商品 （2）
庫存狀況
無庫存 （2）
商品定價
$800以上 （2）
出版日期
2017~2018 （1）
2017年以前 （1）
裝訂方式
平裝 （1）
精裝 （1）
作者
Antonin Kucera (EDT)/ Thomas A. Henzinger (EDT)/ Jaroslav Nesetril (EDT)/ Tomas Vojnar (EDT)/ David Antos (EDT) （1）
Edmund M. Clarke (EDT)/ Thomas A. Henzinger (EDT)/ Helmut Veith (EDT) （1）
出版社/品牌
Springer Verlag （1）
Springer-Verlag New York Inc （1）

三民網路書店 / 搜尋結果

共2筆商品，1/1頁
Handbook of Model Checking
1.

Handbook of Model Checking

作者：Edmund M. Clarke (EDT); Thomas A. Henzinger (EDT); Helmut Veith (EDT)  出版社：Springer-Verlag New York Inc  出版日：2018/03/20 裝訂：精裝
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Mathematical and Engineering Methods in Computer Science ― 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
2.

Mathematical and Engineering Methods in Computer Science ― 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

作者：Antonin Kucera (EDT); Thomas A. Henzinger (EDT); Jaroslav Nesetril (EDT); Tomas Vojnar (EDT); David Antos (EDT)  出版社：Springer Verlag  出版日：2013/01/09 裝訂：平裝
This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012.The 13
無庫存，下單後進貨(到貨天數約30-45天)
定價：3600 元， 優惠價：1 3600
  • 共

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品