close
1.

図書
図書
1. Tricks of the game-programming gurus. 1st ed
André LaMothe ... [et al.]
出版情報: Indianapolis, IN : Sams Pub., c1994  xviii, 746 p. ; 23 cm.
所蔵情報: loading…
2.

図書
図書
2. Principles of electronic instrumentation. 3rd ed (: pbk)
A. James Diefenderfer, Brian E. Holton
出版情報: Belmont, CA : Brooks/Cole, Cengage Learning, c1994  1 v. (various pagings) ; 26 cm
所蔵情報: loading…
3.

図書
図書
3. 工業技術英語の基礎
高橋晴雄著
出版情報: 東京 : 森北出版, 1994.3  viii, 159p ; 22cm
所蔵情報: loading…
4.

図書
図書
4. 制約にもとづく統語論と意味論 : HPSG入門
カール・ポラード, アイバン・A・サグ著 ; 郡司隆男訳
出版情報: 東京 : 産業図書, 1994.5  vii, 305p ; 22cm
所蔵情報: loading…
5.

図書
図書
5. 動詞
鈴木英一, 安井泉著
出版情報: 東京 : 研究社出版, 1994.7  xvii, 425p ; 22cm
シリーズ名: 現代の英文法 / 荒木一雄, 長谷川欣佑, 安井稔編集 ; 第8巻
所蔵情報: loading…
6.

図書
図書
6. 空中庭園=連結超高層建築1993 : [新梅田シティ]の記録
彰国社編
出版情報: 東京 : 彰国社, 1994.4  282p ; 29cm
所蔵情報: loading…
7.

図書
図書
7. 海軍 : 加藤寛治日記
[加藤寛治著] ; 伊藤隆他編
出版情報: 東京 : みすず書房, 1994.8  xxxii, 633p, 図版 [2] p ; 22cm
シリーズ名: 続・現代史資料 ; 5
所蔵情報: loading…
8.

図書
図書
8. やさしい機械英語
青柳忠克著
出版情報: 東京 : オーム社, 1994.1  vii, 164p ; 21cm
所蔵情報: loading…
9.

図書
図書
9. 英語で科学を書こう ([正] ; 続)
井口道生著
出版情報: 東京 : 丸善, 1994.1-1995.12  2冊 ; 19cm
シリーズ名: パリティブックス
所蔵情報: loading…
10.

図書
図書
10. 科学英語を書く : 論文英訳のポイント
山口喬著
出版情報: 東京 : 培風館, 1994.2  v, 165p ; 22cm
所蔵情報: loading…
11.

図書
図書
11. 公共空間のサイン
赤瀬達三, 横田保生編著
出版情報: 東京 : 六耀社, 1994.2  237p ; 31cm
シリーズ名: Designing signs ; Vol.1
所蔵情報: loading…
12.

図書
図書
12. ヴェンチューリ・スコット・ブラウン&アソシエイツ
ヴェンチューリ・スコット・ブラウン&アソシエイツ [作]
出版情報: 東京 : シグマユニオン , 東京 : オーク出版サービス (発売), 1994.2  144p ; 31cm
シリーズ名: 現代建築家集
所蔵情報: loading…
13.

図書
図書
13. 言語学への招待
中島平三, 外池滋生編著
出版情報: 東京 : 大修館書店, 1994.3  viii, 286p ; 21cm
所蔵情報: loading…
14.

図書
図書
14. 英語でうまく発表したい書きたい人の科学論文マニュアル
デビット・リンゼイ著 ; 菅原勇監訳 ; 片山佳子訳
出版情報: 新潟 : 西村書店, 1994.10  128p ; 19cm
所蔵情報: loading…
15.

