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…
51.

電子ブック
ＥＢ
51. 解析入門 (2 : electronic bk)
杉浦光夫著
出版情報: 東京 : 東京大学出版会, 1985.4  1 オンラインリソース
シリーズ名: 基礎数学 ; 3
所蔵情報: loading…
52.

電子ブック
ＥＢ
52. Reduktion : : Teil 2. 4th Edition
by: Bracht, J., Hajós, A., Hartter, P., Muth, H., Sauerbier, M
出版情報: Stuttgart : Georg Thieme Verlag, 1981  1 online resource (1041 pages)
シリーズ名: Methoden der Organischen Chemie ; IV/1d
所蔵情報: loading…
53.

電子ブック
ＥＢ
53. C-Radikale : : Teilband 1 & 2. 4th Edition
by: Regitz, Manfred, Giese, Bernd
出版情報: Stuttgart : Georg Thieme Verlag, 1989  1 online resource (1595 pages)
シリーズ名: Methoden der Organischen Chemie ; E 19 a
所蔵情報: loading…
54.

電子ブック
ＥＢ
54. Carbene (Carbenoide) : : Teilband 1 & 2. 4th Edition
by: Regitz, Manfred
出版情報: Stuttgart : Georg Thieme Verlag, 1989  1 online resource (2249 pages)
シリーズ名: Methoden der Organischen Chemie ; E 19 b
所蔵情報: loading…
55.

電子ブック
ＥＢ
55. Cryptography
J. G.; Siekmann, J.; Goos, G. Carbonell
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1983
所蔵情報: loading…
56.

電子ブック
ＥＢ
56. ESEC '87
Nichols
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1987
所蔵情報: loading…
目次情報: 続きを見る
Configuration Management
The Internals of Environments: The Bones
The User Interface
The Internals of Environments: The Guts
Formal Specification
Re-Use
Validation
Arrows, Boxes, Circles (1)
Tools for ADA
Arrows, Boxes, Circles (2)
Specific Topics
Configuration Management
The Internals of Environments: The Bones
The User Interface
57.

電子ブック
ＥＢ
57. Advanced Topics in Artificial Intelligence
Nossum
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1988
所蔵情報: loading…
目次情報: 続きを見る
Contents: Fundamental Mechanisms for Artificial Intelligence Programming Languages - An Introduction.
Advanced Topics in Automated Deduction.
Qualitative Reasoning.
Knowledge Acquisition for Expert Systems.
Fundamental Mechanisms in Machine Learning and Inductive Inference: Part 2.
Topics in Planning.
Natural Language Systems.
Contents: Fundamental Mechanisms for Artificial Intelligence Programming Languages - An Introduction.
Advanced Topics in Automated Deduction.
Qualitative Reasoning.
58.

電子ブック
ＥＢ
58. Organische Peroxo-Verbindungen : : Teilband 1 und 2. 4th Edition
by: Blaschette, A., Bolick, E., Dahlmann, J., Dankowski, M., Dogan, B., Edl, W., Gäb, S., Griesbaum, K., Hägel, E., Hennig, H. W., Ivanov, S. K., Kalinowski, H.-O., König, W. A., Krebs, A., Kropf, H., Maher-Detweiler, M., Margaretha, P., Meijere, A. , Munke, S., Nürnberg, W., Pospíšil, J., Prescher, M., Rüchardt, C., Siegmeier, R., Torkler, A., Torkler, F., Turner, W. V., Waniczek, H., Weiberg, O., Wolf, F., Zeller, K.-P
出版情報: Stuttgart : Georg Thieme Verlag, 1988  1 online resource (1812 pages)
シリーズ名: Methoden der Organischen Chemie ; E 13
所蔵情報: loading…
59.

電子ブック
ＥＢ
59. Stochastic differential equations on manifolds (: electronic bk)
K.D. Elworthy
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1982  1 online resource
シリーズ名: London Mathematical Society lecture note series ; 70
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
Preliminaries and notation / 1：
Kolmogorov's Theorem, Totoki's Theorem, and Brownian Motion / 2：
The integral: estimates and existence / 3：
Special Cases / 4：
The change of variable formula / 5：
Stochastic integral equations / 6：
Stochastic differential equations on manifolds / 7：
Regularity / 8：
Diffusions / 9：
Appendices
References
Index
Preface
Introduction
Preliminaries and notation / 1：
60.

電子ブック
ＥＢ
60. Catalysis and automotive pollution control : : proceedings of the First International Symposium (CAPOC I), Brussels, September 8-11, 1986
editors, A. Crucq and A. Frennet
出版情報: Amsterdam ; New York : New York, NY, USA : Elsevier ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co., ©1987  1 online resource (xxiv, 495 pages)
シリーズ名: Studies in surface science and catalysis ; 30
所蔵情報: loading…
目次情報:
61.

