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

図書
図書
11. ANTEC '97 : plastics saving planet earth, Society of Plastics Engineers, April 27-May 2 : conference proceedings (v. 1 ; v. 2 ; v. 3)
ANTEC ; Society of Plastics Engineers
出版情報: Brookfield Center, CT : Society of Plastics Engineers, c1997  3 v. ; 28 cm
シリーズ名: Technical papers / Society of Plastic Engineers ; v. 43
所蔵情報: loading…
12.

図書
図書
12. Application of accelerators in research and industry : proceedings of the Fourteenth International Conference, Denton, Texas, November 1996, pt. 1, pt. 2 (set ; pt. 1 ; pt. 2)
editors, J.L. Duggan [and] I.L. Morgan
出版情報: Woodbury, N.Y. : American Institute of Physics, 1997  2 v. (1457 p.) ; 29 cm
シリーズ名: AIP conference proceedings ; no. 392
所蔵情報: loading…
13.

図書
図書
13. Proceedings of the 15th International Modal Analysis Conference February 3-6, 1997 Sheraton World Resort Orlando, Florida (v. 1 ; v. 2)
International Modal Analysis Conference ; Society for Experimental Mechanics
出版情報: Bethel, CT : Society for Experimental Mechanics, 1997  2 v. ; 28 cm
所蔵情報: loading…
14.