図書
図書
15. 谷山豊全集. 増補版
谷山豊著 ; 杉浦光夫 [ほか] 編
出版情報: 東京 : 日本評論社, 1994.10  369p, 図版 [1] 枚 ; 27cm
所蔵情報: loading…
目次情報: 続きを見る
Jacobian varieties and number fields : a mimeographed note, University of Tokyo (September, 1955)
Jacobian varieties and number fields : mimeographed notes (the International Symposium on Algebraic Number Theory, Tokyo-Nikko, September, 1955)
Jacobian varieties and number fields : proceedings of the International Symposium on Algebraic Number Theory, Tokyo-Nikko, 1955; pp.31-45; (October, 1956)
On a certain relation between L-functions : an unpublished manuscript dated February 4, 1956
Regular local system for an abelian extension : an unpublished manuscript written on February 17, 1956
A letter to André Weil
L-functions of number fields and zeta functions of abelian varieties : Journal of the Mathematical Society of Japan, vol.9, pp.330-366 (July, 1957)
Distribution of positive 0-cycles in absolute classes of an algebraic variety with finite constant field : Scientific papers of the College of General Education, University of Tokyo, Vol.8, pp.123-137 (1958)
Problems
ABEL函数体ノn-分割ニツイテ : WEILノ有限性定理ノ代数的証明
日本数学会講演アブストラクト
Jacobi多様体と数体
虚数乗法に関する非公式討論会
問題
A.Weilの印象
A.Weilをめぐって
類体の構成について
モヅル函数と合同ζ-函数
整数論
空々しさということ
虚数乗法と合同ζ-函数
シンポジウムについて
代数幾何学と整数論
A.Weilに接して
Weylと整数論
数論グループ
代数的整数論におけるζ-函数
巻頭に寄せて
少数精鋭主義について
整数論展望
数理科学研究所設立の問題について : 全国の研究者各位に訴える
米国留学について二つの意見
大学院の問題について
応用数学小委員会への質問状 : 数理研の問題について
ヒルベルトのモヂュラー函数について
(自己紹介)
「零 (ゼロ) の発見」
「科学と方法」
1955年国際数学会議
Quelques questions
或る映画を見てある人がどう考へるかと云ふことについて : 一つの実例
四行詩
屋上屋を架す
正雄さんの話
正夫さんの話
現代数学の性格について
新人紹介 Peter Roquette
A.Weil「ゼータ函数の育成について」
A.Weil「イデール類群の或る指標について」
『近代的整数論』第1章歴史
Jacobian varieties and number fields : a mimeographed note, University of Tokyo (September, 1955)
Jacobian varieties and number fields : mimeographed notes (the International Symposium on Algebraic Number Theory, Tokyo-Nikko, September, 1955)
Jacobian varieties and number fields : proceedings of the International Symposium on Algebraic Number Theory, Tokyo-Nikko, 1955; pp.31-45; (October, 1956)
16.

図書
図書
16. 分子機能材料と素子開発
清水剛夫, 吉野勝美監修 ; 松永孜編集幹事
出版情報: 東京 : NTS, 1994.10  12, 759p ; 27cm
所蔵情報: loading…
17.

図書
図書
17. 教育 : 御真影と教育勅語 (1 ; 2 ; 3)
佐藤秀夫編
出版情報: 東京 : みすず書房, 1994.12-1996.10  3冊 ; 22cm
シリーズ名: 続・現代史資料 ; 8-10
所蔵情報: loading…
18.

図書
図書
18. 科学論文・講演ハンドブック : うまく正確に伝える : 投稿・出版・放送で
M. ショートランド, J. グレゴリー著 ; 江川智明, 上田徳訳
出版情報: 新潟 : 西村書店, 1994.11  253p ; 19cm
所蔵情報: loading…
19.

図書
図書
19. Intermediate elementary mathematics = 中级基础数学
by W.H. Hsiang
出版情報: 上海 : 上海科学技术文献出版社, 1994.4  349 p. ; 26 cm
所蔵情報: loading…
20.

図書
図書
20. The plutonium story : the journals of professor Glenn T. Seaborg, 1939-1946
edited and annotated by Ronald L. Kathren, Jerry B. Gough, Gary T. Benefiel
出版情報: Columbus : Battelle Press, c1994  ix, 920 p. ; 29 cm
所蔵情報: loading…
21.

図書
図書
21. The age of diminished expectations : U.S. economic policy in the 1990s. 3rd ed (: pbk ; : hbk)
Paul Krugman
出版情報: Cambridge, Mass. ; London : MIT Press, c1994  xii, 232 p. ; 23 cm
所蔵情報: loading…
22.

