| FindBook |
有 1 項符合
Applying Automated Theorem Proving to Computer Security的圖書 |
 |
Applying Automated Theorem Proving to Computer Security 作者：McElroy 出版社：Biblioscholar 出版日期：2012-11-09 語言：英文 規格：平裝 / 132頁 / 23.39 x 15.6 x 0.71 cm / 普通級/ 初版 |
博客來| 圖書館借閱 |
| 國家圖書館 | 全國圖書書目資訊網 | 國立公共資訊圖書館 | 電子書服務平台 | MetaCat 跨館整合查詢 |
| 臺北市立圖書館 | 新北市立圖書館 | 基隆市公共圖書館 | 桃園市立圖書館 | 新竹縣公共圖書館 |
| 苗栗縣立圖書館 | 臺中市立圖書館 | 彰化縣公共圖書館 | 南投縣文化局 | 雲林縣公共圖書館 |
| 嘉義縣圖書館 | 臺南市立圖書館 | 高雄市立圖書館 | 屏東縣公共圖書館 | 宜蘭縣公共圖書館 |
| 花蓮縣文化局 | 臺東縣文化處 |
|
|
圖書介紹 - 資料來源：博客來 評分：
圖書名稱：Applying Automated Theorem Proving to Computer Security
|
![三十六萬遍感恩的奇蹟：所有生命都是值得感激的存在！用心念的力量，向大自然學習幸福之道[感恩增修版]](https://cdn.kingstone.com.tw/book/images/product/20143/2014310018264/2014310018264m.jpg "三十六萬遍感恩的奇蹟：所有生命都是值得感激的存在！用心念的力量，向大自然學習幸福之道[感恩增修版]")
