核融合科学研究所図書室を検索します。
CiNii Researchを検索します。
NDLサーチのサイトはこちら
CiNii Booksを検索します。
目次情報検索を検索します。
SCOPUSを検索します。検索パネルが閉じている場合は+ボタンを押してください。
Web of Scienceを検索します。検索パネルが閉じている場合は+ボタンを押してください。
岡崎図書館を検索します。検索パネルが閉じている場合は+ボタンを押してください。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 511.3)
該当件数:6件
地盤の科学 : 地面の下をのぞいてみると… / 土木学会関西支部編
東京 : 講談社 , 1995.9. - (ブルーバックス ; B-1088)
図書
Abstract sets and finite ordinals : an introduction to the study of set theory / Geoffrey Bourton Keene
Oxford : Pergamon Press , 1961. - (International series of monographs on pure and applied mathematics ; vol. 23)
The universal Turing machine : a half-century survey / Rolf Herken (ed.)
2nd ed. - Wien : Springer-Verlag , c1995. - (Computerkultur ; v. 2)
Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
2nd. ed. - Boston : Academic Press , c1994. - (Computer science and scientific computing)
Mathematical logic and theoretical computer science / edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
New York : M. Dekker , c1987. - (Lecture notes in pure and applied mathematics ; v. 106)
Cellular automata and complexity : collected papers / Stephen Wolfram
: pbk. - Reading, Mass. : Addison-Wesley Pub. Co. , c1994