図書
図書
22. Object orientation : the KISS method : from information architecture to information system
Gerald Kristen
出版情報: Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., 1994  xxvi, 487 p. ; 24 cm
所蔵情報: loading…
23.

図書
図書
23. Alan Turing : the enigma
Andrew Hodges
出版情報: Wien, New York : Springer, c1994  662 p., [8] p. of plates ; 25 cm
所蔵情報: loading…
24.

図書
図書
24. Path integral approach to quantum physics : an introduction. Study ed
Gert Roepstorff
出版情報: Berlin : Springer, c1994  xiii, 387 p. ; 24 cm
シリーズ名: Texts and monographs in physics
所蔵情報: loading…
25.

図書
図書
25. Logic for computer science : foundations of automatic theorem proving. facsim
Jean H. Gallier
出版情報: Ann Arbor, Mich. : University Microfilms International, 1994  xv, 511 p. ; 23 cm
所蔵情報: loading…
26.

図書
図書
26. Photo-reactive materials for ultrahigh density optical memory : MITI research and development program on basic technologies for future industries
edited by Masahiro Irie
出版情報: Amsterdam ; New York : Elsevier, 1994  vii, 240 p. ; 25 cm
所蔵情報: loading…
27.

図書
図書
27. Organic matter (: gw ; : us)
guest-editor, B. Blümich ; with contributions by H.W. Beckham ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994  213 p. ; 25 cm
シリーズ名: NMR : basic principles and progress = NMR : Grundlagen und Fortschritte / editors, P. Diehl ... [et al.] ; v. 32 . Solid-state NMR ; 3
所蔵情報: loading…
28.

図書
図書
28. Execution support environment
Teodor Rus, Daniela Rus
出版情報: Singapore ; River Edge, N.J. : World Scientific, 1994  xii, 427 p. ; 23 cm
シリーズ名: System software and software systems : concepts and methodology ; v. 2
所蔵情報: loading…
29.

図書
図書
29. Computerized chemical data standards : databases, data interchange, and information systems
Rich Lysakowski and Charles E. Gragg, editors
出版情報: Philadelphia : ASTM, c1994  xiii, 156 p. ; 23 cm
シリーズ名: ASTM special technical publication ; 1214
所蔵情報: loading…
30.

図書
図書
30. Head and neck injuries in sports
Earl F. Hoerner, editor
出版情報: Philadelphia, PA : ASTM, c1994  x, 365 p. ; 23 cm
シリーズ名: ASTM special technical publication ; 1229
所蔵情報: loading…
31.

図書
図書
31. Cyclic deformation, fracture, and nondestructive evaluation of advanced materials : second volume
M.R. Mitchell and Otto Buck, editors
出版情報: Philadelphia, PA : ASTM, c1994  vii, 398 p. ; 24 cm
シリーズ名: ASTM special technical publication ; 1184
所蔵情報: loading…
32.

図書
図書
32. Fatigue of electronic material
Scott A. Schroeder and M.R. Mitchell, editors
出版情報: Philadelphia, PA : ASTM, c1994  viii, 146 p. ; 23 cm
シリーズ名: ASTM special technical publication ; 1153
所蔵情報: loading…
33.

図書
図書
33. Case studies for fatigue education
Ralph I. Stephens, editor
出版情報: Philadelphia, PA : ASTM, c1994  219 p. ; 23 cm
シリーズ名: ASTM special technical publication ; 1250
所蔵情報: loading…
34.

図書
図書
34. Nondestructive testing of pavements and backcalculation of moduli : second volume
Harold L. Von Quintus, Albert J. Bush III, and Gilbert Y. Baladi, editors
出版情報: Philadelphia, PA : ASTM, c1994  xi, 525 p. ; 24 cm
シリーズ名: ASTM special technical publication ; 1198
所蔵情報: loading…
35.

図書
図書
35. Zirconium in the nuclear industry : tenth international symposium
Anand M. Garde and E. Ross Bradley, editors
出版情報: Philadelphia, PA : ASTM, c1994  xix, 799 p. ; 24 cm
シリーズ名: ASTM special technical publication ; 1245
所蔵情報: loading…
36.