図書
図書
14. Chemical reaction and reactor design (: (alk. paper))
edited by Hiroo Tominaga and Masakazu Tamaki
出版情報: Chichester : John Wiley, 1997  x, 403 p.; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface to the English Edition
Preface
Chemical Reactions and Design of Chemical Reactors / Hiroo TominagaChapter 1：
Introduction / 1.1：
Science and Engineering for Reactor Design / 1.2：
Theory of Chemical Reaction / 1.3：
Chemical Reaction Engineering and Reactor Design / 1.4：
Reactor Design for Industrial Processes / 1.5：
Naphtha Cracking / 1.5.1：
Tubular Steam Reforming / 1.5.2：
Epoxy Resin Production / 1.5.3：
Hydrotreating / 1.5.4：
Fluid Catalytic Cracking / 1.5.5：
Flue Gas Desulphurization / 1.5.6：
Equilibrium and Reaction Rate / Hiroshi KomiyamaChapter 2：
Nature of Chemical Reaction / 2.1：
Supply of Activation Energy / 2.1.1：
Elementary and Complex Reactions / 2.1.2：
Other Factors in Reactor Design / 2.1.3：
Direction of the Reaction Progress and Chemical Equilibrium / 2.2：
Direction of the Reaction Progress / 2.2.1：
Role of the Catalyst / 2.2.2：
Reversible and Irreversible Reactions / 2.2.3：
How to Calculate the Heat of Reaction and the Equilibrium Constant / 2.2.4：
Operating Conditions and Energy Efficiency of Chemical Reactions / 2.2.5：
The Rate of Reaction / 2.3：
Factors Governing the Rate of Reaction / 2.3.1：
Complex Reaction System / 2.4：
Rate-determining Step / 2.4.1：
Patterning of Reaction Systems / 2.4.2：
Relations with Other Transfer Processes / 2.4.3：
Fundamentals of Heat and Mass Transfer / Koichi AsanoChapter 3：
Rate Equations / 3.1：
Conduction of Heat / 3.1.1：
Diffusion / 3.1.2：
Diffusion Flux and Mass Flux / 3.1.3：
Mass and Heat Transfer Coefficients / 3.2：
Mass Transfer Coefficient / 3.2.1：
Overall Mass Transfer Coefficient / 3.2.2：
Heat Transfer Coefficient / 3.2.3：
Overall Heat Transfer Coefficient / 3.2.4：
Heat and Mass Transfer in a Laminar Boundary Layer along a Flat Plate / 3.3：
Governing Equations of Heat and Mass Transfer / 3.3.1：
Physical Interpretation of the Dimensionless Groups used in Heat and Mass Transfer Correlation / 3.3.2：
Similarity Transformation / 3.3.3：
Numerical Solutions for Heat and Mass Transfer / 3.3.4：
High Mass Flux Effect / 3.3.5：
Heat Transfer inside a Circular Tube in Laminar Flow / 3.4：
Heat Transfer inside a Circular Tube with Uniform Velocity Profile / 3.4.1：
Heat Transfer inside a Circular Tube with Parabolic Velocity Profile (Graetz problem) / 3.4.2：
Mass Transfer of Bubbles, Drops and Particles / 3.5：
Hadamard Flow / 3.5.1：
Evaporation of a Drop in the Gas Phase / 3.5.2：
Continuous Phase Mass Transfer of Bubbles or Drops in the Liquid Phase / 3.5.3：
Dispersed Phase Mass Transfer / 3.5.4：
Heat and Mass Transfer of a Group of Particles and the Void Function / 3.5.5：
Radiant Heat Transfer / 3.6：
Heat Radiation / 3.6.1：
Governing Equations of Radiant Heat Transfer / 3.6.2：
Fundamentals of Reactor Design / Chapter 4：
Reactor Types and Their Applications / Shintaro Furusaki4.1：
Homogeneous Reactors / 4.1.1：
Heterogeneous Reactors / 4.1.2：
Design of Homogeneous Reactors / Yukihiro Shimogaki4.2：
Material and Heat Balances in Reaction Systems / 4.2.1：
Design of Batch Stirred Tank Reactor / 4.2.2：
Design of Continuous Stirred Tank Reactors / 4.2.3：
Design of Tubular Reactors / 4.2.4：
Homogeneous and Heterogeneous Complex Reactions / 4.2.5：
Planning and Design of Multiphase Reactors / Masayuki Horio4.3：
Features of Planning and Design of Multiphase Reaction Processes / 4.3.1：
Model Description of Multiphase Processes / 4.3.2：
Concepts of Multiphase Reaction Processes / 4.3.3：
Development and Scale-up of Multiphase Reactors / 4.3.4：
Dynamic Analysis of Reaction System / Hisayoshi Matsuyama4.4：
Dynamics of Reactors / 4.4.1：
Stability of Reactors / 4.4.2：
Control of Reactors / 4.4.3：
Optimization of Reactor Systems / 4.4.4：
Design of an Industrial Reactor / Chapter 5：
Petrochemical Complex in Japan / Hiroshi Yagi5.1：
Cracking Furnace for Naphtha / 5.1.2：
Treatment of a Cracked Gas / 5.1.3：
Quench and Heat Recovery / 5.1.4：
Thermodynamics of Thermal Cracking Reaction / 5.1.5：
Mechanism of Thermal Cracking / 5.1.6：
Reaction Model for Yield Estimation / 5.1.7：
Design Procedure of Cracking Furnace / 5.1.8：
Results of Thermal Cracking Simulation / 5.1.9：
Technology Trend of a Cracking Furnace / 5.1.10：
The Reactions / J. R. Rostrup-Nielsen ; Lars J. Christiansen5.2：
The Tubular Reformer / 5.2.2：
The Catalyst and Reaction Rate / 5.2.3：
Poisoning / 5.2.4：
Carbon Formation / 5.2.5：
CO[subscript 2] Reforming / 5.2.6：
Reforming of High Hydrocarbons / 5.2.7：
Alternatives to Steam Reforming Technology / 5.2.8：
Epoxy Resin / Goro Soma ; Yasuo Hosono5.3：
Quality Parameters of Epoxy Resin / 5.3.2：
Elementary Reactions for Epoxy Resin Production / 5.3.3：
Epoxy Resin Production Processes / 5.3.4：
Process Operating Factors / 5.3.5：
The Reaction Model / 5.3.6：
Batch Operation / 5.3.7：
Simulation Using the Reaction Model / 5.3.8：
Design of the First-stage Reactor / 5.3.9：
Design of the Second-stage Reactor / 5.3.10：
Hydrotreating Reactor Design / Alan G. Bridge ; E. Morse Blue5.4：
Hydrotreating Objectives / 5.4.1：
Process Fundamentals / 5.4.2：
VGO Hydrotreating Reactions / 5.4.3：
VGO Hydrotreating Catalysts / 5.4.4：
VGO Hydrotreating Process Conditions / 5.4.5：
VGO Hydrotreating Reactor Design / 5.4.6：
VGO Hydrotreating Operation / 5.4.7：
VGO Hydrotreating Safety Procedures / 5.4.8：
Future Trends / 5.4.9：
Outline of the FCC Process / Toru Takatsuka ; Hideki Minami5.5：
Basic Theory of Fluid Catalytic Cracking / 5.5.2：
Theoretical Discussion of FCC Reactor Design / 5.5.3：
Practice of FCC Reactor Design / 5.5.4：
Material Balance and Heat Balance around Reactors / 5.5.5：
Wet Flue Gas Desulphurization / Hiroshi Yanagioka ; Teruo Sugiya5.6：
Process Description / 5.6.1：
Structure of JBR / 5.6.2：
Chemical Reactions in JBR / 5.6.3：
Heat and Material Balance around the Reactor / 5.6.4：
Reactive Impurities in the Flue Gas / 5.6.5：
Applicable Materials for the Wet FGD Plant / 5.6.6：
Index
Preface to the English Edition
Preface
Chemical Reactions and Design of Chemical Reactors / Hiroo TominagaChapter 1：
15.

図書
図書
15. Experimental/numerical mechanics in electronic packaging, June 2-4, 1997, Bellevue, Washington (vol. 2)
sponsored by the Electronic Packaging Technical Division of the Society for Experimental Mechanics (SEM)
出版情報: Bethel, Conn. : Society for Experimental Mechanics, [1997]  iv, 133 p. ; 24 cm
所蔵情報: loading…
16.

