close
1.

学位論文
学位
1. Phase relationship and electrical conductivity of fluorite-related phases in the Y2O3-Nb2O5 and ZrO2-Y2O3-Nb2O5 systems
Jin-Ho Lee
出版情報: 東京工業大学, 1997
所蔵情報: loading…
2.

図書
図書
2. The economics of contracts : a primer
Bernard Salanié
出版情報: Cambridge, Mass. : MIT Press, c1997  viii, 223 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword to the Second Edition
Foreword to the First Edition
Introduction / 1：
The Great Families of Models / 1.1：
The Principal-Agent Model / 1.2：
Overview of the Book / 1.3：
References
Adverse Selection: General Theory / 2：
Mechanism Design / 2.1：
General Mechanisms / 2.1.1：
Application to Adverse Selection Models / 2.1.2：
A Discrete Model of Price Discrimination / 2.2：
The Consumer / 2.2.1：
The Seller / 2.2.2：
The First-Best: Perfect Discrimination / 2.2.3：
Imperfect Information / 2.2.4：
The Standard Model / 2.3：
Analysis of the Incentive Constraints / 2.3.1：
Solving the Model / 2.3.2：
Exercises
Adverse Selection: Examples and Extensions / 3：
Examples of Applications / 3.1：
Regulating a Firm / 3.1.1：
Optimal Taxation / 3.1.2：
The Insurer as a Monopolist / 3.1.3：
Extensions / 3.2：
Perfect Competition in Contracts / 3.2.1：
Multiple Principals / 3.2.2：
The Theory of Auctions / 3.2.3：
Collusion / 3.2.4：
Risk-Averse Agents / 3.2.5：
Multidimensional Characteristics / 3.2.6：
Bilateral Private Information / 3.2.7：
Type-Dependent Reservation Utilities / 3.2.8：
Auditing the Agent / 3.2.9：
Signaling Models / 4：
The Market for Secondhand Cars / 4.1：
Costly Signals / 4.2：
Separating Equilibria / 4.2.1：
Pooling Equilibria / 4.2.2：
The Selection of an Equilibrium / 4.2.3：
Costless Signals / 4.3：
A Simple Example / 4.3.1：
The General Model / 4.3.2：
Other Examples / 4.4：
The Informed Principal / 4.5：
Moral Hazard / 5：
The Agent's Program / 5.1：
The Principal's Program / 5.2.2：
Properties of the Optimal Contract / 5.2.3：
Informativeness and Second-Best Loss / 5.3：
A Continuum of Actions / 5.3.2：
The Limited Liability Model / 5.3.3：
An Infinity of Outcomes / 5.3.4：
The Multisignal Case / 5.3.5：
Imperfect Performance Measurement / 5.3.6：
Models with Several Agents / 5.3.7：
Models with Several Principals / 5.3.8：
The Robustness of Contracts / 5.3.9：
The Multitask Model / 5.3.10：
Insurance / 5.4：
Wage Determination / 5.4.2：
The Dynamics of Complete Contracts / 6：
Commitment and Renegotiation / 6.1：
Strategic Commitment / 6.2：
Adverse Selection / 6.3：
Full Commitment / 6.3.1：
Long-Term Commitment / 6.3.2：
No Commitment / 6.3.3：
Short-Term Commitment / 6.3.4：
Conclusion / 6.3.5：
Renegotiation after Effort / 6.4：
Convergence to the First-Best / 6.4.2：
Finitely Repeated Moral Hazard / 6.4.3：
Incomplete Contracts / 7：
Property Rights, Holdup, and Underinvestment / 7.1：
The Buyer-Seller Model / 7.1.1：
The Complete Contract / 7.1.2：
Incomplete Contracts and Property Rights / 7.1.3：
The Irrelevance Theorems / 7.2：
Restoring Efficient Investment Incentives / 7.2.1：
Using Mechanism Design / 7.2.2：
Concluding Remarks / 7.3：
Some Empirical Work / 8：
Dealing with Unobserved Heterogeneity / 8.1：
Auctions / 8.2：
Tests of Asymmetric Information in Insurance Markets / 8.3：
Some Noncooperative Game Theory / Appendix：
Games of Perfect Information / A.1：
Nash Equilibrium / A.1.1：
Subgame-Perfect Equilibrium / A.1.2：
Games of Incomplete Information / A.2：
Bayesian Equilibrium / A.2.1：
Perfect Bayesian Equilibrium / A.2.2：
Refinements of Perfect Bayesian Equilibrium / A.2.3：
Name Index
Subject Index
Foreword to the Second Edition
Foreword to the First Edition
Introduction / 1：
3.

