close
1.

図書
図書
1. Software engineering. 2nd ed. (: pbk.)
I. Sommerville
出版情報: Wokingham, Eng. ; Reading, Mass. : Addison-Wesley, c1985  xi, 334 p. ; 24 cm
シリーズ名: International computer science series
所蔵情報: loading…
目次情報: 続きを見る
Preface
Overview / Part 1：
Introduction / Chapter 1：
FAQs about software engineering / 1.1：
Professional and ethical responsibility / 1.2：
Key points
Further reading
Exercises
Computer-based system engineering / Chapter 2：
Emergent system properties / 2.1：
Systems and their environment / 2.2：
System modelling / 2.3：
The system engineering process / 2.4：
System procurement / 2.5：
Software processes / Chapter 3：
Software process models / 3.1：
Process iteration / 3.2：
Software specification / 3.3：
Software design and implementation / 3.4：
Software validation / 3.5：
Software evolution / 3.6：
Automated process support / 3.7：
Project management / Chapter 4：
Management activities / 4.1：
Project planning / 4.2：
Project scheduling / 4.3：
Risk management / 4.4：
Requirements / Part 2：
Software requirements / Chapter 5：
Functional and non-functional requirements / 5.1：
User requirements / 5.2：
System requirements / 5.3：
The software requirements document / 5.4：
Requirements engineering processes / Chapter 6：
Feasibility studies / 6.1：
Requirements elicitation and analysis / 6.2：
Requirements validation / 6.3：
Requirements management / 6.4：
System models / Chapter 7：
Context models / 7.1：
Behavioural models / 7.2：
Data models / 7.3：
Object models / 7.4：
CASE workbenches / 7.5：
Software prototyping / Chapter 8：
Prototyping in the software process / 8.1：
Rapid prototyping techniques / 8.2：
User interface prototyping / 8.3：
Formal specification / Chapter 9：
Formal specification in the software process / 9.1：
Interface specification / 9.2：
Behavioural specification / 9.3：
Design / Part 3：
Architectural design / Chapter 10：
System structuring / 10.1：
Control models / 10.2：
Modular decomposition / 10.3：
Domain-specific architectures / 10.4：
Distributed systems architectures / Chapter 11：
Multiprocessor architectures / 11.1：
Client-server architectures / 11.2：
Distributed object architectures / 11.3：
CORBA / 11.4：
Object-oriented design / Chapter 12：
Objects and object classes / 12.1：
An object-oriented design process / 12.2：
Design evolution / 12.3：
Real-time software design / Chapter 13：
System design / 13.1：
Real-time executives / 13.2：
Monitoring and control systems / 13.3：
Data acquisition systems / 13.4：
Design with reuse / Chapter 14：
Component-based development / 14.1：
Application families / 14.2：
Design patterns / 14.3：
User interface design / Chapter 15：
User interface design principles / 15.1：
User interaction / 15.2：
Information presentation / 15.3：
User support / 15.4：
Interface evaluation / 15.5：
Critical Systems / Part 4：
Dependability / Chapter 16：
Critical systems / 16.1：
Availability and reliability / 16.2：
Safety / 16.3：
Security / 16.4：
Critical systems specification / Chapter 17：
Software reliability specification / 17.1：
Safety specification / 17.2：
Security specification / 17.3：
Critical systems development / Chapter 18：
Fault minimisation / 18.1：
Fault tolerance / 18.2：
Fault-tolerant architectures / 18.3：
Safe system design / 18.4：
Verification and Validation / Part 5：
Verification and validation / Chapter 19：
Verification and validation planning / 19.1：
Software inspections / 19.2：
Automated static analysis / 19.3：
Cleanroom software development / 19.4：
Software testing / Chapter 20：
Defect testing / 20.1：
Integration testing / 20.2：
Object-oriented testing / 20.3：
Testing workbenches / 20.4：
Critical systems validation / Chapter 21：
Formal methods and critical systems / 21.1：
Reliability validation / 21.2：
Safety assurance / 21.3：
Security assessment / 21.4：
Management / Part 6：
Managing people / Chapter 22：
Limits to thinking / 22.1：
Group working / 22.2：
Choosing and keeping people / 22.3：
The People Capability Maturity Model / 22.4：
Software cost estimation / Chapter 23：
Productivity / 23.1：
Estimation techniques / 23.2：
Algorithmic cost modelling / 23.3：
Project duration and staffing / 23.4：
Quality management / Chapter 24：
Quality assurance and standards / 24.1：
Quality planning / 24.2：
Quality control / 24.3：
Software measurement and metrics / 24.4：
Process improvement / Chapter 25：
Process and product quality / 25.1：
Process analysis and modelling / 25.2：
Process measurement / 25.3：
The SEI Process Capability Maturity Model / 25.4：
Process classification / 25.5：
Evolution / Part 7：
Legacy systems / Chapter 26：
Legacy system structures / 26.1：
Legacy system design / 26.2：
Legacy system assessment / 26.3：
Software change / Chapter 27：
Program evolution dynamics / 27.1：
Software maintenance / 27.2：
Architectural evolution / 27.3：
Software re-engineering / Chapter 28：
Source code translation / 28.1：
Reverse engineering / 28.2：
Program structure improvement / 28.3：
Program modularisation / 28.4：
Data re-engineering / 28.5：
Configuration management / Chapter 29：
Configuration management planning / 29.1：
Change management / 29.2：
Version and release management / 29.3：
System building / 29.4：
CASE tools for configuration management / 29.5：
References
Index
Preface
Overview / Part 1：
Introduction / Chapter 1：
2.