図書
図書
16. Game theory : analysis of conflict (: pbk)
Roger B. Myerson
出版情報: Cambridge, Mass. : Harvard University Press, 1997, c1991  xiii, 568 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Decision-Theoretic Foundations / 1：
Game Theory, Rationality, and Intelligence / 1.1：
Basic Concepts of Decision Theory / 1.2：
Axioms / 1.3：
The Expected-Utility Maximization Theorem / 1.4：
Equivalent Representations / 1.5：
Bayesian Conditional-Probability Systems / 1.6：
Limitations of the Bayesian Model / 1.7：
Domination / 1.8：
Proofs of the Domination Theorems Exercises / 1.9：
Basic Models / 2：
Games in Extensive Form / 2.1：
Strategic Form and the Normal Representation / 2.2：
Equivalence of Strategic-Form Games / 2.3：
Reduced Normal Representations / 2.4：
Elimination of Dominated Strategies / 2.5：
Multiagent Representations / 2.6：
Common Knowledge / 2.7：
Bayesian Games / 2.8：
Modeling Games with Incomplete Information Exercises / 2.9：
Preface
Decision-Theoretic Foundations / 1：
Game Theory, Rationality, and Intelligence / 1.1：
17.

図書
図書
17. A collection of technical papers : 13th AIAA Computational Fluid Dynamics Conference June 29-July 2, 1997, Snowmass Village, CO (: set ; pt. 1 ; pt. 2)
American Institute of Aeronautics and Astronautics ; AIAA Computational Fluid Dynamics Conference
出版情報: Reston, VA : American Institute Aerodynamics and Astronautics, [1997]  2 v. ; 28 cm
所蔵情報: loading…
18.

図書
図書
18. Knowledge intensive CAD : proceedings of the IFIP TC5 WG5.2 International Conference on Knowledge Intensive CAD, 16-18 September 1996, Pittsburgh, PA, USA (v. 2)
edited by Martti Mäntylä, Susan Finger and Tetsuo Tomiyama
出版情報: London : Chapman & Hall, on behalf of the International Federation for Information Processing, 1997  viii, 298 p. ; 24cm
所蔵情報: loading…
19.

図書
図書
19. 1996 IEEE Nuclear Science Symposium Conference record, November 2-9, 1996, Anaheim, California (: set : softbound - v. 3)
guest editor: Alberto Del Guerra
出版情報: Piscataway, NJ : IEEE Services Center, c1997  3 v. ; 28 cm
所蔵情報: loading…
20.

図書
図書
20. Automorphic forms on SL[2](R)
Armand Borel
出版情報: Cambridge, U.K. ; New York, NY, USA : Cambridge University Press, 1997  x, 192 p. ; 24 cm
シリーズ名: Cambridge tracts in mathematics ; 130
所蔵情報: loading…
目次情報: 続きを見る
Basic Material On SL2(R), Discrete Subgroups and the Upper-Half Plane / Part I：
Prerequisites and notation / 1：
Review of SL2(R), differential operators, convolution / 2：
Action of G on X, discrete subgroups of G, fundamental domains / 3：
The unit disc model / 4：
Automorphic Forms and Cusp Forms / Part II：
Growth conditions, automorphic forms / 5：
Poincare series / 6：
Constant term:the fundamental estimate / 7：
Finite dimensionality of the space of automorphic forms of a given type / 8：
Convolution operators on cuspidal functions / 9：
Eisenstein Series / Part III：
Definition and convergence of Eisenstein series / 10：
Analytic continuation of the Eisenstein series / 11：
Eisenstein series and automorphic forms orthogonal to cusp forms / 12：
Spectral Decomposition and Representations / Part IV：
Spectral decomposition of L2(G G)m with respect to C / 13：
Generalities on representations of G / 14：
Representations of SL2(R) / 15：
Spectral decomposition of L2(G SL2(R)):the discrete spectrum / 16：
Spectral decomposition of L2(G SL2(R)): the continuous spectrum / 17：
Concluding remarks / 18：
Basic Material On SL2(R), Discrete Subgroups and the Upper-Half Plane / Part I：
Prerequisites and notation / 1：
Review of SL2(R), differential operators, convolution / 2：
21.