電子ブック
ＥＢ
61. Hydrotreating catalysts : : preparation, characterization, and performance : proceedings of the Annual International AIChE Meeting, Washington, DC, November 27-December 2, 1988
editors, M.L. Occelli and R.G. Anthony
出版情報: Amsterdam ; New York : New York, NY, U.S.A. : Elsevier ; Distributors for the U.S. and Canada Elsevier Science Pub. Co., 1989  1 online resource (x, 295 pages)
シリーズ名: Studies in surface science and catalysis ; 50
所蔵情報: loading…
目次情報:
62.

電子ブック
ＥＢ
62. Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Peter Henderson, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1987
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. Carbocyclische π-Elektronen-Systeme /. 4th Edition
by: Asao, T., Becker, G., Blaschke, H., Kolshorn, H., Lindner, H. J., Oda, M., Sauerbier, M., Use, G., Zeller, K. P
出版情報: Stuttgart : Georg Thieme Verlag, 1985  1 online resource (916 pages)
シリーズ名: Methoden der Organischen Chemie ; V/2c
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. Arene und Arine /. 4th Edition
by: Blome, H., Clar, E., Fiege, H., Garratt, P. J., Grundmann, C., Gundermann, K.-D., Padeken, H.-G., Pauson, P. L., Voelter, W., Zander, M., Zeller, K.-P
出版情報: Stuttgart : Georg Thieme Verlag, 1981  1 online resource (796 pages)
シリーズ名: Methoden der Organischen Chemie ; V/2b
所蔵情報: loading…
65.

電子ブック
ＥＢ
65. Organische Phosphor-Verbindungen II /. 4th Edition
by: Regitz, Manfred
出版情報: Stuttgart : Georg Thieme Verlag, 1982  1 online resource (1205 pages)
シリーズ名: Methoden der Organischen Chemie ; E 2
所蔵情報: loading…
66.

電子ブック
ＥＢ
66. Register der Stoffklassen : : Teil a: Offenkettige Verbindungen der Bände I–XV sowie E1–5 und E11. 4th Edition
by: Backes, Jutta
出版情報: Stuttgart : Georg Thieme Verlag, 1987  1 online resource (1033 pages)
シリーズ名: Methoden der Organischen Chemie ; XVI/2
所蔵情報: loading…
67.

電子ブック
ＥＢ
67. Register der Stoffklassen : : Teil b: Cyclische sowie Spiro- und Bi-Verbindungen; Steroide; Namensreaktionen. 4th Edition
by: Backes, Jutta
出版情報: Stuttgart : Georg Thieme Verlag, 1987  1 online resource (1212 pages)
シリーズ名: Methoden der Organischen Chemie ; XVI/2
所蔵情報: loading…
68.

電子ブック
ＥＢ
68. Preparation of catalysts III : : scientific bases for the preparation of heterogeneous catalysts : proceedings of the third international symposium, Louvain-la-Neuve, September 6-9, 1982
editors, G. Poncelet and P. Grange and P.A. Jacobs
出版情報: Amsterdam ; New York : Elsevier, 1983  1 online resource (xv, 854 pages)
シリーズ名: Studies in surface science and catalysis ; 16
所蔵情報: loading…
目次情報:
69.

電子ブック
ＥＢ
69. Structure and reactivity of modified zeolites : : proceedings of an international conference, Prague, July 9-13, 1984
editors, P.A. Jacobs [and others]
出版情報: Amsterdam ; New York : New York, N.Y. : Elsevier ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1984  1 online resource (xi, 376 pages)
シリーズ名: Studies in surface science and catalysis ; 18
所蔵情報: loading…
70.

電子ブック
ＥＢ
70. Catalyst deactivation : : proceedings of the international symposium, Antwerp, October 13-15, 1980
edited by B. Delmon and G.F. Froment
出版情報: Amsterdam ; New York : New York : Elsevier Scientific Pub. Co. ; Distributors for the U.S. and Canada, Elsevier/North-Holland, 1980  1 online resource (ix, 602 pages)
シリーズ名: Studies in surface science and catalysis ; 6
所蔵情報: loading…
71.

