close
1.

図書
図書
1. Das EU-Bibliotheksprogramm : Leitfaden mit Hintergrundinformationen für Antragsteller = The EU libraries programme : guide with background notes for proposers
[zsgest. und bearb. von Christoph Albers]. Deutsches Bibliotheksinstitut
出版情報: Berlin : Dt. Bibliotheksinst, 1996  153 p. ; 21 cm
所蔵情報: loading…
2.

図書
図書
2. 発明と特許制度 : 発明が生れたら特許制度を利用しよう
阿部哲朗著
出版情報: 東京 : 発明協会, 1996.12  viii,137p ; 21cm
所蔵情報: loading…
3.

図書
図書
3. Probability and statistical inference
Robert Bartoszyński and Magdalena Niewiadomska-Bugaj
出版情報: New York : Wiley, c1996  xvi, 826 p. ; 25 cm
シリーズ名: Wiley series in probability and mathematical statistics ; . Probability and statistics
所蔵情報: loading…
目次情報: 続きを見る
Experiments, Sample Spaces, and Events
Probability
Combinatorial Probability
Conditional Probability
Independence
Markov Chains*
Random Variables: Univariate Case
Random Variables: Multivariate Case
Expectation
Some Probability Models
Limit Theorems
Outline of Inferential Statistics
Estimation
Testing Statistical Hypotheses
Discrimination*
Linear Models
Rank Methods
Analysis of Categorical Data
Appendices
Index
Experiments, Sample Spaces, and Events
Probability
Combinatorial Probability
4.

図書
図書
4. 保険数学
内藤脩治 [著]
出版情報: Yokohama : Keio University, c1996  1冊 ; 26cm
シリーズ名: Seminar on mathematical sciences ; no. 23
所蔵情報: loading…
5.

図書
図書
5. Design and analysis of experiments
edited by S. Ghosh and C.R. Rao
出版情報: Amsterdam ; Tokyo : North-Holland, 1996  xviii, 1229 p. ; 25 cm
シリーズ名: Handbook of statistics ; v. 13
所蔵情報: loading…
6.

図書
図書
6. Statistical methods in finance
edited by G.S. Maddala, C.R. Rao
出版情報: Amsterdam ; Tokyo : North-Holland : Elsevier, 1996  xvi, 733 p. ; 25 cm
シリーズ名: Handbook of statistics ; v. 14
所蔵情報: loading…
7.

図書
図書
7. Neural network training using genetic algorithms
A.J.F. van Rooij, L.C. Jain, R.P. Johnson
出版情報: Singapore : World Scientific, c1996  ix, 130 p. ; 26 cm
シリーズ名: Series in machine perception and artificial intelligence / editors, H. Bunke, P.S.P. Wang ; vol. 26
所蔵情報: loading…
8.

図書
図書
8. Coordinating distributed objects : an actor-based approach to synchronization (: hb : alk. paper)
Svend Frølund
出版情報: Cambridge, Mass. : MIT Press, c1996  xxii, 195 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Acknowledgments
Introduction / 1：
Object-Oriented Programming / 1.1：
Actors / 1.2：
Coordination / 1.3：
Overview / 1.4：
Synchronization Constraints / 2：
Design Considerations / 2.1：
Specification of Synchronization Constraints / 2.2：
Inheritance of Synchronization Constraints / 2.3：
Refinement of Synchronization Constraints / 2.4：
Possible Extensions / 2.5：
Set-Based Patterns / 2.5.1：
Message Priority / 2.5.2：
Garbage Collection of Obsolete Messages / 2.5.3：
Related Work / 2.6：
Semaphores and Monitors / 2.6.1：
Path Expressions / 2.6.2：
Receive Actions / 2.6.3：
Activation Conditions / 2.6.4：
Explicit Method Enabling / 2.6.5：
Hybrid Approaches / 2.6.6：
Conclusion / 2.7：
Synchronizers / 3：
Synchronizers and Synchronization Constraints / 3.1：
Functionality of Synchronizers / 3.3：
Language Support for Synchronizers / 3.4：
Message Patterns / 3.4.1：
Triggers / 3.4.2：
Disabling Constraints / 3.4.3：
Atomicity Constraints / 3.4.4：
Composing Disabling and Atomicity Constraints / 3.4.5：
Combined Evaluation / 3.5：
Application of Synchronizers / 3.6：
Constraining Specific Messages / 3.7：
Conditions for Synchronizer Enforcement / 3.7.2：
Multimessage Patterns / 3.7.3：
Incremental Strengthening of Atomic Constraints / 3.7.4：
Explicit Coordinators / 3.8：
Transactions / 3.8.2：
Atomic Broadcast / 3.8.3：
Multiparty Interactions / 3.8.4：
Multimedia Synchronization / 3.8.5：
Constraint-Based Languages / 3.8.7：
Global Assertions / 3.8.8：
Graph Rewriting / 3.8.9：
Documentation of Coordination / 3.8.10：
Semantics / 3.9：
Language Overview / 4.1：
Language Syntax / 4.2：
Primitive Operations / 4.2.1：
Examples / 4.2.2：
Representation of Actor Systems / 4.3：
Representation of Actors / 4.3.1：
Representation of Messages / 4.3.2：
Configurations / 4.3.3：
Expression Evaluation / 4.4：
Constraint Evaluation / 4.5：
Semantics of Disabling Constraints / 4.5.1：
Semantics of Atomicity Constraints / 4.5.2：
Trigger Evaluation / 4.6：
Transitions Between Configurations / 4.7：
Discussion / 4.8：
Implementation / 4.9：
High-Level Design Decisions / 5.1：
Communication Topology / 5.1.1：
Synchronizer Instantiation and Representation / 5.1.2：
Constraint and Trigger Evaluation / 5.4：
Information Flow / 5.4.1：
Communication Protocols / 5.4.2：
Deadlocks / 5.4.3：
Pseudocode / 5.5：
Evaluating Disabling Constraints / 5.5.1：
Constraint Servers / 5.5.2：
Evaluating Atomicity Constraints / 5.5.3：
Evaluating Disabling and Atomicity Constraints / 5.5.4：
Serializability / 5.5.5：
Fairness / 5.7：
Weak Fairness / 5.7.1：
Strong Fairness / 5.7.2：
Our Notion of Fairness / 5.7.3：
Message Complexity / 5.8：
Performance / 5.9：
Migration / 5.10：
Fault Tolerance / 5.10.2：
Garbage Collection / 5.10.3：
Alternatives / 5.11：
Communication with Constraint Servers / 5.11.1：
Concurrent Check Actions / 5.11.2：
Optimistic Concurrency Control / 5.11.4：
Distributed Mutual Exclusion / 5.11.5：
Glossary / 5.12：
References
Name Index
Subject Index
Foreword
Acknowledgments
Introduction / 1：
9.

図書
図書
9. Queueing modelling fundamentals
Ng Chee Hock
出版情報: Chichester ; New York : John Wiley & Sons, c1996  x, 222 p. ; 24 cm
所蔵情報: loading…
10.

図書
図書
10. Microsoft SQL server 6 unleashed. 1st ed
David Solomon... [et al.]
出版情報: Indianapolis, IN : Sams Publishing, c1996  xxv, 958 p. ; 23 cm.
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