TOP
0
0
進階搜尋

熱搜：

Meow

、

Monsters in the Dark

、

眼淚博物館

、

佛法是科學的終極典範

、

推薦電子書

、

2025故宮月曆

、

國慶日

、

重陽節

、

Maisy (降臨曆)

、

新基本小六法

、

熱帶低氣壓

、

萬聖節精選

熱搜： Meow 、 Monsters in the Dark、 眼淚博物館、 佛法是科學的終極典範、 推薦電子書、 2025故宮月曆、 國慶日、 重陽節、 Maisy (降臨曆)、 新基本小六法、 熱帶低氣壓、 萬聖節精選

165反詐騙

三民出版．新書搶先報｜最速、最優惠的新鮮貨報給你知！

縮小範圍

商品類型
原文書 （24）
商品狀況
可訂購商品 （24）
庫存狀況
無庫存 （24）
商品定價
$800以上 （24）
出版日期
2018~2019 （1）
2016~2017 （4）
2016年以前 （19）
裝訂方式
平裝 （7）
精裝 （17）
作者
D. Bjrner （2）
Klaus Schneider （2）
Roberto Bruni/ Ugo Montanari （2）
Arie M. C. A. Koster (EDT)/ Xavier Munoz (EDT) （1）
D. Bjorner （1）
Daniel Kroening/ Ofer Strichman （1）
Dennis Komm （1）
Eric Badouel/ Luca Bernardinello/ Philippe Darondeau （1）
Gheorghe Paun/ Grzegorz Rozenberg/ Arto Salomaa （1）
J. Flum/ M. Grohe （1）
J. Hromkovic/ I. Z_mecnikov_ (ILT) （1）
Jorg Rothe （1）
Juraj Hromkovic （1）
Juraj Hromkovic/ Ralf Klasing/ A. Pelc/ Peter Ruzicka/ Walter Unger （1）
Luca Marchetti/ Corrado Priami/ Vo Hong Thanh （1）
Marcus Hutter （1）
Peter Clote/ Evangelos Kranakis （1）
S. Ronchi Della Rocca/ Luca Paolini （1）
Wan Fokkink （1）
Yves Bertot,Pierre Casteran （1）
More
出版社/品牌
Springer Verlag （12）
Springer-Verlag New York Inc （9）
Springer-Verlag Berlin and Heidelberg GmbH & Co. K （2）
Springer-Nature New York Inc （1）

三民網路書店 / 搜尋結果

共24筆商品，1/2頁
The Parametric Lambda Calculus ― A Meta-Model for Computation
1.

The Parametric Lambda Calculus ― A Meta-Model for Computation

作者：S. Ronchi Della Rocca; Luca Paolini  出版社：Springer Verlag  出版日：2004/11/30 裝訂：精裝
The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of "sets of input values", and different lambda calculi
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
DNA Computing ― New Computing Paradigms
2.

DNA Computing ― New Computing Paradigms

作者：Gheorghe Paun; Grzegorz Rozenberg; Arto Salomaa  出版社：Springer Verlag  出版日：1998/10/01 裝訂：精裝
This is the first book on DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecules. The book starts with an introduction to
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Boolean Functions and Computation Models
3.

Boolean Functions and Computation Models

作者：Peter Clote; Evangelos Kranakis  出版社：Springer Verlag  出版日：2002/11/01 裝訂：精裝
The two internationally renowned authors elucidate the structure of "fast" parallel computation. Its complexity is emphasised through a variety of techniques ranging from finite combinatorics, probabi
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Models of Computation
90折
4.

Models of Computation

作者：Roberto Bruni; Ugo Montanari  出版社：Springer-Verlag New York Inc  出版日：2017/04/10 裝訂：精裝
This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accom
無庫存，下單後進貨(到貨天數約30-45天)
定價：3375 元， 優惠價：9 3038
Verification of Reactive Systems—Formal Methods and Algorithms
5.

Verification of Reactive Systems—Formal Methods and Algorithms

作者：Klaus Schneider  出版社：Springer-Verlag New York Inc  出版日：2003/12/01 裝訂：精裝
This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results o
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
An Introduction to Online Computation ― Determinism, Randomization, Advice
6.

An Introduction to Online Computation ― Determinism, Randomization, Advice

作者：Dennis Komm  出版社：Springer-Verlag New York Inc  出版日：2016/11/10 裝訂：精裝
This textbook explains online computation in different settings, with particular emphasis on the paging problem and advice complexity. The book is organized into chapters on randomization, advice comp
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Graphs and Algorithms in Communication Networks ─ Studies in Broadband, Optical, Wireless, and Ad Hoc Networks
7.

Graphs and Algorithms in Communication Networks ─ Studies in Broadband, Optical, Wireless, and Ad Hoc Networks

作者：Arie M. C. A. Koster (EDT); Xavier Munoz (EDT)  出版社：Springer-Verlag New York Inc  出版日：2009/11/01 裝訂：精裝
Algorithmic discrete mathematics plays a key role in the development of information and communication technologies, and methods that arise in computer science, mathematics and operations research – in
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Dissemination of Information in Communication Networks
8.