図書
図書
21. Euro ceramics V : extended abstracts of the 5th Conference and Exhibition of the European Ceramic Society, Versailles, France, June 22-26, 1997 (: set - pt. 3: sessions 6, 7, 8, 10, 11, 12)
organized on behalf of the European Ceramic Society by the Groupe Français de la Céramique
出版情報: Zuerich : Trans Tech Pub., c1997  3 v. (lvi, 2326 p.) ; 25 cm
シリーズ名: Key engineering materials ; v. 132-136
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Proceedings of the 2nd international conference on Intelligent user interfaces
Johanna Moore, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1997
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Hetarenes: Part 4/2. Six-Membered Rings and Larger Hetero-Rings with Maximum Unsaturation
E Schaumann, Danijel Kikelj
出版情報: Thieme Chemistry E-Books , Georg Thieme Verlag, 1997
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. IEEE Std 1320.2-1998
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1997
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. IEEE Std 167A.2-1996
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1997
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. 2nd International Symposium on Plasma Process-Induced Damage
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1997
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Proceedings of CoopIS 97: 2nd IFCIS Conference on Cooperative Information Systems
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1997
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. 1997 2nd International Workshop on Statistical Metrology
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1997
所蔵情報: loading…
29.

図書
図書
29. Image processing techniques : first Latino-American Seminar on Radar Remote Sensing : Buenos Aires, Argentina, 2-4 December 1996 = Técnicas de procesamiento de imágenes : Primeras Jornadas Latinoamericanas de Percepción Remota por Radar : Buenos Aires, Argentina, 2-4 December 1996
[compiled by T.-D. Guyenne] ; cosponsored by CONAE ... [et al.]
出版情報: Noordwijk, Netherlands : ESA Publications Division, c1997  229 p. ; 30 cm
シリーズ名: ESA SP ; 407
所蔵情報: loading…
30.

図書
図書
30. The mathematics of Paul Erdös (1 : hardcover : acid-free paper ; 2 : hardcover : acid-free paper)
Ronald L. Graham, Jaroslav Nešetřil (eds.)
出版情報: Berlin : Springer, c1997  2 v. ; 25 cm
シリーズ名: Algorithms and combinatorics ; 13-14
所蔵情報: loading…
31.

図書
図書
31. 1997 2nd IEEE International Workshop on Broadband Switching Systems Proceedings : IEEE BSS', Taipei, Taiwan, R.O.C., December 2-4, 1997 (:softbound)
[sponsors IEEE Communications Society ... et al.]
出版情報: Piscataway, New Jersey : IEEE, c1997  187 p. ; 29 cm
所蔵情報: loading…
32.

図書
図書
32. Heat transfer issues in natural refrigerants : proceedings of the conference of Commission B1, with E1 & E2, (Nov. 6-7, 1997), College Park, USA = Transfert de chaleur dans les frigorigenes naturels : compte rendu de la conférence de la Commission B1, with E1 & E2
issued by International Institute of Refrigeration = edité par Institut International du Froid
出版情報: Paris : Institut International du Froid, [1997]  287 p. ; 24 cm
シリーズ名: Science et technique du froid = Refrigeration science and technology ; 1997-5
所蔵情報: loading…
33.

図書
図書
33. ERS SAR interferometry : "Fringe 96" Workshop : Zurich, Switzerland, 30 September-2 October 1996 (: set ; v. 1 ; v. 2)
[compiled by T.-D. Guyenne & D. Danesy]
出版情報: Noordwijk, The Netherlands : European Space Agency, ESA Publications Division, c1997  2 v. ; 30 cm
シリーズ名: ESA SP ; 406
所蔵情報: loading…
34.

