TOP
0
0
進階搜尋

熱搜：

佛法是科學的終極典範

、

民主與兩岸動向

、

老公怎麼還不去死

、

爸爸的機械魚

、

DragonMasters 1-23

、

理想的讀本

、

法律與人生(鄰居篇)

、

永續發展相關規範與實務

、

新基本小六法

熱搜： 佛法是科學的終極典範、 民主與兩岸動向、 老公怎麼還不去死、 爸爸的機械魚、 DragonMasters 1-23、 理想的讀本、 法律與人生(鄰居篇)、 永續發展相關規範與實務、 新基本小六法

165反詐騙

【簡體曬書節】 單本79折，5本7折，優惠只到5/31，點擊此處看更多！

縮小範圍

商品類型
原文書 （5）
商品狀況
可訂購商品 （5）
庫存狀況
無庫存 （5）
商品定價
$800以上 （5）
出版日期
2020~2021 （1）
2016年以前 （4）
裝訂方式
平裝 （3）
精裝 （2）
作者
Donald Sannella/ Andrzej Tarlecki （2）
Donald Sannella （1）
Giuseppe F Italiano (EDT)/ Giovanni Pighizzini (EDT)/ Donald T. Sannella (EDT) （1）
Giuseppe F. Italiano (EDT)/ Giovanni Pighizzini (EDT)/ Donald T. Sannella (EDT) （1）
出版社/品牌
Springer Verlag （3）
Springer Nature （1）
Springer-Verlag New York Inc （1）

三民網路書店 / 搜尋結果

共5筆商品，1/1頁
Introduction to Computation: Haskell, Logic and Automata
1.

Introduction to Computation: Haskell, Logic and Automata

作者：Donald Sannella  出版社：Springer Nature  出版日：2021/08/10 裝訂：精裝
定價：2025 元， 優惠價：1 2025
無庫存，下單後進貨(到貨天數約30-45天)
Foundations of Algebraic Specification and Formal Software Development
2.

Foundations of Algebraic Specification and Formal Software Development

作者：Donald Sannella; Andrzej Tarlecki  出版社：Springer-Verlag New York Inc  出版日：2012/01/03 裝訂：精裝
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studyi
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Foundations of Algebraic Specification and Formal Software Development
3.

Foundations of Algebraic Specification and Formal Software Development

作者：Donald Sannella; Andrzej Tarlecki  出版社：Springer Verlag  出版日：2014/03/01 裝訂：平裝
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studyi
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Mathematical Foundations of Computer Science 2015 ― 40th International Symposium, Mfcs 2015, Milan, Italy, August 24-28, 2015, Proceedings
90折
4.

Mathematical Foundations of Computer Science 2015 ― 40th International Symposium, Mfcs 2015, Milan, Italy, August 24-28, 2015, Proceedings

作者：Giuseppe F. Italiano (EDT); Giovanni Pighizzini (EDT); Donald T. Sannella (EDT)  出版社：Springer Verlag  出版日：2015/08/18 裝訂：平裝
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, It
定價：3600 元， 優惠價：9 3240
無庫存，下單後進貨(到貨天數約45天)
Mathematical Foundations of Computer Science 2015 ― 40th International Symposium, Mfcs 2015, Milan, Italy, August 24-28, 2015, Proceedings
90折
5.

Mathematical Foundations of Computer Science 2015 ― 40th International Symposium, Mfcs 2015, Milan, Italy, August 24-28, 2015, Proceedings

作者：Giuseppe F Italiano (EDT); Giovanni Pighizzini (EDT); Donald T. Sannella (EDT)  出版社：Springer Verlag  出版日：2015/08/20 裝訂：平裝
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, It
定價：3200 元， 優惠價：9 2880
無庫存，下單後進貨(到貨天數約45天)
  • 共

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