縮小範圍

商品類型

原文書（16）

商品狀況

可訂購商品（16）

庫存狀況

無庫存（16）

商品定價

$800以上（16）

出版日期

2018~2019 （1）

2016~2017 （1）

2016年以前（14）

裝訂方式

平裝（7）

精裝（9）

作者

D. Bjrner （2）

Arie M. C. A. Koster (EDT)/ Xavier Munoz (EDT) （1）

D. Bjorner （1）

Eric Badouel/ Luca Bernardinello/ Philippe Darondeau （1）

J. Flum/ M. Grohe （1）

出版社/品牌

Springer Verlag （9）

Springer-Verlag New York Inc （4）

Springer-Verlag Berlin and Heidelberg GmbH & Co. K （2）

Springer-Nature New York Inc （1）

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

關閉

共16筆商品，1/1頁

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]。

無法訂購

Parameterized Complexity Theory

作者：J. Flum; M. Grohe 出版社：Springer Verlag 出版日：2006/02/09 裝訂：平裝

This book is a state-of-the-art introduction into both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes. It presents detailed proof

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

無法訂購

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]。

無法訂購

90折

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

90折

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

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]。

無法訂購

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]。

無法訂購

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]。

無法訂購

90折

Simulation Algorithms for Computational Systems Biology

作者：Luca Marchetti; Corrado Priami; Vo Hong Thanh 出版社：Springer-Verlag New York Inc 出版日：2017/10/09 裝訂：精裝

This book explains the state-of-the-art algorithms used to simulate biological dynamics. Each technique is theoretically introduced and applied to a set of modeling cases. Starting from basic simulati

無庫存，下單後進貨(到貨天數約30-45天)

定價：3150 元，優惠價：9 2835

90折

10.

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

11.

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]。

無法訂購

12.

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]。

無法訂購

13.

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]。

無法訂購

14.

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

95折

15.

Modelling Distributed Systems

作者：Wan Fokkink 出版社：Springer-Verlag Berlin and Heidelberg GmbH & Co. K 出版日：2007/09/26 裝訂：精裝

無庫存，下單後進貨(到貨天數約45-60天)

定價：2899 元，優惠價：95 2754

95折

16.

Interactive Theorem Proving and Program Development：Coq'Art: The Calculus of Inductive Constructions

作者：Yves Bertot; Pierre Casteran 出版社：Springer-Verlag Berlin and Heidelberg GmbH & Co. K 出版日：2010/12/01 裝訂：平裝

無庫存，下單後進貨(到貨天數約45-60天)

定價：3769 元，優惠價：95 3581

共16 筆
1 頁

熱搜：

英雄聯盟奧術🔥

三民年度暢銷TOP100

毛澤東的親密戰友

滄海桑田

制度基因

不肯沉默的公雞

瓊瑤

強者破局

2025觀光行銷日曆

原子少年II寫真

縮小範圍

三民網路書店 / 搜尋結果

搜尋條件

Dissemination of Information in Communication Networks

Parameterized Complexity Theory

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

Petri Net Synthesis

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

Verification of Reactive Systems ― Formal Methods and Algorithms

Universal Artificial Intelligence ― Sequential Decisions Based On Algorithmic Probability

Software Engineering 3—Domains, Requirements, And Software Design

Simulation Algorithms for Computational Systems Biology

Models of Computation

Software Engineering 1 ─ Abstraction And Modelling

Software Engineering ─ Specification Of Systems And Languages

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

Design and Analysis of Randomized Algorithms ― Introduction to Design Paradigms

Modelling Distributed Systems

Interactive Theorem Proving and Program Development：Coq'Art: The Calculus of Inductive Constructions