close
1.

図書
図書
1. Robust stabilization against structured perturbations (: gw ; : us)
S.P. Bhattacharyya
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  ix, 172 p. ; 25 cm
シリーズ名: Lecture notes in control and information sciences ; 99
所蔵情報: loading…
2.

図書
図書
2. A practical guide to designing expert systems
Sholom M. Weiss and Casimir A. Kulikowski
出版情報: Totowa, N.J. : Rowman & Allanheld, 1984  xii, 174 p. ; 25 cm
所蔵情報: loading…
3.

図書
図書
3. Control system design : an introduction to state-space methods
Bernard Friedland
出版情報: New York ; Tokyo : McGraw-Hill, c1986  xiv, 513 p. ; 25 cm
シリーズ名: McGraw-Hill series in electrical engineering ; . Control theory
所蔵情報: loading…
目次情報: 続きを見る
Preface
Feedback Control / Chapter 1：
The Mechanism of Feedback / 1.1：
Feedback Control Engineering / 1.2：
Control Theory Background / 1.3：
Scope and Organization of This Book / 1.4：
Notes
References
State-Space Representation of Dynamic Systems / Chapter 2：
Mathematical Models / 2.1：
Physical Notion of System State / 2.2：
Block-Diagram Representations / 2.3：
Lagrange's Equations / 2.4：
Rigid Body Dynamics / 2.5：
Aerodynamics / 2.6：
Chemical and Energy Processes / 2.7：
Problems
Dynamics of Linear Systems / Chapter 3：
Differential Equations Revisited / 3.1：
Solution of Linear Differential Equations in State-Space Form / 3.2：
Interpretation and Properties of the State-Transition Matrix / 3.3：
Solution by the Laplace Transform: The Resolvent / 3.4：
Input-Output Relations: Transfer Functions / 3.5：
Transformation of State Variables / 3.6：
State-Space Representation of Transfer Functions: Canonical Forms / 3.7：
Frequency-Domain Analysis / Chapter 4：
Status of Frequency-Domain Methods / 4.1：
Frequency-Domain Characterization of Dynamic Behavior / 4.2：
Block-Diagram Algebra / 4.3：
Stability / 4.4：
Routh-Hurwitz Stability Algorithms / 4.5：
Graphical Methods / 4.6：
Steady State Responses: System Type / 4.7：
Dynamic Response: Bandwidth / 4.8：
Robustness and Stability (Gain and Phase) Margins / 4.9：
Multivariable Systems: Nyquist Diagram and Singular Values / 4.10：
Controllability and Observability / Chapter 5：
Introduction / 5.1：
Where Do Uncontrollable or Unobservable Systems Arise? / 5.2：
Definitions and Conditions for Controllability and Observability / 5.3：
Algebraic Conditions for Controllability and Observability / 5.4：
Disturbances and Tracking Systems: Exogenous Variables / 5.5：
Shaping the Dynamic Response / Chapter 6：
Design of Regulators for Single-Input, Single-Output Systems / 6.1：
Multiple-Input Systems / 6.3：
Where Should the Closed-Loop Poles Be Placed? / 6.4：
Linear Observers / Chapter 7：
The Need for Observers / 7.1：
Structure and Properties of Observers / 7.2：
Pole-Placement for Single-Output Systems / 7.3：
Reduced-Order Observers / 7.4：
Compensator Design by the Separation Principle / Chapter 8：
The Separation Principle / 8.1：
Compensators Designed Using Full-Order Observers / 8.2：
Robustness: Effects of Modeling Errors / 8.3：
Selecting Observer Dynamics: Robust Observers / 8.5：
Summary of Design Process / 8.7：
Linear, Quadratic Optimum Control / Chapter 9：
Why Optimum Control? / 9.1：
Formulation of the Optimum Control Problem / 9.2：
Quadratic Integrals and Matrix Differential Equations / 9.3：
The Optimum Gain Matrix / 9.4：
The Steady State Solution / 9.5：
Disturbances and Reference Inputs: Exogenous Variables / 9.6：
General Performance Integral / 9.7：
Weighting of Performance at Terminal Time / 9.8：
Random Processes / Chapter 10：
Conceptual Models for Random Processes / 10.1：
Statistical Characteristics of Random Processes / 10.3：
Power Spectral Density Function / 10.4：
White Noise and Linear System Response / 10.5：
Spectral Factorization / 10.6：
Systems with State-Space Representation / 10.7：
The Wiener Process and Other Integrals of Stationary Processes / 10.8：
Kalman Filters: Optimum Observers / Chapter 11：
Background / 11.1：
The Kalman Filter is an Observer / 11.2：
Kalman Filter Gain and Variance Equations / 11.3：
Steady State Kalman Filter / 11.4：
The "Innovations" Process / 11.5：
Reduced-Order Filters and Correlated Noise / 11.6：
Stochastic Control: The Separation Theorem / 11.7：
Choosing Noise for Robust Control / 11.8：
Matrix Algebra and Analysis / Appendix：
Bibliography
Index of Applications
Index
Preface
Feedback Control / Chapter 1：
The Mechanism of Feedback / 1.1：
4.