図書
図書
3. 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：
4.

電子ブック
ＥＢ
4. Automatic Verification of Sequential Infinite-State Processes
Olaf Burkart
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 1997
所蔵情報: 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：
5.

図書
図書
5. The econometrics of financial markets (: cloth)
John Y. Campbell, Andrew W. Lo, A. Craig MacKinlay
出版情報: Princeton, N.J. : Princeton University Press, c1997  xviii, 611 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
List of Figures
List of Tables
Preface
Introduction / 1：
Organization of the Book / 1.1：
Useful Background / 1.2：
Mathematics Background / 1.2.1：
Probability and Statistics Background / 1.2.2：
Finance Theory Background / 1.2.3：
Notation / 1.3：
Prices, Returns, and Compounding / 1.4：
Definitions and Conventions / 1.4.1：
The Marginal, Conditional, and Joint Distribution of Returns / 1.4.2：
Market Efficiency / 1.5：
Efficient Markets and the Law of Iterated Expectations / 1.5.1：
Is Market Efficiency Testable? / 1.5.2：
The Predictability of Asset Returns / 2：
The Random Walk Hypotheses / 2.1：
The Random Walk 1: IID Increments / 2.1.1：
The Random Walk 2: Independent Increments / 2.1.2：
The Random Walk 3: Uncorrelated Increments / 2.1.3：
Tests of Random Walk 1: IID Increments / 2.2：
Traditional Statistical Tests / 2.2.1：
Sequences and Reversals, and Runs / 2.2.2：
Tests of Random Walk 2: Independent Increments / 2.3：
Filter Rules / 2.3.1：
Technical Analysis / 2.3.2：
Tests of Random Walk 3: Uncorrelated Increments / 2.4：
Autocorrelation Coefficients / 2.4.1：
Portmanteau Statistics / 2.4.2：
Variance Ratios / 2.4.3：
Long-Horizon Returns / 2.5：
Problems with Long-Horizon Inferences / 2.5.1：
Tests For Long-Range Dependence / 2.6：
Examples of Long-Range Dependence / 2.6.1：
The Hurst-Mandelbrot Rescaled Range Statistic / 2.6.2：
Unit Root Tests / 2.7：
Recent Empirical Evidence / 2.8：
Autocorrelations / 2.8.1：
Cross-Autocorrelations and Lead-Lag Relations / 2.8.2：
Tests Using Long-Horizon Returns / 2.8.4：
Conclusion / 2.9：
Market Microstructure / 3：
Nonsynchronous Trading / 3.1：
A Model of Nonsynchronous Trading / 3.1.1：
Extensions and Generalizations / 3.1.2：
The Bid-Ask Spread / 3.2：
Bid-Ask Bounce / 3.2.1：
Components of the Bid-Ask Spread / 3.2.2：
Modeling Transactions Data / 3.3：
Motivation / 3.3.1：
Rounding and Barrier Models / 3.3.2：
The Ordered Probit Model / 3.3.3：
Recent Empirical Findings / 3.4：
Estimating the Effective Bid-Ask Spread / 3.4.1：
Transactions Data / 3.4.3：
Outline of an Event Study / 3.5：
An Example of an Event Study / 4.2：
Models fo / 4.3：
List of Figures
List of Tables
Preface
6.

学位論文
学位
6. Ca3Al2O6-CaSO4・2H2O-CaCO3系の水和反応
李琮揆
出版情報: 東京 : 東京工業大学, 1997
所蔵情報: loading…
7.