図書
図書
2. Spectral analysis and time series (v. 1 ; v. 2)
M.B. Priestley
出版情報: London : New York : Academic Press, c1981  2 v. (xvii, [45], 890 p.) ; 24 cm
シリーズ名: Probability and mathematical statistics : a series of monographs and textbooks
所蔵情報: loading…
目次情報:
v. 1. Univariate series
v. 2. Multivariate series, prediction and control
v. 1. Univariate series
v. 2. Multivariate series, prediction and control
3.

図書
図書
3. Surface and colloid science (v. 5 - v. 17)
edited by Egon Matijević
出版情報: New York, N.Y. : Plenum Press, c1976-  v. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Physical Chemistry of Cetyl Alcohol: Occurrence and Function of Liquid Crystals in O/W Creams / Shoji Fukushima ; Michihiro Yamaguchi1.：
Introduction
Cetyl Alcohol
Description of Cetyl Alcohol / 1.1.：
Short History of Cetyl Alcohol / 1.2.：
Definitions in Official Books / 1.3.：
Physical Properties of Cetyl Alcohols / 2.：
Polymorphism of Higher Alcohols / 2.1.：
Crystal Structure of Higher Alcohols / 2.2.：
Melting Point and Transition Point of Higher Alcohols / 2.3.：
Transition Point and Infrared Absorption / 2.4.：
Specific Interaction between 1-Hexadecanol and 1-Octadecanol / 3.：
Composition of Commercially Available Cetyl Alcohol / 3.1.：
Transition Point of 1-Hexadecanol / 3.2.：
Interaction between Higher Alcohols and Water / 4.：
Experimental Facts / 4.1.：
Formation of Hemihydrate / 4.2.：
Structure of Hydrated Alcohols / 4.3.：
Phase Diagram of the 1-Hexadecanol/1-Octadecanol/Water Ternary System / 4.4.：
Studies on Higher Alcohol/Surfactant/Water Systems / 5.：
The 1-Decanol/Sodium Caprylate/Water System / 5.1.：
The 1-Hexadecanol/OTAC/Water System / 5.2.：
Rheology of Ternary Systems Containing 1-Hexadecanol or a Homologous Alcohol / 5.3.：
Influence of the Amount of 1-Hexadecanol / 5.3.1.：
Influence of the Nature of Surfactant and of Higher Alcohol / 5.3.2.：
Influence of Alkyl Chain Length of Surfactant / 5.3.3.：
Conclusion / 5.3.4.：
Nature of Ternary Systems Prepared with Hexaoctadecanols / 6.：
Stability and Rheological Properties of Ternary Systems as a Function of Temperature / 6.1.：
Variations in External Appearance / 6.1.1.：
Variations in Viscosity / 6.1.2.：
Microscopic Observation / 6.1.3.：
X-Ray Diffraction Analysis / 6.1.4.：
Low-Angle X-Ray Diffraction Analysis / 6.1.5.：
Thermal Property / 6.1.6.：
Polymorphism of Hexaoctadecanol (3:2) and Stability of a Ternary Cream / 6.2.：
Liquid Crystalline Phases in Hexaoctadecanol (3:2)/Surfactant/Water Ternary Systems / 7.：
Phase Diagram / 7.1.：
D[subscript 2] Region / 7.2.：
M Region / 7.3.：
The Location and State of the D[subscript 2] Phase and M Particles in a Ternary Cream / 7.4.：
Temperature and the Process Yielding the Liquid Crystalline Phase / 8.：
Temperature of the Formation of the Liquid Crystalline Phase / 8.1.：
Method of Phase Separation Experiments / 8.1.1.：
Results of the Phase Separation Experiment / 8.1.2.：
G Phase and S Phase / 8.2.：
X-Ray Diffraction / 8.2.1.：
Differential Scanning Calorimetry / 8.2.3.：
Temperature at which the LC Phase is Formed / 8.2.4.：
In situ Formation of G and M Phases / 8.3.：
The Function of Liquid Crystalline Phases in O/W Creams / 9.：
Studies on O/W Creams / 9.1.：
The Difference in the Viscosity-Increasing Effects due to the Nature of Higher Alcohols / 9.2.：
The Difference in the Viscosity-Increasing Effect due to the Nature of Surfactants / 9.3.：
The Viscosity Change due to the Ratio of Cetostearyl Alcohol to Surfactant / 9.4.：
The Effect of Mixing 1-Hexadecanol with 1-Octadecanol / 9.5.：
Crystallization of Cetyl Alcohol in Cosmetic Creams / 9.6.：
Internal Structure and Stability of O/W C Creams / 10.：
Internal Structure of O/W Creams / 10.1.：
A Novel Theory for the Stabilization of O/W Creams / 10.2.：
Additional References on Cetyl and Homologous Alcohols / Appendix 1：
Appendix 2
References
Ionization Processes and Proton Binding in Polyprotic Systems: Small Molecules, Proteins, Interfaces, and Polyelectrolytes / Michael Borkovec ; Bo Jonsson ; Ger J. M. Koper
Experimental Techniques
Macroscopic Techniques
Definition and Measurement of pH / 2.1.1.：
Potentiometric Titration Techniques / 2.1.2.：
Other Macroscopic Techniques / 2.1.3.：
Spectroscopic Methods
Nuclear Magnetic Resonance (NMR) Techniques / 2.2.1.：
Optical and Other Spectroscopic Methods / 2.2.2.：
Modeling of Ionizable Systems
General Considerations
Computer Simulation Techniques
Simple Electrolyte Solutions / 3.3.：
Poisson-Boltzmann (PB) and Debye-Huckel (DH) Approximations / 3.3.1.：
An Illustrative Example / 3.3.2.：
Beyond the Poisson-Boltzmann (PB) Approximation / 3.3.3.：
Charged Molecules and Macromolecules in Water / 3.4.：
Debye-Huckel (DH) and Poisson-Boltzmann (PB) Treatment / 3.4.1.：
High-Salt versus Low-Salt Regime / 3.4.2.：
Toward Detailed Molecular Models / 3.4.3.：
Treatment of Ionization Equilibria / 3.5.：
Single Ionizable Site / 3.5.1.：
Localized versus Delocalized Binding / 3.5.2.：
Macroscopic Description / 3.5.3.：
Microscopic Description / 3.5.4.：
Adding Internal Degrees of Freedom / 3.5.5.：
Small Molecules
Monoprotic Acids and Bases
Equilibrium Constants / 4.1.1.：
Titration Behavior / 4.1.2.：
Experimental Data / 4.1.3.：
Diprotic Acids and Bases
Conformational Degrees of Freedom / 4.2.1.：
Equivalent Sites / 4.2.4.：
Oligoprotic Acids and Bases
Microscopic Description for Triprotic Acids and Bases / 4.3.1.：
Linear Molecules / 4.3.3.：
Noninteracting Sites
Microscopic versus Macroscopic Picture / 4.4.1.：
Affinity Distributions / 4.4.2.：
Interpretation and Prediction of Ionization Constants / 4.5.：
Empirical Methods / 4.5.1.：
Methods Based on First Principles / 4.5.2.：
Proteins
The Null Model
The Smeared-Out Charge Model
The Tanford-Kirkwood Model
Solution Techniques of the Ionization Problem
Shifts in Ionization Constants
Recent Developments in Dielectric Continuum Models / 5.4.：
General Methodology / 5.4.1.：
Case Studies / 5.4.2.：
Side Chain Flexibility / 5.4.3.：
Beyond Dielectric Continuum Models / 5.5.：
Protein Folding / 5.6.：
Polyelectrolytes
Mean-Field Models
Nearest-Neighbor Chain Interaction Models
Discrete Charge Model / 6.3.：
Mean-Field and Smearing-Out Approximations / 6.3.1.：
Chain Flexibility / 6.3.2.：
Polyamines / 6.4.：
Linear Polyamines / 6.4.1.：
Branched Polyamines / 6.4.2.：
Polycarboxylates / 6.5.：
Weakly Charged Linear Polycarboxylates / 6.5.1.：
Highly Charged Linear Polycarboxylates / 6.5.2.：
Humic Acids / 6.6.：
Ionizable Interfaces
Diffuse Layer Model and Its Generalization
Nernstian Surface / 7.1.1.：
Basic Stern Model / 7.1.2.：
Specific Counterion Binding / 7.1.3.：
Smearing-Out Approximation / 7.2.1.：
1-pK versus 2-pK Models / 7.2.2.：
pK Shifts / 7.2.3.：
Latex Particles
Ionizable Monolayers
Metal Oxide and Metal Hydroxide Particles / 7.5.：
Experimental Aspects / 7.5.1.：
Data Interpretation / 7.5.2.：
Goethite / 7.5.3.：
Hematite / 7.5.4.：
Rutile and Anatase / 7.5.5.：
Gibbsite / 7.5.6.：
Silica / 7.5.7.：
Discussion
Electrostatics of Point Charges / Appendix A.：
Planar Interface / A.1.：
Sphere / A.2.：
Cylinder / A.3.：
Further Tools in the Ising Model Analysis / Appendix B.：
Cluster Expansion / B.1.：
Other Choices of State Variables / B.2.：
Mean-Field Cluster Expansions / B.3.：
Mean-Field Treatment of Nonequivalent Sites / B.4.：
Square Lattice with Nearest-Neighbor Interactions / B.5.：
Affinity Distribution Approach / Appendix C.：
Derivation from Simple Models / C.1.：
Experimental Data Inversion / C.2.：
Combined Application of Radiochemical and Electrochemical Methods for the Investigation of Solid/Liquid Interfaces / Kalman Varga ; Gabor Hirschberg ; Pal Baradlai ; Melinda Nagy
On the Significance of Radiotracer Methods in Sorption Studies
General Problems of Radioactive Contamination Studies
An Overview of Radiotracer Methods
Methods Used for the Investigation of Interfacial Phenomena
Experimental Techniques: A Historical Survey
Recent Progress
Methods Used for the Investigation of Radioactive Contamination-Decontamination of Constructional Materials
Selected Results
Adsorption of Anions and Cations on Polycrystalline Gold
Comparative Study of Specific Adsorption of Cl[superscript -], HSO[superscript - subscript 4]/SO[superscript 2- subscript 4] and HSO[superscript - subscript 3]/SO[superscript 2- subscript 3] Ions / 3.1.1.：
Electrosorption of Ag and Co Species / 3.1.2.：
Accumulation of [superscript 110m]Ag on an Austenitic Stainless Steel
Sorption Behavior of Duplex Stainless Steels in HCl and H[subscript 2]SO[subscript 4] Solutions
Time and Concentration Dependence of Cl[superscript -] and HSO[superscript - subscript 4]/SO[superscript 2- subscript 4] Accumulations
Potential Dependence of Cl[superscript -] and HSO[superscript - subscript 4]/SO[superscript 2- subscript 4] Accumulations
Conclusions
Author Index
Subject Index
Magnetic Particles: Preparation, Properties and Applications / M. Ozaki1：
Maghemite (gamma-Fe2O3): A Versatile Magnetic Colloidal Material / C.J. Serna ; M.P. Morales2：
Dynamics of Adsorption and Oxidation of Organic Molecules on Illuminated Titanium Dioxide Particles Immersed in Water / M.A. Blesa ; R.J. Candal ; S.A. Bilmes3：
Colloidal Aggregation in Two-Dimensions / A. Moncho-Jorda ; F. Martinez-L=pez ; M.A. Cabrerizo-V8lchez ; R. Hidalgo Alvarez ; M. Quesada-PMFrez4：
Kinetics of Particle and Protein Adsorption / Z. Adamczyk5：
Physical Chemistry of Cetyl Alcohol: Occurrence and Function of Liquid Crystals in O/W Creams / Shoji Fukushima ; Michihiro Yamaguchi1.：
Introduction
Cetyl Alcohol
4.