図書
図書
4. SDM, system development methodology. Completely rev. ed.
W.S. Turner ... [et al.]
出版情報: Rijswijk, The Netherlands : PANDATA , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987  xiii, 931 p. ; 25 cm
所蔵情報: loading…
5.

図書
図書
5. Prototyping
出版情報: Oxford ; New York : Pergamon Infotech, c1986  ix, 209 p. ; 31 cm
シリーズ名: State of the art report ; ser. 14, no. 4
所蔵情報: loading…
6.

図書
図書
6. Microcomputer system design : an advanced course, Trinity College, Dublin, June 1981 (: gw ; : us)
edited by M.J. Flynn, N.R. Harris, and D.P. McCarthy
出版情報: Berlin : Springer-Verlag, 1982  vii, 397 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 126
所蔵情報: loading…
7.

図書
図書
7. Knowledge acquisition for expert systems : a practical handbook
edited by Alison L. Kidd
出版情報: New York : Plenum Press, c1987  xiii, 194 p. ; 24 cm
所蔵情報: loading…
8.

図書
図書
8. Systems analysis and design
H.L. Capron
出版情報: Reading, Mass. ; Tokyo : Benjamin/Cummings Pub. Co., c1986  xxvii, 525 p. ; 24 cm
所蔵情報: loading…
9.

図書
図書
9. The design and description of computer architectures
Subrata Dasgupta
出版情報: New York : Wiley, c1984  xvi, 300 p. ; 24 cm
所蔵情報: loading…
10.

図書
図書
10. System development
M.A. Jackson
出版情報: Englewood Cliffs, N.J. ; Tokyo : Prentice/Hall, 1983  xiv, 418 p. ; 24 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
11.

図書
図書
11. Proceedings : 11, October 7-9, 1987 : COMPSAC 87 : the Eleventh Annual International Computer Software & Applications Conference, Takanawa Prince Hotel, Tokyo, Japan (: pbk. ; : microfiche ; : case)
COMPSAC ; IEEE Computer Society
出版情報: Washington, D.C. : IEEE Computer Society Press, c1987  xviii, 750 p. ; 28 cm
所蔵情報: loading…
12.

図書
図書
12. Artificial intelligence and human learning : intelligent computer-aided instruction (pbk:)
edited by John Self
出版情報: London ; New York : Chapman and Hall, 1988  xix, 432 p. ; 24 cm
シリーズ名: Chapman and Hall computing
所蔵情報: loading…
13.

図書
図書
13. Planning and design of information systems
André Blokdijk, Paul Blokdijk
出版情報: London ; Tokyo : Academic Press, 1987  xxiii, 578 p. ; 24 cm
所蔵情報: loading…
14.

図書
図書
14. Petri net theory and the modeling of systems
James L. Peterson
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1981  x, 290 p. ; 24 cm
所蔵情報: loading…
15.