図書
図書
36. Automation in fatigue and fracture : testing and analysis
Claude Amzallag, editor
出版情報: Philadelphia, PA : ASTM, c1994  665 p. ; 24 cm
シリーズ名: ASTM special technical publication ; 1231
所蔵情報: loading…
37.

図書
図書
37. Global transformation : challenges to the state system
edited by Yoshikazu Sakamoto
出版情報: Tokyo ; New York : United Nations University Press, c1994  xiii, 506 p. ; 24 cm
所蔵情報: loading…
38.

図書
図書
38. Annual reviews of computational physics (v. 1 - v. 9)
edited by Dietrich Stauffer
出版情報: Singapore : World Scientific, 1994-  v. ; 23 cm
所蔵情報: loading…
39.

図書
図書
39. Natural law theory : contemporary essays (: pbk)
edited by Robert P. George
出版情報: Oxford [England] : Clarendon Press , New York : Oxford University Press, 1994  x, 371 p. ; 22 cm
所蔵情報: loading…
40.

図書
図書
40. The first nuclear era : the life and times of a technological fixer
Alvin M. Weinberg
出版情報: New York : AIP Press, c1994  xi, 291 p. ; 25 cm
所蔵情報: loading…
41.

図書
図書
41. Logic and structure. 3rd augm. ed (: gw ; : us)
Dirk van Dalen
出版情報: Berlin ; New York : Springer-Verlag, c1994  viii, 215 p. ; 24 cm
シリーズ名: Universitext
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 0：
Propositional Logic / 1：
Propositions and Connectives / 1.1：
Semantics / 1.2：
Some Properties of Propositional logic / 1.3：
Natural Deduction / 1.4：
Completeness / 1.5：
The Missing Connectives / 1.6：
Predicate Logic / 2：
Quantifiers / 2.1：
Structures / 2.2：
The Language of a Similarity Type / 2.3：
Simple Properties of Predicate Logic / 2.4：
Identity / 2.6：
Examples / 2.7：
Adding the Existential Quantifier / 2.8：
Natural Deduction and Identity / 2.10：
Completeness and Applications / 3：
The Completeness Theorem / 3.1：
Compactness and Skolem-Lowenheim / 3.2：
Some Model Theory / 3.3：
Skolem Functions or How to Enrich Your Language / 3.4：
Second Order Logic / 4：
Intuitionistic Logic / 5：
Constructive Reasoning / 5.1：
Intuitionistic Propositional and Predicate Logic / 5.2：
Kripke Semantics / 5.3：
Normalisation / 5.4：
Cuts / 6.1：
Normalization for Classical Logic / 6.2：
Normalization for Intuitionistic Logic / 6.3：
Godel's theorem / 7：
Primitive recursive functions / 7.1：
Partial Recursive Functions / 7.2：
Recursively enumerable sets / 7.3：
Some arithmetic / 7.4：
Representability / 7.5：
Derivability / 7.6：
Incompleteness / 7.7：
Bibliography
Index
Introduction / 0：
Propositional Logic / 1：
Propositions and Connectives / 1.1：
42.

図書
図書
42. Encyclopedia of graphics file formats
James D. Murray and William vanRyper
出版情報: Sebastopol : O'Reilly, c1994  xxxii, 894 p. ; 24 cm.
所蔵情報: loading…
43.

図書
図書
43. Digital image processing : principles and applications (: pbk.)
Gregory A. Baxes
出版情報: New York : Wiley, c1994  xviii, 452 p. ; 24 cm.
所蔵情報: loading…
目次情報: 続きを見る
What Is Image Processing?
Fundamentals of Digital Image Processing
The Digital Image
Processing Concepts
Image Enhancement and Restoration
Image Analysis
Image Compression
Image Synthesis
Processing Systems
Image Origination and Display
Image Data Handling
Image Data Processing
Processing In Action
Image Operation Studies
Appendices
Glossary
Index
What Is Image Processing?
Fundamentals of Digital Image Processing
The Digital Image
44.