図書
図書
7. Heat pump systems, energy efficiency and global warming : proceedings of the conference of Commission E2, with E1 &B2 (September 28-October 1, 1997), Linz, Austria issued by International Institute of Refrigeration = Pompes a chaleur, maîtrise de l'énergie et réchauffement de la planète : compte rendu de la conférence de la Commission E2, with E1 & B2
edité par Institut International du Froid
出版情報: Paris : Institut International du Froid, [1997]  258 p. ; 24 cm
シリーズ名: Science et technique du froid = Refrigeration science and technology ; 1974-4
所蔵情報: loading…
8.

図書
図書
8. Internet and intranet engineering (: hc)
Daniel Minoli
出版情報: New York : McGraw-Hill, c1997  xix, 424 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
Internet Structure, Protocols, and Access with an Eye to Intranets / Chapter 1.：
Overview / 1.1：
The Internet/Intranet Landscape / 1.1.1：
The Scope of This Text / 1.1.2：
The Internet: A Short Retrospective / 1.1.3：
The TCP/IP Standardization Approach for Internet and Intranets / 1.1.4：
Related Networks / 1.1.5：
Network Technologies for Intranets / 1.1.6：
Internet Protocol Model Overview / 1.2：
The Need for Multiple Protocols / 1.2.1：
ISO Seven-Layer Reference Model / 1.2.2：
The TCP/IP Internet Layering Model / 1.2.3：
Interconnection Approach / 1.2.4：
Internet Addresses: Foundations for Internet and Intranets / 1.3：
Addressing Scheme / 1.3.1：
Network Byte Order / 1.3.2：
Domain Name Server and IP Addresses / 1.3.3：
Mapping Internet Addresses to Physical Addresses / 1.3.4：
Internet Protocol: Basis for Internet and Intranets / 1.4：
Connectionless Datagram Delivery / 1.4.1：
The Internet Datagram / 1.4.2：
IP Routing Concepts / 1.4.3：
Table-Driven IP Routing and Next-Hop Routing / 1.4.4：
Routing-Related Protocols / 1.4.5：
Transport Layer / 1.5：
User Datagram Protocol (UDP) / 1.5.1：
Transmission Control Protocol (TCP) / 1.5.2：
Upper-Layer Protocols / 1.6：
SMTP / 1.6.1：
File Transfer Protocol / 1.6.2：
Trivial File Transfer Protocol (TFTP) / 1.6.3：
TELNET / 1.6.4：
Other Browsing/Access Applications / 1.6.5：
Internet Access / 1.7：
Accessing the Internet / 1.7.1：
PPP / 1.7.2：
SLIP / 1.7.3：
PPP versus SLIP / 1.7.4：
PPP and SLIP Applications: Home Access / 1.7.5：
Internet Applications / 1.8：
Navigation Tools / 1.8.1：
Other Internet Applications / 1.8.2：
Future of the Internet and Internet-Related Applications / 1.9：
New Backbone Connection Schemes / 1.9.1：
Improved Access Approaches / 1.9.2：
A Replacement for IP / 1.9.3：
Support of Electronic Commerce / 1.9.4：
Conclusion / 1.10：
References
Router Technology / Chapter 2.：
Introduction / 2.1：
Network Fundamentals (OSI Layers) / 2.2：
Hubs / 2.2.1：
Bridges / 2.2.2：
Routers / 2.2.3：
Router/Bridge/Hub Application Example / 2.2.4：
Internet Routing / 2.3：
Routing Protocols / 2.3.1：
Routing Security / 2.3.2：
New Developments / 2.4：
Switch-Based Routing / 2.4.1：
Routing in Software / 2.4.2：
Multicasting / 2.4.3：
Mobile Routing / 2.4.4：
New IP Addressing / 2.4.5：
Router Market / 2.5：
Router Vendors / 2.5.1：
Internetwork at Home / 2.5.2：
Internet and Intranet Web Server Technology, Access, and Protocols / 2.6：
Web's Roots / 3.1：
Global Access to Information / 3.1.2：
Overview of HyperText Markup Language (HTML) / 3.2：
HTML 3.0 and Higher / 3.2.1：
Overview of HyperText Transfer Protocol (HTTP) / 3.3：
Web Browsers: HTTP's User-Level Peer / 3.3.1：
Web Servers / 3.4：
Transport Issues / 3.4.1：
Web Access / 3.5：
Connection Modes / 3.5.1：
Accessing a Web Server: Practical Considerations / 3.5.2：
Publishing on a Web Server / 3.5.3：
Security / 3.6：
Secure HTTP / 3.6.1：
Secure Sockets Layer / 3.6.2：
Comparison / 3.6.3：
Related Web Capabilities / 3.7：
Network News Transport Protocol (NNTP) vis-a-vis WWW / 3.7.1：
Gopher vis-a-vis WWW / 3.7.2：
Wide Area Information System vis-a-vis WWW / 3.7.3：
File Transfer Protocol vis-a-vis WWW / 3.7.4：
World Wide Web Proxies / 3.8：
Future of the Web / 3.9：
Trends / 3.9.1：
Virtual Reality Modeling Language (VRML) / 3.9.2：
HTML Technology, Applications, and Examples / Chapter 4.：
Origins of HTML / 4.1：
Web Architecture and Usage / 4.1.2：
Language Evolution / 4.1.3：
Key Browsers / 4.1.4：
Miscellaneous Definitions / 4.1.5：
File-Naming Issues in HTML / 4.1.6：
The Nuts and Bolts of HTML / 4.2：
HTML Elements / 4.2.1：
Document Structure / 4.2.2：
HTML Tags and Usages / 4.2.3：
Hyperlinks / 4.2.4：
Linking to Areas within Documents / 4.2.5：
Uniform Resource Locators / 4.2.6：
Lists / 4.2.7：
Graphics / 4.2.8：
An Example of HTML Page Preparation / 4.2.9：
Displaying Preformatted Text in Its Original Form / 4.2.10：
Collections of Hypertext Documents / 4.2.11：
Advantages and Disadvantages of Using HTML / 4.2.12：
The Server Side of HTML / 4.2.13：
HTML Standards / 4.2.14：
Outstanding Issues in HTML / 4.2.15：
Which Web Development Language Should You Use? / 4.2.16：
Putting It All Together / 4.2.17：
Tools and Guides / 4.3：
HTML Authoring Tools / 4.3.1：
Word Processing Tools / 4.3.2：
Browser Editing Tools / 4.3.3：
HTML Document Conversion Tools / 4.3.4：
HTML Quality Tools / 4.3.5：
HTML Check Toolkit / 4.3.6：
Writing Style / 4.3.7：
Browsers / 4.4：
Practical Considerations for Internet and/or Intranet Pages / 4.5：
Entry Requirements / 4.5.1：
Designing Your Internet/Intranet Page / 4.5.2：
HTML Application Example / 4.5.3：
Beyond HTML / 4.6：
VRML / 4.6.1：
Java Language / 4.6.2：
WebObjects / 4.6.3：
Future Direction in HTML / 4.7：
Browsing Systems for the Web, the Internet, and Intranets / Chapter 5.：
Browser Features and Capabilities / 5.1：
Background / 5.2.1：
Basic Functionality / 5.2.2：
Features to Look For / 5.2.3：
Sample of Available Browsers / 5.2.4：
Netscape / 5.3：
The History of Netscape / 5.3.1：
Netscape Navigator Browser / 5.3.2：
Basic Key Features / 5.3.3：
The Navigator's Performance / 5.3.4：
Secure E-mail / 5.3.5：
Threaded Discussion Groups / 5.3.6：
Frames / 5.3.8：
Inline Plug-Ins / 5.3.9：
Java Support / 5.3.10：
Programming with the Netscape Scripting Language / 5.3.11：
HTML Support / 5.3.12：
Standards / 5.3.13：
Product Information / 5.3.14：
Supported Platforms for the Navigator / 5.3.15：
Other Utilities / 5.3.16：
Assessment By Given Categories / 5.3.17：
Mosaic / 5.4：
History / 5.4.1：
Spyglass Enhanced Mosaic / 5.4.2：
Features / 5.4.3：
Platform Requirements / 5.4.4：
Comparison between Netscape Navigator and Enhanced Mosaic / 5.4.5：
Other Browsers / 5.5：
Spry's Mosaic / 5.5.1：
NetManage's WebSurfer / 5.5.2：
DOSLynx (DOS) / 5.5.3：
InternetWorks (Windows) / 5.5.4：
Microsoft Internet Explorer / 5.5.5：
Next-Generation Web Browsing / 5.6：
SGI's WebSpace / 5.6.1：
Sun's HotJava / 5.6.2：
Using Browsers for Commercial Gain / 5.7：
Opportunities and Motivations in the Internet and Intranets / 5.7.1：
Some Issues Needing Resolution / 5.7.2：
Access from On-Line Services / 5.7.3：
Building a Corporate Web Site: Practical Issues on Servers and Application Software / Chapter 6.：
Background: Using the WWW for Business / 6.1：
Examples of Businesses on the Internet / 6.1.1：
Case Study / 6.1.2：
Getting Connected / 6.2：
Dial-Up / 6.2.1：
Leased Lines / 6.2.2：
Categories of Service / 6.2.3：
Domain Name Services / 6.2.4：
Elements of a Web Service / 6.3：
Client Software: Practical Factors / 6.3.1：
Client Software Functions / 6.3.2：
Pointing to the Server / 6.3.3：
Creating a Home Page for the Web Server: Practical Issues / 6.3.4：
Supporting Forms / 6.3.5：
Security Issues: Practical Considerations / 6.4：
Vulnerabilities of the Web / 6.4.1：
Securing a Web Site / 6.4.2：
Management Issues Related to Web Server Setup / 6.5：
What Is a Webmaster? / 6.5.1：
Getting the Software / 6.5.2：
Server Establishment / 6.5.3：
Anticipating Usage Patterns / 6.5.4：
Network Connections: Practical Issues / 6.5.5：
Server Hardware Selection / 6.5.6：
Server Software Installation / 6.5.7：
Installing and Configuring the CERN HTTPD Web Server / 6.5.8：
Setting Up the NCSA HTTPD / 6.5.9：
Information Architecture and Content / 6.5.10：
Server Configuration Files / 6.5.11：
Caching / 6.5.12：
Firewalls / 6.5.13：
Proxy Gateways / 6.5.14：
Server Strategies / 6.5.15：
Maintenance and Housekeeping Utilities / 6.5.16：
Novell's WWW Service Alternative / 6.6：
Extensions and Applications on the Web / 6.7：
External Viewers and Other File Types / 6.7.1：
Running Client Applications / 6.7.2：
Common Gateway Interface (CGI) Programs / 6.7.3：
Forms / 6.7.4：
Searching and Indexing / 6.7.5：
Legal and Ethical Issues / 6.8：
Final Observations / 6.9：
On-Line Services: Technology, Applications, and Vendors / Chapter 7.：
Definition of On-Line Services / 7.1：
History of On-Line Services / 7.3：
The On-Line Services Market: Trends / 7.4：
On-Line Services Industry Makeup / 7.5：
Technology Trends / 7.6：
Profiles of Major On-Line Service Providers / 7.7：
America Online / 7.7.1：
CompuServe Information Services / 7.7.2：
Prodigy / 7.7.3：
GEnie / 7.7.4：
Microsoft Network / 7.7.5：
Broadband Communications for the Internet and Intranets / Chapter 8.：
Services and Requirements Driving the Need for Broadband / 8.1：
New Services Desired on the Internet / 8.2.1：
Electronic Commerce on the Internet / 8.2.2：
Growth of the Internet / 8.2.3：
How to Do It / 8.2.4：
Network Architectures Supporting Broadband / 8.3：
Approaches to Broadband / 8.3.1：
Integrated Digital Services Network (ISDN) / 8.3.2：
ADSL / 8.3.3：
HDSL / 8.3.4：
BDSL / 8.3.5：
VDSL / 8.3.6：
Wireless / 8.3.7：
HFC/Cable Modems / 8.3.8：
FTTC / 8.3.9：
FTTH / 8.3.10：
FTTB / 8.3.11：
Comparison of the Various Architectures / 8.3.12：
Broadband Carrier Services for Intranets and for the Internet / 8.4：
Frame Relay and SMDS / 8.4.1：
ATM / 8.4.2：
Cable TV / 8.4.3：
Economics: Approaches and Direction / 8.4.4：
Example of Broadband-Based Application: WebTV / 8.5：
General Questions on Intercasting / 8.5.1：
Questions about Hardware, Software, and Intercast Technology Features and Availability / 8.5.2：
Virtual Reality Applications on the Internet and Intranets / Chapter 9.：
Virtual Reality Technology: A Synopsis / 9.1：
Baseline Hardware to Support VR / 9.1.1：
Software and Tools / 9.1.2：
Current Limitations of VR Technology / 9.1.3：
Networking / 9.1.4：
Evolving Virtual Reality Applications / 9.2：
Market Status / 9.2.1：
Examples of Applications / 9.2.2：
Application Aspects / 9.2.3：
Technology Concerns / 9.2.4：
Opportunities for Corporate Education/Training / 9.3：
Opportunities for Marketing and Business Applications / 9.4：
Internet's Next Killer-App / 9.5：
Company Information for Key Browsers / Appendix：
Glossary
Index
Preface
Acknowledgments
Internet Structure, Protocols, and Access with an Eye to Intranets / Chapter 1.：
9.