図書
図書
15. Multivariable system theory and design (: hbk ; : pbk)
by Rajnikant V. Patel and Neil Munro
出版情報: Oxford ; New York : Pergamon Press, 1982  xii, 374 p. ; 23 cm
シリーズ名: International series on systems and control ; v. 4
所蔵情報: loading…
16.

図書
図書
16. Real-time microcomputer system design : an introduction
Peter D. Lawrence, Konrad Mauch
出版情報: New York : McGraw-Hill, c1987  xxiv, 568 p. ; 25 cm
シリーズ名: McGraw-Hill series in electrical engineering
所蔵情報: loading…
17.

図書
図書
17. Internetworking with Xinu
Douglas Comer
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1987  xxi, 567 p. ; 24 cm
シリーズ名: Operating system design / Douglas Comer ; v. 2
所蔵情報: loading…
18.

図書
図書
18. Modern guide to EDP design and analysis techniques
Robert J. Walsh
出版情報: Englewood Cliffs, N.J. : Business and Professional Books Division, Prentice-Hall, c1985  xvi, 287 p. ; 25 cm
所蔵情報: loading…
19.

図書
図書
19. Structured systems and their performance improvement through vertical migration
by John A. Stankovic
出版情報: Ann Arbor, Mich. : UMI Research Press, c1982  x, 141 p. ; 24 cm
シリーズ名: Computer science ; Systems programming ; no. 1
所蔵情報: loading…
20.

図書
図書
20. Application development systems : the inside story of multinational product development (: U.S ; : Germany ; : Japan)
edited by Tosiyasu L. Kunii
出版情報: Tokyo ; New York : Springer-Verlag, c1986  viii, 382 p. ; 25 cm
所蔵情報: loading…
21.

図書
図書
21. Designing for human-computer communication
edited by M.E. Sime and M.J. Coombs
出版情報: London ; New York : Academic Press, 1983  x, 338 p. ; 24 cm
シリーズ名: Computers and people series
所蔵情報: loading…
22.

図書
図書
22. System design with Ada
R.J.A. Buhr
出版情報: Englewood Cliffs, N.J. ; Tokyo : Prentice-Hall, c1984  xv, 256 p. ; 25 cm
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
23.

図書
図書
23. The Xinu approach (pbk.)
Comer, Douglas E.
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1984  xxii, 486 p. ; 25 cm
シリーズ名: Prentice-Hall software series ; . Operating system design / Douglas Comer ; [v. 1]
所蔵情報: loading…
24.

図書
図書
24. Understanding computers and cognition : a new foundation for design (: pbk.)
Terry Winograd, Fernando Flores
出版情報: Norwood, N.J. : Ablex Pub. Corp., c1986  xiv, 207 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
Theoretical Background / Part I：
Introduction / 1：
The question of design / 1.1：
The role of tradition / 1.2：
Our path / 1.3：
The rationalistic tradition / 2：
The rationalistic orientation / 2.1：
Language, truth, and the world / 2.2：
Decision making and problem solving / 2.3：
Cognitive science / 2.4：
Understanding and Being / 3：
Hermeneutics / 3.1：
Understanding and ontology / 3.2：
An illustration of thrownness / 3.3：
Breaking down and readiness-to-hand / 3.4：
Cognition as a biological phenomenon / 4：
The closure of the nervous system / 4.1：
Autopoiesis, evolution, and learning / 4.2：
The cognitive domain / 4.3：
Consensual domains / 4.4：
The observer and description / 4.5：
Domains of explanation / 4.6：
Language, listening, and commitment / 5：
Listening in a background / 5.1：
Meaning, commitment, and speech acts / 5.2：
Objectivity and tradition / 5.3：
Recurrence and formalization / 5.4：
Breakdown, language, and existence / 5.5：
Towards a new orientation / 6：
Cognition and being in the world / 6.1：
Knowledge and representation / 6.2：
Pre-understanding and background / 6.3：
Language and action / 6.4：
Breakdown and the ontology of design / 6.5：
Computation, Thought, and Language / Part II：
Computers and representation / 7：
Programming as representation / 7.1：
Levels of representation / 7.2：
Can computers do more than you tell them to do? / 7.3：
Computation and intelligence / 8：
Why do we ask? / 8.1：
Intelligence as rational problem solving / 8.2：
The phenomenon of blindness / 8.3：
What about learning and evolution? / 8.4：
Can pigs have wings? / 8.5：
Understanding language / 9：
Artificial intelligence and language understanding / 9.1：
The problem of background / 9.2：
Understanding as pattern recognition / 9.3：
What does it mean to understand? / 9.4：
Current directions in artificial intelligence / 10：
The forking of the paths / 10.1：
Expert systems / 10.2：
The fifth generation computer system / 10.3：
Design / Part III：
Management and conversation / 11：
Management and decision making / 11.1：
Decision making and resolution / 11.2：
Organizations as networks of commitments / 11.3：
Decision support systems / 11.4：
Tools for conversation / 11.5：
Using computers: A direction for design / 12：
A background for computer design / 12.1：
A design example / 12.2：
Systematic domains / 12.3：
Technology and transformation / 12.4：
Bibliography
Name Index
Subject Index
Preface
Acknowledgments
Theoretical Background / Part I：
25.