図書
図書
34. Compact Riemann surfaces : an introduction to contemporary mathematics (: pbk)
Jürgen Jost ; translated by R.R. Simha
出版情報: Berlin : Springer, c1997  xiv, 291 p. ; 24 cm
シリーズ名: Universitext
所蔵情報: loading…
目次情報: 続きを見る
Preface
Topological Foundations / 1：
Manifolds and Di erentiable Manifolds / 1.1：
Homotopy of Maps. The Fundamental Group / 1.2：
Coverings / 1.3：
Global Continuation of Functions on Simply-Connected Manifolds / 1.4：
Di erential Geometry of Riemann Surfaces / 2：
The Concept of a Riemann Surface / 2.1：
Some Simple Properties of Riemann Surfaces / 2.2：
Metrics on Riemann Surfaces / 2.3：
Triangulations of Compact Riemann Surfaces / 2.3.A：
Discrete Groups of Hyperbolic Isometries. Fundamental Polygons. Some Basic Concepts of Surface Topology and Geometry / 2.4：
The Topological Classi cation of Compact Riemann Surfaces / 2.4.A：
The Theorems of Gauss-Bonnet and Riemann-Hurwitz / 2.5：
A General Schwarz Lemma / 2.6：
Conformal Structures on Tori / 2.7：
Harmonic Maps / 3：
Review: Banach and Hilbert Spaces. The Hilbert Space L2 / 3.1：
The Sobolev Space W 1; 2 = H1; 2 / 3.2：
The Dirichlet Principle. Weak Solutions of the Poisson Equation / 3.3：
Harmonic and Subharmonic Functions / 3.4：
The C -Regularity Theory / 3.5：
Maps Between Surfaces. The Energy Integral. De nition and Simple Properties of Harmonic Maps / 3.6：
Existence of Harmonic Maps / 3.7：
Regularity of Harmonic Maps / 3.8：
Uniqueness of Harmonic Maps / 3.9：
Harmonic Di eomorphisms / 3.10：
Metrics and Conformal Structures / 3.11：
Teichmuller Spaces / 4：
The Basic De nitions / 4.1：
Harmonic Maps, Conformal Structures and Holomorphic Quadratic Di erentials. TeichmullerÆs Theorem / 4.2：
Fenchel-Nielsen Coordinates. An Alternative Approach to the Topology of Teichmuller Space / 4.3：
Uniformization of Compact Riemann Surfaces / 4.4：
Geometric Structures on Riemann Surfaces / 5：
Preliminaries: Cohomology and Homology Groups / 5.1：
Harmonic and Holomorphic Di erential Forms on Riemann Surfaces / 5.2：
The Periods of Holomorphic and Meromorphic Di erential Forms / 5.3：
Divisors. The Riemann-Roch Theorem / 5.4：
Holomorphic 1-Forms and Metrics on Compact Riemann Surfaces / 5.5：
Divisors and Line Bundles / 5.6：
Projective Embeddings / 5.7：
Algebraic Curves / 5.8：
AbelÆs Theorem and the Jacobi Inversion Theorem / 5.9：
Elliptic Curves / 5.10：
Sources and References
Bibliography
Index of Notation
Index
Preface
Topological Foundations / 1：
Manifolds and Di erentiable Manifolds / 1.1：
35.

図書
図書
35. Child occupant protection, 2nd symposium proceedings
Society of Automotive Engineers
出版情報: Warrendale, PA : Society of Automotive Engineers, c1997  288 p. ; 28 cm
シリーズ名: SAE Proceedings ; P-316
所蔵情報: loading…
36.

図書
図書
36. Thin films - structure and morphology : symposium held December 2-6, 1996, Boston, Massachusetts, U.S.A.
editors, Steven C. Moss ... [et al.]
出版情報: Pittsburgh, Pa. : Materials Research Society, c1997  xvii, 793 p. ; 24 cm
シリーズ名: Materials Research Society symposium proceedings ; v. 441
所蔵情報: loading…
37.

図書
図書
37. Defects in electronic materials II : symposium held December 2-6, 1996, Boston, Massachusetts, U.S.A.
editors, Jürgen Michel ... [et al.]
出版情報: Pittsburgh, Penn : Materials Research Society, c1997  xvii, 711 p. ; 24 cm
シリーズ名: Materials Research Society symposium proceedings ; v. 442
所蔵情報: loading…
38.