図書
図書
44. D-block chemistry (: pbk)
Mark J. Winter
出版情報: Oxford ; New York : Oxford University Press, 1994  90 p. ; 25 cm
シリーズ名: Oxford chemistry primers ; 27
Oxford science publications
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Complexes / 2：
Shape and isomerism / 3：
Electron accountancy / 4：
Bonding: an ionic model / 5：
Bonding: covalent models / 6：
Consequences of d-orbital splitting / 7：
Further reading / 8：
Index
Introduction / 1：
Complexes / 2：
Shape and isomerism / 3：
45.

図書
図書
45. Multidimensional solid-state NMR and polymers
K. Schmidt-Rohr and H.W. Spiess
出版情報: London ; Tokyo : Academic Press, c1994  xviii, 478 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Principles of NMR of Organic Solids
High-Resolution NMR Techniques for Solids
Fourier Theory for 1D and 2D NMR
Short Review of Structure and Dynamics of Solid Polymers
Multidimensional Separation and Correlation
Polymer Dynamics: Multidimensional Exchange Experiments
Multidimensional Exchange NMR Above the Glass Transition
Multidimensional Spectra, Correlation Functions, and Stochastic Processes
Time-Domain Signals for Multidimensional Spectra
Multidimensional Exchange Spectra: Simulations, Models, Angle Distributions
Determination of Order in Polymers by Multidimensional NMR
Domain Sizes and Internuclear Distances from Spin Diffusion and Dipolar Couplings
Appendices
Chapter References
Index
Introduction
Principles of NMR of Organic Solids
High-Resolution NMR Techniques for Solids
46.

図書
図書
46. Modernism at mid-century : the architecture of the United States Air Force Academy (: cloth ; : paper)
edited by Robert Bruegmann
出版情報: Chicago : University of Chicago Press, 1994  200 p. ; 26 x 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Contributors
Acknowledgments
Introduction / Robert Bruegmann
Creating a National Monument: Planning and Designing the Academy / Kristen Schaffer ; Skidmore, Owings
Merrill: The Early History / Sheri Olson
Architectural Consultants
Merrill: The Project Team
Strange Alliances: Frank Lloyd Wright and Congress
The Architects at Work: Design Drawings
Documenting Construction: Photos / Stewart's ; Robert Nauman
The National Geographic Visits the Academy
Raising the Roof: Constructing Mitchell Hall
Military Culture, Architectural Culture, Popular Culture
Man as Nature / Jory Johnson
Presenting the Academy
A Comprehensive Design Vision
Learning from Industry / James Russell
Lauded and Maligned: The Chapel
Epilogue
A Conversation between Walter / Netsch ; John Burchard
Recollections of Gordon Bunshaft
Interview with Lieutenant General Bradley Hosmer
Index
Contributors
Acknowledgments
Introduction / Robert Bruegmann
47.

図書
図書
47. Galaxy formation : Varenna on Lake Como, Villa Monastero, 21-31 July 1992 = Formazione delle galassie : Varenna sul Lago di Como, Villa Monastero, 21-31 Luglio 1992
edited by J. Silk and N. Vittorio
出版情報: Amsterdam : North-Holland, 1994  xiv, 360 p., [1] leaf of plates ; 25 cm
シリーズ名: Rendiconti della Scuola internazionale di fisica "Enrico Fermi" ; course 122
所蔵情報: loading…
48.

図書
図書
48. Fracture mechanics : twenty-fourth volume
John D. Landes, Donald E. McCabe, and J.A.M. Boulet, editors
出版情報: Philadelphia, PA : ASTM, c1994  809 p. ; 24 cm
シリーズ名: ASTM special technical publication ; 1207
所蔵情報: loading…
49.

図書
図書
49. Superconducting levitation : applications to bearings and magnetic transportation
Francis C. Moon ; with selected sections by Pei-Zen Chang
出版情報: New York : Wiley, c1994  xv, 295 p. ; 25 cm
所蔵情報: loading…
50.

図書
図書
50. Economics of distance education : recent experience
edited by G. Dhanarajan ... [et al.]
出版情報: Hong Kong : Open Learning Institute Press, c1994  x, 280p. ; 24cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