電子ブック
ＥＢ
71. Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra
Beth
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1988
所蔵情報: loading…
目次情報: 続きを見る
From T(m) Triangular Graphs to Single-Error-Correcting Codes
Integration of Graphical Tools in a Computer Algebra System
Type Inference Using Unification in Computer Algebra
The Weight Distribution of Double-Error-Correcting Goppa Codes
A Simple Analysis of the Blokh-Zyablov Decoding Algorithm
Design of a Viterbi Decoder with Microprocessor-Based Serial Implementation
On s-Sum-Sets (s odd) and Three-Weight Projective Codes
On the Integration of Numeric and Algebraic Computations
A Symbolic Manipulation System for Combinatorial Problems
Standard Bases and Non-Noetherianity: Non-Commutative Polynomial Rings
Embedding Self-Dual Codes into Projective Space
The Finite Fourier-Transform as a Modular Substitution
On Computers and Modular Representations of SLn(K)
Construction of SDMC Codes over GF(2) or GF(3)
Fast 16: A Software Program for Factorising Polynomials over Large GF(p)
Characterization of Completely Regular Codes through P-Polynomial Association Schemes
Codes on Hermitian Curves.- Symmetries of Cyclic Extended Goppa Codes over Fq
Some Bounds for the Construction of Grwbner Bases
Analysis of a Class of Algorithms for Problems on Trace Languages
Authors Index
From T(m) Triangular Graphs to Single-Error-Correcting Codes
Integration of Graphical Tools in a Computer Algebra System
Type Inference Using Unification in Computer Algebra
72.

電子ブック
ＥＢ
72. Group Extensions, Representations, and the Schur Multiplicator
Beyl, J. Tappe
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1982
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Group Extensions with Abelian Kernel / Chapter I：
The Calculus of Induced Extensions / 1：
The Exact Sequence for Opext / 2：
The Schur Multiplicator and the Universal Coefficient Theorem / 3：
The Ganea Map of Central Extensions / 4：
Compatibility with Other Approaches / 5：
Corestriction (Transfer) / 6：
Schur's Theory of Projective Representations / Chapter II：
Projective Representations
The Problem of Lifting Homomorphisms
Representation Groups
Representation Groups of Free and Direct Products
The Covering Theory of Perfect Groups
Isoclinism / Chapter III：
Isoclinic Groups and Central Extensions
Isoclinism and the Schur Multiplicator
The Isomorphism Classes of Isoclinic Central Extensions and the Hall Formulae
On Presentations of Isoclinic Groups
Representations of Isoclinic Groups
Other Group-Theoretic Applications of the Schur Multiplicator / Chapter IV：
Deficiency of Finitely Presented Groups
Metacyclic Groups
The Precise Center of an Extension Group and Capable Groups
Examples of the Computation of Z*(G)
Preliminaries on Group Varieties
Central Extensions and Varieties
Schur-Baer Multiplicators and Isologism / 7：
Bibliography
Index of Special Symbols
Subject Index
Introduction
Group Extensions with Abelian Kernel / Chapter I：
The Calculus of Induced Extensions / 1：
73.

電子ブック
ＥＢ
73. Recent advances in zeolite science : : proceedings of the 1989 Meeting of the British Zeolite Association, Cambridge, April 17-19, 1989
editors, Jacek Klinowski and Patrick J. Barrie
出版情報: Amsterdam ; New York : Elsevier, 1989  1 online resource (viii, 309 pages)
シリーズ名: Studies in surface science and catalysis ; vol. 52
所蔵情報: loading…
目次情報:
74.

電子ブック
ＥＢ
74. Unsteady processes in catalytic reactors /
Yu. Sh. Matros
出版情報: Amsterdam ; New York : Elsevier Science Publishers, 1985  1 online resource (xii, 364 pages)
シリーズ名: Studies in surface science and catalysis ; 22
所蔵情報: loading…
75.

電子ブック
ＥＢ
75. Catalyst deactivation 1987 : : proceedings of the 4th international symposium, Antwerp, September 29-October 1, 1987
editors, B. Delmon and G.F. Froment
出版情報: Amsterdam ; New York : New York, NY, U.S.A. : Elsevier ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1987  1 online resource (xiv, 665 pages)
シリーズ名: Studies in surface science and catalysis ; vol. 34
所蔵情報: loading…
目次情報:
76.

電子ブック
ＥＢ
76. Preparation of catalysts IV : : scientific bases for the preparation of heterogeneous catalysts : proceedings of the fourth international symposium, Louvain-la-Neuve, September 1-4, 1986
editors, B. Delmon [and others]
出版情報: Amsterdam ; New York : Elsevier, 1987  1 online resource (xviii, 868 pages)
シリーズ名: Studies in surface science and catalysis ; 31
所蔵情報: loading…
目次情報:
77.

電子ブック
ＥＢ
77. Catalytic processes under unsteady-state conditions /
Yu. Sh. Matros
出版情報: Amsterdam ; New York : New York, NY, U.S.A. : Elsevier ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1989  1 online resource (xiv, 403 pages)
シリーズ名: Studies in surface science and catalysis ; vol. 43
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. Successful design of catalysts : : future requirements and development : proceedings of the worldwide catalysis seminars, July, 1988, on the occasion of the 30th anniversary of the Catalysis Society of Japan
editor T. Inui
出版情報: Amsterdam, the Netherlands ; New York : Elsevier, 1989  1 online resource (xi, 355 pages)
シリーズ名: Studies in surface science and catalysis ; vol. 44
所蔵情報: loading…
目次情報:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