図書
図書
4. Selected papers on coherence and fluctuations of light, with bibliography (v. 1 ; v. 2)
Edited by L. Mandel and E. Wolf
出版情報: New York : Dover Publications, [1970]  2 v. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. The solid-gas interface (1 ; 2)
edited by E. Alison Flood
出版情報: New York : M. Dekker, 1966-1967  2 v ; 24 cm
所蔵情報: loading…
6.

図書
図書
6. Programming in Modula-2. 3rd, corr. ed. (: U.S. ; : Berlin)
Niklaus Wirth
出版情報: Berlin : Springer-Verlag, 1985  202 p. ; 25 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
7.

図書
図書
7. 数論 (1 ; 2 ; 3)
河田敬義著
出版情報: 東京 : 岩波書店, 1978.2-1979.2  3冊 (432p) ; 21cm
シリーズ名: 岩波講座基礎数学 / 小平邦彦監修 ; 岩堀長慶 [ほか] 編 ; 7 . 代数学||ダイスウガク ; 6
所蔵情報: loading…
8.

図書
図書
8. Contributions to probability theory (pt. 1 ; pt. 2)
edited by Lucien M. Le Cam and Jerzy Neyman
出版情報: Berkeley : University of California Press, 1967  2 v. ; 26 cm
シリーズ名: Proceedings of the Fifth Berkeley Symposium on Mathematical Statistics and Probability / edited by Lucien M. Le Cam and Jerzy Neyman ; v. 2
所蔵情報: loading…
9.

図書
図書
9. 群論 (1 ; 2)
ア・ゲ・クローシュ著 ; 吉崎敬夫訳
出版情報: 東京 : 商工出版社, 1960-1961  2冊 ; 22cm
シリーズ名: 数学選書
所蔵情報: loading…
10.

図書
図書
10. Encyclopedic dictionary of mathematics (: set ; v. 1 ; v. 2)
by the Mathematical Society of Japan ; edited by Shōkichi Iyanaga and Yukiyosi Kawada ; translation reviewed by Kenneth O. May
出版情報: Cambridge, Mass. : MIT Press, c1977  2 v. (xiv, 1750 p.) ; 30 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