図書
図書
25. The specification of complex systems
B. Cohen, W.T. Harwood, M.I. Jackson
出版情報: Wokingham, England ; Tokyo : Addison-Wesley, 1986  xii, 143 p. ; 24 cm
所蔵情報: loading…
26.

図書
図書
26. Microprocessors/microcomputers/system design
William D. Simpson ... [et al.] ; Texas Instruments Learning Center and the engineering staff of Texas Instruments Incorporated
出版情報: New York : McGraw-Hill, 1980, c1978  ca. 450 p. in various pagings ; 27 cm
シリーズ名: Texas Instruments electronics series
所蔵情報: loading…
27.

図書
図書
27. Human performance engineering : using human factors/ergonomics to achieve computer system usability. 2nd ed
Robert W. Bailey
出版情報: Englewood Cliffs, N.J. : Prentice Hall, c1989  xi, 563 p. ; 25 cm.
所蔵情報: loading…
28.

図書
図書
28. System design from probably correct constructs : the beginnings of true software engineering
James Martin
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1985  xviii, 392 p. ; 25 cm
所蔵情報: loading…
29.

図書
図書
29. Systems analysis & design methods. 2nd ed
Jeffrey L. Whitten, Lonnie D. Bentley, Victor M. Barlow
出版情報: Homewood, IL : Irwin, 1989  xxxii, 797 p. ; 25 cm
所蔵情報: loading…
30.

図書
図書
30. Systems design in a database environment
Kenneth S. Brathwaite
出版情報: New York ; Tokyo : Intertext/McGraw-Hill, c1989  xvi, 308 p. ; 24 cm
シリーズ名: J. Ranade IBM series
所蔵情報: loading…
31.

図書
図書
31. Work with computers : organizational, management, stress and health aspects
edited by Michael J. Smith, Gavriel Salvendy
出版情報: Amsterdam ; Tokyo : Elsevier, 1989  xii, 698 p. ; 25 cm
シリーズ名: Advances in human factors/ergonomics ; 12A . Proceedings of the Third International Conference on Human-Computer Interaction, Boston, Massachusetts, September 18-22, 1989 ; v. 1
所蔵情報: loading…
32.

図書
図書
32. Design problem solving : knowledge structures and control strategies (: uk ; : us)
David C. Brown, B. Chandrasekaran
出版情報: London : Pitman , San Mateo, Calif. : M. Kaufmann Publishers, 1989  199 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
33.