図書
図書
9. Quality of numerical software : assessment and enhancement : proceedings of the IFIP TC2/WG2.5 Working Conference on the Quality of Numerical Software, Assessment and Enhancement, Oxford, United Kingdom, 8-12 July 1996
edited by Ronald F. Boisvert
出版情報: London ; Tokyo : Chapman & Hall, 1997  vii, 384 p. ; 24 cm
所蔵情報: loading…
10.

図書
図書
10. Linear triatomic molecules, CO[2](OCO) (partα [16]O[12]C[16]O : gw ; partβ [16]O[12]C[17]O...[18]O[14]C[18]O)
authors, G.Guelachvili, K.Narahari Rao ; editor, G. Guelachvili
出版情報: Berlin : Springer, c1997  2 vols ; 28 cm
シリーズ名: Landolt-Börnstein Zahlenwerte und Funktionen aus Naturwissenschaften und Technik, Neue Serie / Gesamtherausgabe, K.-H. Hellwege ; New Series, Group 2 . Molecules and radicals ; v. 20 . Molecular constants : mostly from infrared spectroscopy ; subv. B2
所蔵情報: loading…
目次情報: 続きを見る
3d elements with Cu, Ag or Au
3d elements with B, Al, Ga, In or Tl
Memoirs on Intergrable Sustem
Classical Mechanics and Lie groups / Chapter I：
Momentum theorem / 1.1：
Multi-dimensional dynamics / 1.2：
The Euler--Poincar+F equations / 1.3：
Systems with an Invariant Measure / Chapter II：
Integral invariants / 2.1：
Integrability / 2.2：
The Kowalewski--Lyapunov method / 2.3：
Examples of systems with an invariant measure / 2.4：
Systems with an invariant measure on Lie groups / 2.5：
Integrable Systems, Lax pairs and Confocal quadrics / Chapter III：
Geometry / 3.1：
Lax pairs and hierarchies of integrable Hamiltonian systems / 3.2：
Hierarchy of the Frahm--Manakov and Clebsch--Perelomov systems / 3.3：
Hierarchy of the Steklov--Lyapunov--Rubanovsky systems / 3.4：
The FMCP hierarchy and common tangent linear spaces of confocal quadrics / 3.5：
Complete K+"otters solution for the Clebsch case / 3.6：
Integrable nonholonomic systems on $so(n)$ / 3.7：
The Steklov--Lyapunov systems and pencils of lines / 3.8：
Explicit Solutions / Chapter IV：
Abelian tori and Jacobians / 4.1：
Theta-functional solutions / 4.2：
Solutions in generalized theta-functions / 4.3：
References
Index
3d elements with Cu, Ag or Au
3d elements with B, Al, Ga, In or Tl
Memoirs on Intergrable Sustem
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