close
1.

図書
図書
1. Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, selected papers
Dongming Wang (ed.)
出版情報: Berlin ; New York : Springer, c1997  234 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1360 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. The automation of reasoning with incomplete information : from semantic foundations to efficient computation (: pbk)
Torsten Schaub
出版情報: Berlin ; New York : Springer, c1997  xi, 159 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1409 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Recent advances in AI planning : 4th European Conference on Planning, ECP '97, Toulouse, France, September 24-26, 1997 : proceedings
Sam Steel, Rachid Alami, (eds.)
出版情報: Berlin : Springer, c1997  ix, 454 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1348 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. The economics of electronic commerce
Soon-Yong Choi, Dale O. Stahl, Andrew B. Whinston
出版情報: Indianapolis, Ind. : Macmillan Technical Pub., c1997  xxix, 626 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Electronic Commerce and the Internet / 1：
Characteristics of Digital Products and Processes / 2：
Internet Infrastructure and Pricing / 3：
Quality Uncertainty and Market Efficiency / 4：
Economic Aspects of Copyright Protection / 5：
Signaling Quality and Product Information / 6：
Consumers' Search for Information / 7：
Product Choices and Discriminatory Pricing / 8：
Financial Intermediaries and Electronic Commerce / 9：
Electronic Payment Systems / 10：
Business and Policy Implications of Electronic Commerce / 11：
Future Directions for Economic Research / 12：
Electronic Commerce and the Internet / 1：
Characteristics of Digital Products and Processes / 2：
Internet Infrastructure and Pricing / 3：
5.

図書
図書
5. Cryptography and coding : 6th IMA International Conference, Cirencester, UK, December 17-19, 1997 : proceedings
Michael Darnell (ed.)
出版情報: Berlin : Springer, c1997  ix, 334 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1355
所蔵情報: loading…
6.

図書
図書
6. Foundations of software technology and theoretical computer science : 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings
S. Ramesh, G. Sivakumar (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1997  xi, 343 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1346
所蔵情報: loading…
7.

図書
図書
7. Graph drawing : 5th International Symposium, GD'97, Rome, Italy, September 18-20, 1997 : proceedings
Giuseppe DiBattista (ed.)
出版情報: Berlin : Springer Verlag, c1997  xii, 448 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1353
所蔵情報: loading…
目次情報: 続きを見る
The 33 revised full papers and 10 systems demonstrations presented were selected from 80 submissions
The topics covered include planarity
crossing theory
three dimensional representations
orthogonal representations
clustering and labeling problems
packing problems
general methodologies
systems and applications
The 33 revised full papers and 10 systems demonstrations presented were selected from 80 submissions
The topics covered include planarity
crossing theory
8.

図書
図書
8. From multimedia services to network services : 4th International COST 237 Workshop, Lisboa, Portugal, December 15-19, 1997 : proceedings
André Danthine, Christophe Diot, eds
出版情報: Berlin ; New York : Springer, c1997  xii, 180 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1356
所蔵情報: loading…
9.

図書
図書
9. Computer vision, ACCV '98 : Third Asian Conference on Computer Vision, Hong Kong, China, January 8-10, 1998, proceedings (v. 1 ; v. 2)
Roland Chin, Ting-Chuen Pong (eds.)
出版情報: Berlin ; New York : Springer, c1997  2 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1351-1352
所蔵情報: loading…
目次情報: 続きを見る
The ACCV'98 volumes present together a total of 58
revised full papers and 112
revised posters selected from over 300 submissions
The papers are organized in topical sections on biometry
physics-based vision
color vision
robot vision and navigation
OCR and applications
low-level processing
active vision
face and hand posture recognition
segmentation and grouping
computer vision and virtual reality
motion analysis and object recognition and modeling
The ACCV'98 volumes present together a total of 58
revised full papers and 112
revised posters selected from over 300 submissions
10.

図書
図書
10. Automatic verification of sequential infinite-state processes
Olaf Burkart
出版情報: Berlin : Springer, c1997  x, 163 p.; 24 cm
シリーズ名: Lecture notes in computer science ; 1354
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Sequential Processes / 1.1：
Model Checking / 1.2：
Equivalence Checking / 1.3：
Organisation of This Book / 1.4：
Background / 2：
Fixpoint Theory / 2.1：
Ordered Sets / 2.2.1：
Fixpoint Theorems / 2.2.2：
Relations and Rewrite Systems / 2.3：
Relations / 2.3.1：
Rewrite Systems / 2.3.2：
Context-Free Languages / 2.4：
Processes and Labelled Transition Graphs / 2.5：
Behavioural Equivalences / 2.5.1：
Normedness and Determinism / 2.5.2：
Context-Free Processes / 2.6：
Syntax and Semantics / 2.6.1：
Normedness / 2.6.2：
Self-bisimulations / 2.6.3：
Pushdown Processes / 3：
Expressiveness / 3.1：
PDPA Laws / 3.4：
Pushdown Normal Form / 3.5：
Parallel Composition / 3.6：
Example / 3.6.1：
Parallel Decomposition and 2-PDNF / 3.7：
Related work / 3.8：
Context-Free Graphs / 3.8.1：
Prefix Transition Graphs / 3.8.2：
Pushdown Transition Graphs / 3.8.3：
Equational graphs / 3.8.4：
MSOL Definable Hypergraphs / 3.8.5：
BPA with the state operator / 3.8.6：
The Modal µ-Calculus / 4：
Syntax / 4.2.1：
Semantics / 4.2.2：
Continuity / 4.2.3：
Alternation Depth / 4.2.4：
Assertion-Based Semantics / 4.3：
A Motivating Example / 4.3.1：
Definition of Assertion-Based Semantics / 4.3.2：
Properties of Assertion-Based Semantics / 4.3.3：
Verifying Behavioural Properties / 4.4：
Hierarchical Equational µ-Formulas / 4.4.1：
The Model Checking Algorithm / 4.4.2：
A Working Example / 4.4.3：
Expressiveness of the modal µ-calculus / 4.5：
The Bisimulation Equivalence Problem / 5：
Separability / 5.3：
Deciding Bisimilarity of Normed BPA / 5.4：
A Bound for Separability / 5.5：
The Algorithm / 5.6：
Bisimulation Bases / 5.6.1：
The Computation of an Initial Base / 5.6.2：
The Branching Algorithm / 5.6.3：
Summary of the Decision Procedure / 5.6.4：
Summary and Perspectives / 6：
Summary of the Main Results / 6.1：
Perspectives / 6.2：
Regularity of Context-Free Processes / 6.2.1：
Index
Introduction / 1：
Sequential Processes / 1.1：
Model Checking / 1.2：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