図書
図書
33. Cognitive science and its applications for human-computer interaction
edited by Raymonde Guindon
出版情報: Hillsdale, N.J. : Lawrence Erlbaum Associates, 1988  xiv, 345 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Contributors
Preface
Constrained Design Processes: Steps Towards Convivial Computing / 1：
Introduction
Conclusions / 9：
References
Appendix: Code Generated by Trikit
The Consequences of Consistent and Inconsistent User Interfaces / 2：
Acknowledgements
Computer-Aided Reasoned Discourse Or, How to Argue with A Computer / 3：
Appendix: Arl
A Multidisciplinary Perspective on Dialogue Structure in User-Advisor Dialogues / 4：
Excerpt from A Typed Dialogue / Appendix I：
Part of A Task Structure with Inserted Subdialogues / Appendix Ii：
Semnet: Three-Dimensional Graphic Representations of Large Knowledge Bases / 5：
Conclusion / 7：
""""As We May Think""""?: Psychological Considerations in the Design of A Personal Filing System / 6：
The Application of User Knowledge to Interface Design
Index
Subject Index
Contributors
Preface
Constrained Design Processes: Steps Towards Convivial Computing / 1：
34.

図書
図書
34. Database systems engineering (pbk)
R.P. Whittington
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1988  xiv, 430 p. ; 22 cm
シリーズ名: Oxford applied mathematics and computing science series
所蔵情報: loading…
目次情報: 続きを見る
Database system concepts / Part I：
Information systems and databases / 1：
Introduction / 1.1.：
The database approach to information systems / 1.2.：
The pre-database approach / 1.2.1.：
The database approach / 1.2.2.：
Definitions / 1.3.：
Summary of the database approach / 1.4.：
Exercises / 1.5.：
A history of database technology / 2：
The first two generations / 2.1.：
The third generation / 2.3.：
The fourth generation / 2.4.：
The emergence of relational systems / 2.4.1.：
CODASYL's response / 2.4.2.：
The relational versus navigational debate / 2.4.3.：
Research directions / 2.4.4.：
Summary of historical trends / 2.5.：
Database management systems / 3：
The current database management system concept / 3.1.：
Classes of database management system user / 3.2.1.：
Summary of database management system facilities / 3.2.2.：
Database management system components and interfaces / 3.3.：
Levels of abstraction in database management systems / 3.4.：
Database management system data models / 3.5.：
Programming language interfaces / 3.6.：
Summary of interface types / 3.6.1.：
The need for programming language interfaces / 3.6.2.：
Mechanisms used / 3.6.3.：
Database system configurations / 3.7.：
Summary and exercises / 3.8.：
The relational model of databases / 4：
Structuring concept / 4.1.：
Relations in mathematics and in databases / 4.2.1.：
Attributes and domains / 4.2.2.：
Relational databases / 4.2.3.：
Relation keys / 4.2.4.：
Manipulation concept / 4.3.：
Traditional set operators / 4.3.1.：
New relational database operators / 4.3.2.：
Summary and application of the algebraic operators / 4.3.3.：
Relational calculus languages / 4.3.4.：
Relational update and intension operators / 4.3.5.：
Integrity concept / 4.4.：
Entity integrity / 4.4.1.：
Referential integrity / 4.4.2.：
Discussion / 4.5.：
SQL: a relational database language / 4.6.：
Background / 5.1.：
The basic mapping-block concept / 5.2.：
Built-in functions / 5.3.：
Completeness of the concept / 5.4.：
View definition / 5.5.：
Facilities for database update / 5.6.：
Adding records to a table / 5.6.1.：
Removing records from a table / 5.6.2.：
Modifying field values / 5.6.3.：
Update operators on views / 5.6.4.：
Database intension update: table definition / 5.6.5.：
Embedded SQL / 5.7.：
The navigational model of databases / 5.8.：
The general model in abstract / 6.1.：
Structuring notion / 6.2.1.：
Structural restrictions / 6.2.2.：
Manipulation notion / 6.2.3.：
Manipulative restrictions / 6.2.4.：
Integrity notion / 6.2.5.：
The proposals of the CODASYL DBTG / 6.3.：
DBMS implementation / 6.4.：
Database machines / 7.1.：
The database machine concept / 7.2.1.：
Search engines / 7.2.2.：
Database computers / 7.2.3.：
Database servers / 7.2.4.：
Transaction management / 7.2.5.：
The transaction concept / 7.3.1.：
Implementing transaction independence / 7.3.2.：
Implementing transaction atomicity and permanence / 7.3.3.：
Managing transactions in distributed database systems / 7.3.4.：
Internal database organization / 7.4.：
Background and terminology / 7.4.1.：
File organizations and access methods / 7.4.2.：
Primary organization types / 7.4.3.：
Secondary organizations / 7.4.4.：
Performance parameters / 7.4.5.：
Database system development / 7.4.6.：
Models of development / 8：
Models of database system development / 8.3.：
The multi-stage model / 8.3.1.：
The single-stage model / 8.3.2.：
A development model for database systems / 8.4.：
Supporting database system development / 8.5.：
Exercise / 8.6.：
Conceptual analysis / 9：
Objectives / 9.1.：
ERA analysis / 9.2.：
Entity types and subtypes / 9.2.1.：
Relationship types and roles / 9.2.2.：
Attributes of entity types / 9.2.3.：
Identification and identification dependence / 9.2.4.：
A pragmatic analysis method / 9.3.：
Verification of conceptual specifications / 9.4.：
Validation of conceptual specifications / 9.5.：
Example 1: a simple cinema guide / 9.6.：
Example 2: air-travel enquiry / 9.7.：
Dictionary structures / 9.8.：
Annexe: Dictionary entires for the air-travel example / 9.9.：
Logical design / 10：
Deriving a collection of database relations / 10.1.：
Verification of logical specifications / 10.3.：
Validation of logical specifications / 10.4.：
Normalization of relations / 10.4.1.：
Functional dependencies / 10.4.2：
Multi-valued dependence / 10.4.3：
Normal form definitions and examples / 10.4.4.：
Prototyping / 10.4.5.：
Example: air-travel enquiry / 10.5.：
Design of a collection of relations / 10.5.1.：
Verification / 10.5.2.：
Validation / 10.5.3.：
Structural design / 10.6.：
The choice of record type structures / 11.1.：
Record structures and restructuring operations / 11.2.1.：
Techniques for choosing restructuring operations / 11.2.2.：
The choice of inter-record type links / 11.3.：
Verification of structural specifications / 11.4.：
Validation of structural specifications / 11.5.：
Estimation of storage requirements / 11.5.1.：
Estimation of processing performance / 11.5.2.：
Initial record type structures / 11.6.：
Initial link types / 11.6.2.：
Verification of the design / 11.6.3.：
Validation of the design / 11.6.4.：
Revised record type structures / 11.6.5.：
Revised link types / 11.6.6.：
Verification of the revision / 11.6.7.：
Validation of the revision / 11.6.8.：
Annexe: Dictionary entries for the air-travel example / 11.7.：
Physical design / 12：
Selecting a database system configuration / 12.1.：
Database distribution / 12.2.1.：
Fragmentation methods / 12.2.2.：
Verification of a fragmentation scheme / 12.2.3.：
Validation of a fragmentation scheme / 12.2.4.：
Federations versus systems / 12.2.5.：
Selecting internal organizations / 12.3.：
Selecting internal representations / 12.3.1.：
Selecting access mechanisms / 12.3.2.：
Verification of an internal organization / 12.3.3.：
Validation of an internal organization / 12.3.4.：
System configuration / 12.4.：
Internal organization / 12.4.2.：
Implementation / 12.5.：
DBMS parameters / 13.1.：
Database creation / 13.3.：
Structure creation / 13.3.1.：
Ontake of existing data / 13.3.2.：
Privacy definition / 13.3.3.：
Summary and predictions / 13.4.：
Current database technology / 14.1.：
Current research and development / 14.2.：
Predictions / 14.3.：
Answers to selected exercises
References
Index
Database system concepts / Part I：
Information systems and databases / 1：
Introduction / 1.1.：
35.

