close
1.

電子ブック
ＥＢ
1. Software verification and validation
Dolores R. Wallace
出版情報: SpringerLink Books - AutoHoldings , Gaithersburg, MD : U.S. Dept. of Commerce, National Institute of Standards and Technology, 1989
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Chapter 1：
Managing Verification and Validation / Chapter 2：
The Axioms of Leadership / Section 2.1：
Planning / Section 2.2：
Establishing the V&V Requirements / Section 2.2.1：
Establishing the V&V Plan / Section 2.2.2：
Managing the Plan / Section 2.3：
Effectiveness Measures / Section 2.3.2：
Control Gates / Section 2.3.3：
Risk Management / Section 2.4：
Identify / Section 2.4.1：
Analyze / Section 2.4.2：
Plan / Section 2.4.3：
Track / Section 2.4.4：
Control / Section 2.4.5：
Risk Management Plan / Section 2.4.6：
Communication Structures / Section 2.5：
References
The Verification and Validation Life Cycle / Chapter 3：
Traceability Analysis / Section 3.1：
Interface Analysis / Section 3.2：
Phase Dependent Analysis / Section 3.3：
Requirements Analysis / Section 3.3.1：
Design Analysis / Section 3.3.2：
Code Analysis / Section 3.3.3：
Test Analysis / Section 3.3.4：
V&V Testing / Section 3.4：
Systems V&V / Chapter 4：
Appendix A
Index
Introduction / Chapter 1：
Managing Verification and Validation / Chapter 2：
The Axioms of Leadership / Section 2.1：
2.

