TOP
0
0
進階搜尋

熱搜：

超越音符：林俊傑20週年

、

葉嘉瑩

、

中華職棒雜誌⚾

、

伊薩卡島

、

瓊瑤

、

2025觀光行銷日曆

、

制度基因

、

2025三民手札

、

英雄聯盟奧術🔥

、

原子少年II寫真

、

冷氣團

、

1折起

熱搜： 超越音符：林俊傑20週年、 葉嘉瑩、 中華職棒雜誌⚾、 伊薩卡島、 瓊瑤、 2025觀光行銷日曆、 制度基因、 2025三民手札、 英雄聯盟奧術🔥 、 原子少年II寫真、 冷氣團、 1折起

165反詐騙

古典詩詞的女兒-葉嘉瑩

縮小範圍

商品類型
原文書 （12）
商品狀況
可訂購商品 （12）
庫存狀況
無庫存 （12）
商品定價
$800以上 （12）
出版日期
2016~2017 （1）
2016年以前 （11）
裝訂方式
平裝 （5）
精裝 （7）
作者
Donald Sannella/ Andrzej Tarlecki （2）
Areski Nait Abdallah （1）
Carlo A. Furia/ Dino Mandrioli/ Angelo Morzenti/ Matteo Rossi （1）
Ferdinando Cicalese （1）
Hartmut Ehrig/ Claudia Ermel/ Ulrike Golas/ Frank Hermann （1）
Hartmut Ehrig/ Karsten Ehrig/ Ulrike Prange/ Gabriele Taentzer （1）
Jan Paredaens/ Paul De Bra/ Marc Gyssens/ Dirk Van Gucht （1）
Javier Esparza/ Keijo Heljanko （1）
Jose L. Balcazar/ Josep Diaz/ Joaquim Gabarro （1）
Kenichi Morita （1）
Manfred Droste (EDT)/ Werner Kuich (EDT)/ Heiko Vogler (EDT) （1）
More
出版社/品牌
Springer-Verlag New York Inc （9）
Springer Verlag （3）

三民網路書店 / 搜尋結果

共12筆商品，1/1頁
Unfoldings ─ A Partial-Order Approach to Model Checking
1.

Unfoldings ─ A Partial-Order Approach to Model Checking

作者：Javier Esparza; Keijo Heljanko  出版社：Springer-Verlag New York Inc  出版日：2008/06/03 裝訂：精裝
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of th
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
The Logic of Partial Information
2.

The Logic of Partial Information

作者：Areski Nait Abdallah  出版社：Springer-Verlag New York Inc  出版日：2011/12/30 裝訂：平裝
One must be able to say at all times - in- stead of points, straight lines, and planes - tables, chairs and beer mugs. (David Hilbert) One service mathematics has rendered the human race. It has put c
若需訂購本書，請電洽客服
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]。
無法訂購
The Structure of the Relational Database Model
4.

The Structure of the Relational Database Model

作者：Jan Paredaens; Paul De Bra; Marc Gyssens; Dirk Van Gucht  出版社：Springer-Verlag New York Inc  出版日：2013/10/03 裝訂：平裝
This book presents an overview of the most fundamental aspects of the theory that underlies the Relational Database Model. As such it is self-contained though experience with formal models and abstrac
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Graph and Model Transformation ― General Framework and Applications
5.

Graph and Model Transformation ― General Framework and Applications

作者：Hartmut Ehrig; Claudia Ermel; Ulrike Golas; Frank Hermann  出版社：Springer Verlag  出版日：2015/12/30 裝訂：精裝
This book is a comprehensive explanation of graph and model transformation. After a detailed introduction, including references to the historical context, the book includes detailed chapters on adhesi
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Fundamentals of Algebraic Graph Transformation
6.

Fundamentals of Algebraic Graph Transformation

作者：Hartmut Ehrig; Karsten Ehrig; Ulrike Prange; Gabriele Taentzer  出版社：Springer Verlag  出版日：2006/02/10 裝訂：平裝
This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and ad
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Modeling Time in Computing
7.

Modeling Time in Computing

作者：Carlo A. Furia; Dino Mandrioli; Angelo Morzenti; Matteo Rossi  出版社：Springer-Verlag New York Inc  出版日：2012/10/19 裝訂：精裝
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Handbook of Weighted Automata
8.

Handbook of Weighted Automata

作者：Manfred Droste (EDT); Werner Kuich (EDT); Heiko Vogler (EDT)  出版社：Springer-Verlag New York Inc  出版日：2009/10/30 裝訂：精裝
Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, for example, the cost involved when executing a transition, the
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Foundations of Algebraic Specification and Formal Software Development
9.

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]。
無法訂購
Theory of Reversible Computing
10.

Theory of Reversible Computing

作者：Kenichi Morita  出版社：Springer-Verlag New York Inc  出版日：2017/11/17 裝訂：精裝
This book describes reversible computing from the standpoint of the theory of automata and computing. It investigates how reversibility can be effectively utilized in computing. A reversible computing
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Fault-tolerant Search Algorithms ─ Reliable Computation With Unreliable Information
11.

Fault-tolerant Search Algorithms ─ Reliable Computation With Unreliable Information

作者：Ferdinando Cicalese  出版社：Springer-Verlag New York Inc  出版日：2013/12/16 裝訂：精裝
Why a book on fault-tolerant search algorithms? Searching is one of the fundamental problems in computer science. Time and again algorithmic and combinatorial issues originally studied in the context
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Structural Complexity II
12.

Structural Complexity II

作者：Jose L. Balcazar; Josep Diaz; Joaquim Gabarro  出版社：Springer-Verlag New York Inc  出版日：2011/12/13 裝訂：平裝
This is the second volume of a two volume collection on Structural Complexity. This volume assumes as a prerequisite knowledge about the topics treated in Volume I, but the present volume itself is ne
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
  • 共

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