図書
図書
35. An introduction to discrete mathematics and formal system specification
D.C. Ince
出版情報: Oxford [Oxfordshire] : Clarendon Press, 1988  xii, 349 p. ; 22 cm
シリーズ名: Oxford applied mathematics and computing science series
所蔵情報: loading…
36.

図書
図書
36. Systems analysis and design. 2nd ed
Elias M. Awad
出版情報: Homewood, Ill. : R.D. Irwin, 1985  xiv, 524 p. ; 25 cm
シリーズ名: The Irwin series in information and decision sciences
所蔵情報: loading…
37.

図書
図書
37. Topics in expert system design : methodologies and tools
edited by Giovanni Guida, Carlo Tasso
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989  viii, 441 p. ; 25 cm
シリーズ名: Studies in computer science and artificial intelligence ; v. 5
所蔵情報: loading…
38.

図書
図書
38. Systems analysis and design
Gerald A. Silver, Myrna L. Silver
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1989  xv, 430 p. ; 24 cm
所蔵情報: loading…
39.

図書
図書
39. New information technology (pbk. : lib. bdg. ; pbk. : student ed. ; pbk. : Halsted Press)
editor, Alan Burns
出版情報: Chichester, West Sussex : E. Horwood , New York : Halsted Press, 1984  245 p. ; 24 cm
シリーズ名: Ellis Horwood series in computers and their applications ; 26
所蔵情報: loading…
40.