図書
図書
38. Elliptic curves : function theory, geometry, arithmetic (: hd ; : pb)
Henry McKean, Victor Moll
出版情報: New York : Cambridge University Press, 1997  xiii, 280 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
First Ideas: Complex Manifolds, Riemann Surfaces, and Projective Curves / 1.：
The Riemann Sphere / 1.1：
Complex Manifolds / 1.2：
Rational Functions / 1.3：
Luroth's Theorem / 1.4：
Automorphisms of P[superscript 1] / 1.5：
Spherical Geometry / 1.6：
Finite Subgroups and the Platonic Solids / 1.7：
Automorphisms of the Half-Plane / 1.8：
Hyperbolic Geometry / 1.9：
Projective Curves / 1.10：
Covering Surfaces / 1.11：
Scissors and Paste / 1.12：
Algebraic Functions / 1.13：
Examples / 1.14：
More on Uniformization / 1.15：
Compact Manifolds as Curves: Finale / 1.16：
Elliptic Integrals and Functions / 2.：
Elliptic Integrals: Where They Come From / 2.1：
The Incomplete Integrals Reduced to Normal Form / 2.2：
The Complete Integrals: Landen, Gauss, and the Arithmetic-Geometric Mean / 2.3：
The Complete Elliptic Integrals: Legendre's Relation / 2.4：
The Discovery of Gauss and Abel / 2.5：
Periods in General / 2.6：
Elliptic Functions in General / 2.7：
The and-Function / 2.8：
Elliptic Integrals, Complete and Incomplete / 2.9：
Two Mechanical Applications / 2.10：
The Projective Cubic / 2.11：
The Problem of Inversion / 2.12：
The Function Field / 2.13：
Addition on the Cubic / 2.14：
Abel's Theorem / 2.15：
Jacobian Functions: Reprise / 2.16：
Covering Tori / 2.17：
Finale: Higher Genus / 2.18：
Theta Functions / 3.：
Jacobi's Theta Functions / 3.1：
Some Identities / 3.2：
The Jacobi and Weierstrass Connections / 3.3：
Projective Embedding of Tori / 3.4：
Products / 3.5：
Sums of Two Squares / 3.6：
Sums of Four Squares / 3.7：
Euler's Identities: Partitio Numerorum / 3.8：
Jacobi's and Higher Substitutions / 3.9：
Quadratic Reciprocity / 3.10：
Ramanujan's Continued Fractions / 3.11：
Modular Groups and Modular Functions / 4.：
The Modular Group of First Level / 4.1：
The Modular Group of Second Level / 4.2：
Fundamental Cells / 4.3：
Generating the Groups / 4.4：
Gauss on Quadratic Forms / 4.5：
The Group of Anharmonic Ratios / 4.6：
Modular Forms / 4.7：
Eisenstein Sums / 4.8：
Absolute Invariants / 4.9：
Triangle Functions / 4.10：
The Modular Equation of Level 2 / 4.11：
Landen's Transformation / 4.12：
Modular Equations of Higher Level / 4.13：
Jacobi's Modular Equation / 4.14：
Jacobi and Legendre's Derivation: Level 5 / 4.15：
Arithmetic Subgroups: Overview / 4.16：
Ikosaeder and the Quintic / 5.：
Solvability of Equations of Degree [less than] 4 / 5.1：
Galois Groups Revisited / 5.2：
The Galois Group of Level 5 / 5.3：
An Element of Degree 5 / 5.4：
Hermite on the Depressed Equation / 5.5：
Hermite on the Quintic / 5.6：
A Geometric View / 5.7：
Imaginary Quadratic Number Fields / 6.：
Algebraic Numbers / 6.1：
Primes and Ideal Numbers / 6.2：
Class Invariants and Kronecker's Jugendtraum / 6.3：
Application of the Modular Equation / 6.4：
The Class Polynomial / 6.5：
Class Invariants at a Prime Level / 6.6：
Irreducibility of the Class Polynomial / 6.7：
Class Field and Galois Group / 6.8：
Computation of the Class Invariants / 6.9：
Arithmetic of Elliptic Curves / 7：
Arithmetic of the Projective Line / 7.1：
Cubics: The Mordell--Weil Theorem / 7.2：
Proof of the Mordell--Weil Theorem / 7.3：
References
Index
Preface
First Ideas: Complex Manifolds, Riemann Surfaces, and Projective Curves / 1.：
The Riemann Sphere / 1.1：
39.

図書
図書
39. Introduction to the philosophy of science : cutting nature at its seams (: hb ; : pbk)
Robert Klee
出版情報: New York ; Tokyo : Oxford University Press, 1997  xi, 258 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
The Case of Allergic Disease: From Everyday Observation to Microstructural Explanation / 1：
Experimentation and Research Science / 1.1：
Observable Mysteries / 1.1.1：
Physical Microstructure / 1.1.2：
Mechanism and Testing / 1.2：
Mast Cell Release / 1.2.1：
Immunoglobulin E / 1.2.2：
Intervention and Manipulation / 1.3：
Released Inflammatory Mediator Blockade / 1.3.1：
Mast Cell Release Blockade / 1.3.2：
Immunoglobulin E Blockade / 1.3.3：
Unification and Explanation / 1.4：
IgE--anthelminthic / 1.4.1：
Allergy Genes / 1.4.2：
Determination and Explanation / 1.4.3：
The Positivist Model of Scientific Theories / 2：
Theories as Formal Languages / 2.1：
A Dummy Scientific Theory to Illustrate the Positivist Model / 2.2：
Trouble in Positivist Paradise / 3：
The Point of the Observational/Theoretical Distinction / 3.1：
Ease of Application / 3.1.1：
Instrumentation / 3.1.2：
Putnamian Cynicism / 3.1.3：
Encapsulated Information Processing / 3.1.4：
Sensory Surface Distance / 3.1.5：
Correspondence-Rules / 3.2：
Dispositional Properties / 3.2.1：
Holism / 3.2.2：
The Underdetermination of Theory / 4：
The Quine-Duhem Thesis / 4.1：
Popperian Falsificationism / 4.2：
Is Underdetermination a Myth? / 4.3：
Pragmatism and Realism / 4.4：
Reductionism, Antireductionism, and Supervenience / 5：
Nagel's Model of Reduction / 5.1：
Kemeny & Oppenheim's Model of Reduction / 5.2：
The Unity of Science Program / 5.3：
The Putnam/Fodor Multiple Realization Argument Against the Unity of Science / 5.4：
Supervenience to the Rescue? / 5.5：
Kim's Model of Supervenience / 5.5.1：
Modest Physicalism / 5.5.2：
The Structure of Scientific Explanation / 6：
The Deductive-Nomological (D-N) Model of Scientific Explanation / 6.1：
Standard Counterexamples to the D-N Model / 6.1.1：
The Aleatory Model of Scientific Explanation / 6.2：
The Unification Model of Scientific Explanation / 6.3：
Natural Kinds, Homeostatic Property Clusters, and the Structural Basis of Reality / 6.4：
The Revenge of Historicism / 7：
Anti-Incrementalism / 7.1：
Paradigms and the Practice of Normal Science / 7.2：
Puzzle-Solving and the Cautiousness of Normal Science / 7.3：
Anomalies / 7.4：
Revolutionary Science / 7.5：
Antirealism, Relativism, and Their Shadows / 7.6：
The Case of Modern Immunology / 7.7：
The Social Constructivist Challenge / 8：
The Strong Programme / 8.1：
Roll Over Socrates: Philosophy as the Bad Guy / 8.2：
The Case Method with a Vengeance / 8.3：
The View from Deep in the Swamp of History / 8.4：
The Inequality of Theoretical Alternatives / 8.5：
The Politics of Epistemology / 9：
The Genderization of Scientific Knowledge / 9.1：
Postmodernist Feminism: Sandra Harding / 9.2：
Feminist Social Activism: Helen Longino / 9.3：
Feminist Empiricism: Lynn Hankinson Nelson / 9.4：
The Actual Way Things Really Are / 10：
What Can or Cannot Happen in the Limit of Inquiry / 10.1：
The Cosmic Coincidence Argument for Scientific Realism / 10.2：
The Covergence Argument / 10.2.1：
The Manipulability Argument / 10.2.2：
The Case for Scientific Antirealism / 10.3：
Antirealism: Success is Self-Defeating for Realism / 10.3.1：
Antirealism: Success Needs No Explanation at All / 10.3.2：
Antirealism: Success isn't What You Th / 10.3.3：
Preface
Introduction
The Case of Allergic Disease: From Everyday Observation to Microstructural Explanation / 1：
40.

