TOP
0
0
進階搜尋

熱搜：

黃仁勳傳預購

、

職業棒球 第514期

、

太陽底下無難事

、

銀髮川柳

、

公務員每月一書

、

三民年度暢銷TOP100

、

Excel自學聖經

、

制度基因

、

曬書祭

、

年夜飯

、

勝天半子

熱搜： 黃仁勳傳預購、 職業棒球 第514期、 太陽底下無難事、 銀髮川柳、 公務員每月一書、 三民年度暢銷TOP100、 Excel自學聖經、 制度基因、 曬書祭、 年夜飯、 勝天半子

165反詐騙

2025新年快樂！買書領券省荷包

縮小範圍

商品類型
原文書 （28）
商品狀況
可訂購商品 （28）
庫存狀況
無庫存 （28）
商品定價
$800以上 （28）
出版日期
2017~2018 （2）
2017年以前 （26）
裝訂方式
平裝 （10）
精裝 （18）
作者
Donald Sannella/ Andrzej Tarlecki （2）
Areski Nait Abdallah （1）
Ariel Gabizn （1）
Carlo A. Furia/ Dino Mandrioli/ Angelo Morzenti/ Matteo Rossi （1）
David Gries/ Fred B. Schneider （1）
Dennis Shasha/ Yunyue Zhu （1）
Edsger W. Dijkstra （1）
Eike Best/ Raymond Devillers/ Maciej Koutny （1）
Enrique Castillo/ Jose M. Gutierrez/ Ali S. Hadi （1）
Eric C. R. Hehner （1）
Ferdinando Cicalese （1）
Franco P. Preparata/ Michael Ian Shamos （1）
Hartmut Ehrig/ Claudia Ermel/ Ulrike Golas/ Frank Hermann （1）
Hartmut Ehrig/ Karsten Ehrig/ Ulrike Prange/ Gabriele Taentzer （1）
J. M. Selig （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）
Josef Pieprzyk/ Thomas Hardjono/ Jennifer Seberry （1）
Kenichi Morita （1）
More
出版社/品牌
Springer-Verlag New York Inc （20）
Springer Verlag （8）

三民網路書店 / 搜尋結果

共28筆商品，1/2頁
On a Method of Multiprogramming
1.

On a Method of Multiprogramming