電子ブック
ＥＢ
2. Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
A. Monnis, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1989
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. The Selberg Trace Formula for PSL(2,ℝ)
Hejhal
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1983
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Proceedings of the 2nd annual international conference on Systems documentation
John Browne, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1983
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Proceedings of the 2nd international conference on Supercomputing
J. Lenfant, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1988
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Proceedings of the 13th conference on Winter simulation - Volume 2
Tuncer I. Ören, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Piscataway NJ : IEEE Press, 1981
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Proceedings of the 14th conference on Winter Simulation - Volume 2
Yen W. Chao, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , . : Winter Simulation Conference, 1982
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Proceedings of the 15th conference on Winter Simulation - Volume 2
Stephen Roberts, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Piscataway NJ : IEEE Press, 1983
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. 2nd European Congress on Optics Applied to Metrology
Grosmann
出版情報: SPIE Digital Library Proceedings , SPIE, 1980
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. 2nd Intl Symp of Biomechanics Cinematography and High Speed Photography
Terauds
出版情報: SPIE Digital Library Proceedings , SPIE, 1982
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. High Power CO2 Laser Systems and Applications
Quenzer
出版情報: SPIE Digital Library Proceedings , SPIE, 1989
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. CO2 Lasers and Applications
Evans
出版情報: SPIE Digital Library Proceedings , SPIE, 1989
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. CO2 Laser Devices and Applications
Hartwick
出版情報: SPIE Digital Library Proceedings , SPIE, 1980
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. C-Radikale: Teilband 1 & 2
M Regitz, B Giese
出版情報: Thieme Chemistry E-Books , Georg Thieme Verlag, 1989
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Carbene (Carbenoide): Teilband 1 & 2
Manfred Regitz, Josef Arct
出版情報: Thieme Chemistry E-Books , Georg Thieme Verlag, 1989
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. An Introduction to the PL/CV2 Programming Logic
Constable
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1982
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Classifying Immersions into ℝ4 over Stable Maps of 3-Manifolds into ℝ2
Levine
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1985
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Représentations de Weil et GL2 Algèbres de division et GLn
Kaise
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1987
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. ANSI Std C57.13.2-1986
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1988
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. ANSI Std C63.2-1987
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1988
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. ANSI/IEEE Std 488.2-1987
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1988
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. ANSI/IEEE Std 610.2-1987
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1987
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. ANSI/IEEE Std 802.2-1985
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1989
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. ANSI/IEEE Std C62.2-1987
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1989
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. ANSI/IEEE Std 802.2-1985: Logical Link Control
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1984
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. IEEE Std 982.2-1988
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1989
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. IEEE Std C37.2-1987
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1987
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Proceedings., 2nd Symposium on the Frontiers of Massively Parallel Computation
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1988
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. [1988] Proceedings. 2nd IEEE Conference on Computer Workstations
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1988
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. 1987 2nd IEEE Applied Power Electronics Conference and Exposition
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1987
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Proceedings of the 1981 2nd International Symposium on Unmanned Untethered Submersible Technology
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1981
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Selected papers of the 1982 ACM SIGMETRICS workshop on Software metrics: part 2
Herb Schwetman, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1982
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Ronald Fagin, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1983
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Proceedings of the 2nd international conference on Artificial intelligence and law
International Conference on Artificial Intelligence and Law, Association for Computing Machinery-Digital Library., University of British Columbia.
出版情報: ACM Digital Library Proceedings , ACM, 1989
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Proceedings of the 2nd International Workshop on Software configuration management
Richard N. Taylor, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1989
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Proceedings of the 2nd annual ACM SIGGRAPH symposium on User interface software and technology
John Sibert, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1989
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Advances in Laser Science-II: Proceedings of the 2nd International Laser Science Conference
International Laser Science Conference, Geraldine A. Kenney-Wallace, Marshall Lapp, William C. Stwalley
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 1987
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Proceedings of the 2nd workshop on Making distributed systems work
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Operating Systems., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York NY : ACM, 1986
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Register der Stoffklassen: Teil 2: Offenkettige Verbindungen der Bände I - XV sowie E1 - 5 und E11
H Kropf, J Backes
出版情報: Thieme Chemistry E-Books , Georg Thieme Verlag, 1987
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. C95.2-1982 - American National Standard Radio Frequency Radiation Hazard Warning Symbol
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1982
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. ANSI/IEEE Std C37.20.2-1987: IEEE/ANSI Standard for Metal-Clad and Station-Type Cubicle Switchgear
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1987
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. ANSI/IEEE Std C37.90.2: IEEE Trial-Use Standard Withstand Capability of Relay Systems to Radiated Electromagnetic Interference from Transceivers
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1987
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. ANSI/IEEE-ANS-7-4.3.2-1982: American National Standard Application Criteria for Programmable Digital Computer Systems in Safety Systems of Nuclear Power Generating Stations
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1982
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. IEEE Std C62.92.2-1989: IEEE Guide for the Application of Neutral Grounding in Electrical Utility Systems, Part II - Grounding of Synchronous Generator Systems
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1989
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. ANSI C63.2-1980: American National Standard Specifications for Electromagnetic Noise and Field Strength Instrumentation, 10 kHz to 1 GHz
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1980
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. ANSI C135.2-1987: American National Standard For Threaded Zinc-coated Ferrous Strand-eye Anchor Rods And Nuts For Overhead Line Construction
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1988
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. ANSI Std C63.2-1996: American National Standard for Instrumentation - Electromagnetic Noise and Field Strength, 10kHz to 40 GHz - Specifications
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1988
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. IEEE Std 303-1984 (Revision of IEEE No 303-1969): IEEE Recommended Practice for Auxiliary Devices for Motors in Class 1 - Groups A, B, C, and D, Division 2 Locations
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1984
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. C92.2-1987 - American National Standard for Power Systems - Alternating-Current Electrical Systems and Equipment Operating at Voltages Above 230 kV Nominal-Preferred Voltage Ratings
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1987
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Alkohole : : Teil 2. 4th Edition
by: Kropf, Heinz
出版情報: Stuttgart : Georg Thieme Verlag, 1980  1 online resource (919 pages)
シリーズ名: Methoden der Organischen Chemie ; VI/1a - Teil 2
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