図書
図書
40. Database applications semantics : proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6) Stone Mountain, Atlanta, Georgia, U.S.A., May 30-June 2, 1995
edited by Robert Meersman and Leo Mark
出版情報: London : Chapman & Hall, 1997  vii, 613 p ; 24 cm
所蔵情報: loading…
41.

図書
図書
41. NYRocks '97, New York, USA, June 29-July 2, 1997 : proceedings for 36th U.S. Rock Mechanics Symposium and ISRM International Symposium : linking science to rock engineering (v. 1 ; v. 2 ; v. 3)
editor, Kunsoo Kim
出版情報: [S. l.] : Columbia University, [1997]  3 v. ; 26 cm
所蔵情報: loading…
42.

図書
図書
42. 10th Meeting on Optical Engineering in Israel, 2-6 March 1997, Jerusalem, Israel (pt. 1 ; pt. 2)
Itzhak Shladov, Stanley R. Rotman, chairs/editors ; organized by AEAI--Association of Engineers and Architects in Israel ... [et al.] ; sponsored by SPIE--the International Society for Optical Engineering ... [et al.]
出版情報: Bellingham, Wash. : SPIE, c1997  2 v. (xiii, 898 p.) ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 3110
所蔵情報: loading…
43.

図書
図書
43. Space technology & applications international forum (STAIF-97), January 26-30, 1997, Albuquerque, NM : 1st Conference on Future Science & Earth Science Missions : 1st Conference on Synergistic Power & Propulsion Systems Technology : 1st Conference on Applications of Thermophysics in Microgravity : 2nd Conference on Commercial Development of Space : 2nd Conference on Next Generation Launch Systems : 14th Symposium on Space Nuclear Power and Propulsion (: set : casebound - pt. 3 : pbk)
[editor, Mohamed S. El-Genk]
出版情報: New York : American Institute of Physics, c1997  3 v. ; 29 cm
シリーズ名: AIP conference proceedings ; no. 387
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Galois Theory of Difference Equations
Marius van der Put, Michael F. Singer
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1997
所蔵情報: loading…
目次情報: 続きを見る
Algebraic Theory
Picard-Vessiot rings / 1：
Existence and uniqueness of Picard-Vessiot rings / 1.1：
The Galois group / 1.2：
Galois correspondence for difference equations / 1.3：
Difference modules and fibre functors / 1.4：
Algorithms for difference equations / 2：
Difference equations of order one / 2.1：
Difference equations in diagonal form / 2.2：
Difference equations of order two / 2.3：
The inverse problem for difference equations / 3：
The ring S of sequences / 4：
An excursion in positive characteristic / 5：
Generalities / 5.1：
Modules over K[T. T superscript -1] / 5.2：
Difference Galois groups / 5.3：
Comparing characteristic 0 and p / 5.4：
Difference modules over P / 6：
Classification of difference modules over P / 6.1：
The universal Picard-Vessiot ring of P / 6.2：
Fields of constants which are not algebraically closed / 6.3：
Automorphisms of the universal Picard-Vessiot ring of P / 6.4：
Difference equations over C((z[superscript -1])) and the formal Galois group / 6.5：
Analytic Theory
Classification and canonical forms / 7：
A classification of singularities / 7.1：
Canonical forms / 7.2：
Semi-regular difference equations / 8：
Introduction / 8.1：
Some easy asymptotics / 8.2：
The connection matrix of a semi-regular equation / 8.3：
The theorem of Malgrange and Sibuya / 8.4：
Regular difference equations / 8.5：
Inverse problems for semi-regular equations / 8.6：
Mild difference equations / 9：
Asymptotics for mild equations / 9.1：
Connection matrices of mild equations / 9.2：
Tame differential modules / 9.3：
Inverse problems for mild equations / 9.4：
Examples of equations and Galois groups / 10：
Calculating connection matrices / 10.1：
Classification of order one equations / 10.2：
More on difference Galois groups / 10.3：
Mild difference and differential equations / 10.4：
Very mild difference modules and multisummability / 10.5：
Very mild differential modules / 10.6：
Wild difference equations / 11：
Multisummability of formal solutions / 11.1：
The Quadrant Theorem / 11.3：
On the Gamma function / 11.4：
An example / 11.5：
Solutions on a right half plane / 11.6：
Solutions on an upper half plane / 11.7：
Analytic equivalence classes of difference equations / 11.8：
q-difference equations / 11.9：
Formal aspects / 12.1：
Analytic properties / 12.2：
Regular singular equations over k[subscript 0] / 12.2.1：
Equations over C(z) / 12.2.2：
Construction of the connection map / 12.3：
Meromorphic vector bundles / 12.3.1：
The connection map of a regular equation / 12.3.2：
The connection map of a regular singular equation / 12.3.3：
Inverse problems / 12.3.4：
Bibliography
Index
Notations
Algebraic Theory
Picard-Vessiot rings / 1：
Existence and uniqueness of Picard-Vessiot rings / 1.1：
45.