図書
図書
40. Information systems methodologies : a framework for understanding
T. William Olle ... [et al.]
出版情報: Wokingham, England ; Tokyo : Addison-Wesley Pub. Co., c1988  ix, 346 p. ; 24 cm
所蔵情報: loading…
41.

図書
図書
41. Analysis and design of information systems. 2nd ed
James A. Senn
出版情報: New York : McGraw-Hill, c1989  xvii, 853 p. ; 25 cm
所蔵情報: loading…
42.

図書
図書
42. Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings (: gw ; : us)
B. Banieqbal, H. Barringer, A. Pnueli (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vi, 448 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 398
所蔵情報: loading…
43.

図書
図書
43. Designing knowledge-based systems (: hard ; : pbk.)
T.R. Addis
出版情報: London : Kogan Page, 1985  322 p. ; 22 cm
シリーズ名: New technology modular series
所蔵情報: loading…
44.

図書
図書
44. Expertise transfer for expert system design
John H. Boose
出版情報: Amsterdam ; Tokyo : Elsevier, 1986  viii, 312 p. ; 25 cm
シリーズ名: Advances in human factors/ergonomics ; 3
所蔵情報: loading…
45.

図書
図書
45. Computer-aided specification techniques (: pbk)
János Demetrovics, Előd Knuth, Péter Radó
出版情報: Singapore ; Philadelphia : World Scientific, c1985  ix, 114 p. ; 24cm
シリーズ名: Series in computer science ; vol. 1
所蔵情報: loading…
46.

図書
図書
46. Programming system methodologies
Carol A. Ziegler
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1983  x, 260 p. ; 25 cm
所蔵情報: loading…
47.

図書
図書
47. Systems development using structured techniques (pbk.)
Malcolm Bull
出版情報: London ; New York : Chapman and Hall, 1989  xi, 305 p. ; 24 cm.
所蔵情報: loading…
48.

図書
図書
48. Concepts for distributed systems design (: gw ; : us)
Gregor von Bochmann
出版情報: Berlin ; New York : Springer-Verlag, 1983  xi, 259 p. ; 25 cm
所蔵情報: loading…
49.

図書
図書
49. Controlling in-plant airborne contaminants : systems design and calculations
by John D. Constance
出版情報: New York : M. Dekker, c1983  xvii, 341 p. ; 23 cm
シリーズ名: Mechanical engineering ; 21
所蔵情報: loading…
50.

図書
図書
50. Analyst workbenches
[R. Rock-Evans, editor]
出版情報: Oxford ; New York : Pergamon Infotech, c1987  ix, 436 p. ; 31 cm
シリーズ名: State of the art report ; ser. 15, no. 1
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