作者：W. H. J. Feijen; W. H. J. Van Gasteran; A. J. M. Feijen; A. J. M. Gasteran  出版社：Springer-Verlag New York Inc  出版日：1999/10/01 裝訂：精裝
Despite the interest in parallelism and parallel processing, there is a fundamental question that has remained largely unexplored, namely the question of how to design multiprograms (parallel programs
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
High Performance Discovery In Time Series: Techniques And Case Studies
2.

High Performance Discovery In Time Series: Techniques And Case Studies

作者：Dennis Shasha; Yunyue Zhu  出版社：Springer-Verlag New York Inc  出版日：2004/06/30 裝訂：精裝
Time-series data--data arriving in time order, or a data stream--can be found in fields such as physics, finance, music, networking, and medical instrumentation. Designing fast, scalable algorithms f
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Selected Writings on Computing ― A Personal Perspective
3.

Selected Writings on Computing ― A Personal Perspective

作者：Edsger W. Dijkstra  出版社：Springer-Verlag New York Inc  出版日：2011/11/11 裝訂：平裝
Since the summer of 1973, when I became a Burroughs Research Fellow, my life has been very different from what it had been before. The daily routine changed: instead of going to the University each da
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Active Rules in Database Systems
4.

Active Rules in Database Systems

作者：Norman W. Paton (EDT)  出版社：Springer-Verlag New York Inc  出版日：2012/09/05 裝訂：平裝
A timely survey of the field from the point of view of some of the subject's most active researchers. Divided into several parts organized by theme, the book first covers the underlying methodology re
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
A Practical Theory of Programming
5.

A Practical Theory of Programming

作者：Eric C. R. Hehner  出版社：Springer-Verlag New York Inc  出版日：2012/09/03 裝訂：平裝
Understanding programming and programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. The autho
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Expert Systems and Probabilistic Network Models
6.

Expert Systems and Probabilistic Network Models

作者：Enrique Castillo; Jose M. Gutierrez; Ali S. Hadi  出版社：Springer-Verlag New York Inc  出版日：2011/09/15 裝訂：平裝
Artificial intelligence and expert systems have seen a great deal of research in recent years, much of which has been devoted to methods for incorporating uncertainty into models. This book is devoted
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
String-Rewriting Systems
7.

String-Rewriting Systems

作者：Ronald V. Book; Friedrich Otto  出版社：Springer-Verlag New York Inc  出版日：2011/12/14 裝訂：平裝
The book represents an attempt by the authors to gather together the most fundamental results on string-rewriting systems. The goal is to explain these results in such a way that they can be understoo
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Geometric Fundamentals of Robotics
8.

Geometric Fundamentals of Robotics

作者：J. M. Selig  出版社：Springer Verlag  出版日：2005/01/30 裝訂：精裝
* Provides an elegant introduction to the geometric concepts that are important to applications in robotics* Includes significant state-of-the art material that reflects important advances, connecting
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Petri Net Algebra
9.

Petri Net Algebra

作者：Eike Best; Raymond Devillers; Maciej Koutny  出版社：Springer Verlag  出版日：2001/03/01 裝訂：精裝
In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people conduct their business. Moreover, it has
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Fundamentals of Computer Security
90折
10.

Fundamentals of Computer Security

作者：Josef Pieprzyk; Thomas Hardjono; Jennifer Seberry  出版社：Springer-Verlag New York Inc  出版日：2003/04/01 裝訂：精裝
This reference work looks at modern concepts of computer security. It introduces the basic mathematical background necessary to follow computer security concepts before moving on to modern development
無庫存，下單後進貨(到貨天數約30-45天)
定價：1300 元， 優惠價：9 1170
A Logical Approach to Discrete Math
11.

A Logical Approach to Discrete Math

作者：David Gries; Fred B. Schneider  出版社：Springer Verlag  出版日：1993/12/01 裝訂：精裝
Covers the usual topics in discrete math, however, the treatment is different in that formal logic is employed in each topic, rather than being viewed as another subject of study. Numerous worked out
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Process Algebras for Petri Nets ― The Alphabetization of Distributed Systems
12.

Process Algebras for Petri Nets ― The Alphabetization of Distributed Systems

作者：Roberto Gorrieri  出版社：Springer-Verlag New York Inc  出版日：2017/04/25 裝訂：精裝
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contrib
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Deterministic Extraction from Weak Random Sources
13.

Deterministic Extraction from Weak Random Sources

作者：Ariel Gabizn  出版社：Springer-Verlag New York Inc  出版日：2010/10/07 裝訂：精裝
A deterministic extractor is a function that extracts almost perfect random bits from a weak random source. In this research monograph the author constructs deterministic extractors for several types
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Coloured Petri Nets ― Basic Concepts, Analysis Methods and Practical Use
14.

Coloured Petri Nets ― Basic Concepts, Analysis Methods and Practical Use

作者：Kurt Jensen  出版社：Springer Verlag  出版日：1996/06/01 裝訂：精裝
The book gives a detailed and systematic introduction to high-level Petri nets that includes explanation, motivation, examples, and applications.The author is one of the leading authorities on Petri n
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Computational Geometry ― An Introduction
15.

Computational Geometry ― An Introduction

作者：Franco P. Preparata; Michael Ian Shamos  出版社：Springer Verlag  出版日：1991/01/01 裝訂：精裝
From the reviews: "This book offers a coherent treatment, at the graduate textbook level, of the field that has come to be known in the last decade or so as computational geometry. ... ... The book is
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Unfoldings ─ A Partial-Order Approach to Model Checking
16.

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
17.

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
18.

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
19.

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]。
無法訂購
Words and Graphs
20.

Words and Graphs

作者：Sergey Kitaev; Vadim Lozin  出版社：Springer-Verlag New York Inc  出版日：2015/11/28 裝訂：精裝
This is the first comprehensive introduction to the theory of word-representable graphs, a generalization of several classical classes of graphs, and a new topic in discrete mathematics. After ex
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
  • 共
  • 1
  • 2

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