図書
図書
45. 1997 2nd International Symposium on Plasma Process-Induced Damage : 13-14 May 1997, Monterey, California, USA (: softbound ; : microfiche)
editors, Kim P. Cheung, Moritaka Nakamura, and Calvin T. Gabriel ; technical co-sponsors, IEEE/Electron Devices Society, American Vacuum Society, Japanese Society of Applied Physics
出版情報: Sunnyvale, Calif. : Northern California Chapter of the American Vacuum Society, c1997  i, 259 p. ; 28 cm
所蔵情報: loading…
46.

図書
図書
46. Coastal engineering 1996 : proceedings of the twenty-fifth international conference, September 2-6, 1996, The Peabody Hotel, Orlando, Florida (v. 1 - v. 4)
edited by Billy L. Edge
出版情報: New York : American Society of Civil Engineers, c1997  4 v. ; 23 cm
所蔵情報: loading…
47.

図書
図書
47. Refrigeration in sea transport, today and in the future : proceedings of the meeting of Commission D2/3, Gdansk, Poland (Sept. 29-Oct. 1, 1994) = Le froid dans le transport maritime, situation actuelle et avenir : compte-rendu de la réunion de la commission D2/3, Gdansk, Poland (Sept. 29-Oct. 1, 1994). Ed. 1997
International Institute of Refrigeration. Commission D2/3
出版情報: Paris : International Institute of Refrigeration, 1997  294 p. ; 24 cm
シリーズ名: Science et technique du froid = Refrigeration science and technology ; 1994-4
所蔵情報: loading…
48.

図書
図書
48. Sixth European Symposium on Space Environmental Control Systems : Noordwijk, The Netherlands 20-22 May 1997 (: set ; v. 1 ; v. 2)
[compiled by T.-D. Guyenne]
出版情報: Noordwijk : ESA Publications Division, c1997  2 v. (969 p.) ; 30 cm
シリーズ名: ESA SP ; 400
所蔵情報: loading…
49.

図書
図書
49. Proceedings of the 1997 Total Life Cycle Conference (pt. 1 ; pt. 2 ; set)
Total Life Cycle Conference ; Society of Automotive Engineers
出版情報: Warrendale, PA : Society of Automotive Engineers, c1997  2 v. ; 28 cm
シリーズ名: SAE Proceedings ; P-310,p311
所蔵情報: loading…
目次情報:
Pt. l. Life cycle management and assessment
Pt. 2. Design for the environment, recycling and environmental impact
Pt. l. Life cycle management and assessment
Pt. 2. Design for the environment, recycling and environmental impact
50.

図書
図書
50. Infrared technology and applications XXIII : 20-25 April, 1997, Orlando, Florida (: set ; pt. 1 ; pt. 2)
Björn F. Andresen, Marija Strojnik, chairs/editors ; sponsored and published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c1997  2 v. (xvi, 998 p.) ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 3061
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