Dissemination of Information in Communication Networks

作者：Juraj Hromkovic; Ralf Klasing; A. Pelc; Peter Ruzicka; Walter Unger  出版社：Springer Verlag  出版日：2005/04/21 裝訂：平裝
Presents the background and context of all ideas, concepts, algorithms, analyses and arguments before discussing details.Accessible to both beginners as well as specialists.
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Software Engineering ─ Specification Of Systems And Languages
9.

Software Engineering ─ Specification Of Systems And Languages

作者：D. Bjorner  出版社：Springer Verlag  出版日：2006/04/30 裝訂：精裝
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly so
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Design and Analysis of Randomized Algorithms ― Introduction to Design Paradigms
10.

Design and Analysis of Randomized Algorithms ― Introduction to Design Paradigms

作者：J. Hromkovic; I. Z_mecnikov_ (ILT)  出版社：Springer Verlag  出版日：2005/07/16 裝訂：平裝
Systematically teaches key paradigmic algorithm design methodsProvides a deep insight into randomization
無庫存，下單後進貨(到貨天數約30-45天)
定價：3748 元， 優惠價：1 3748
Verification of Reactive Systems ― Formal Methods and Algorithms
11.

Verification of Reactive Systems ― Formal Methods and Algorithms

作者：Klaus Schneider  出版社：Springer-Verlag New York Inc  出版日：2010/12/07 裝訂：平裝
This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results on m-calculus, w-au
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Petri Net Synthesis
90折
12.

Petri Net Synthesis

作者：Eric Badouel; Luca Bernardinello; Philippe Darondeau  出版社：Springer Verlag  出版日：2015/11/11 裝訂：精裝
In this book, the authors focus our attention primarily on safe Petri nets and on place/transition nets (P/T-nets) with major sections dedicated to elementary net synthesis, types of nets, place/trans
無庫存，下單後進貨(到貨天數約45天)
定價：3000 元， 優惠價：9 2700
Universal Artificial Intelligence ― Sequential Decisions Based On Algorithmic Probability
13.

Universal Artificial Intelligence ― Sequential Decisions Based On Algorithmic Probability

作者：Marcus Hutter  出版社：Springer Verlag  出版日：2004/12/30 裝訂：精裝
Personal motivation. The dream of creating artificial devices that reach or outperform human inteUigence is an old one. It is also one of the dreams of my youth, which have never left me. What makes t
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Interactive Theorem Proving And Program Development ― Coq'art: The Calculus Of Inductive Constructions
14.

Interactive Theorem Proving And Program Development ― Coq'art: The Calculus Of Inductive Constructions

作者：Yves Bertot; Pierre CastTran; Gerard Huet (FRW); Christine Paulin-Mohring (FRW)  出版社：Springer Verlag  出版日：2004/06/30 裝訂：精裝
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Software Engineering 1 ─ Abstraction And Modelling
15.

Software Engineering 1 ─ Abstraction And Modelling

作者：D. Bjrner  出版社：Springer Verlag  出版日：2006/02/28 裝訂：精裝
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, eng
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Software Engineering 3—Domains, Requirements, And Software Design
16.

Software Engineering 3—Domains, Requirements, And Software Design

作者：D. Bjrner  出版社：Springer-Verlag New York Inc  出版日：2006/04/30 裝訂：精裝
The final installment in this three-volume set is based on this maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Theoretical Computer Science ― Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
90折
17.

Theoretical Computer Science ― Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography

作者：Juraj Hromkovic  出版社：Springer Verlag  出版日：2010/12/01 裝訂：平裝
Juraj Hromkovic takes the reader on an elegant route through the theoretical fundamentals of computer science. The author shows that theoretical computer science is a fascinating discipline, full of s
無庫存，下單後進貨(到貨天數約45天)
定價：3750 元， 優惠價：9 3375
Decision Procedures ― An Algorithmic Point of View
18.

Decision Procedures ― An Algorithmic Point of View

作者：Daniel Kroening; Ofer Strichman  出版社：Springer-Verlag New York Inc  出版日：2017/01/27 裝訂：精裝
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Complexity Theory And Cryptology ─ An Introduction To Cryptocomplexity
19.

Complexity Theory And Cryptology ─ An Introduction To Cryptocomplexity

作者：Jorg Rothe  出版社：Springer-Verlag New York Inc  出版日：2005/09/15 裝訂：精裝
Modern cryptology increasingly employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research topics in complexity theory are often motivated by questions an
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Models of Computation
90折
20.

Models of Computation

作者：Roberto Bruni; Ugo Montanari  出版社：Springer-Nature New York Inc  出版日：2018/07/18 裝訂：平裝
This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accom
無庫存，下單後進貨(到貨天數約30-45天)
定價：3375 元， 優惠價：9 3038
  • 共
  • 1
  • 2

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