核融合科学研究所図書室を検索します。
CiNii Researchを検索します。
NDLサーチのサイトはこちら
CiNii Booksを検索します。
目次情報検索を検索します。
SCOPUSを検索します。検索パネルが閉じている場合は+ボタンを押してください。
Web of Scienceを検索します。検索パネルが閉じている場合は+ボタンを押してください。
岡崎図書館を検索します。検索パネルが閉じている場合は+ボタンを押してください。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 007.64)
該当件数:221件
形式的モデルと意味論
東京 : 丸善 , 1994.2. - (コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2)
図書
UNIX C shellフィールドガイド / G・アンダーソン, P・アンダーソン著 ; 落水浩一郎, 大木敦雄訳
東京 : パーソナルメディア , 1987.10
UNIXハンドブック / Morris I.Bolsky著 ; 石田晴久訳
東京 : 共立出版 , 1987.3
Javaクイックリファレンス / David Flanagan著 ; 永松健司訳
東京 : オライリー・ジャパン. - 東京 : オーム社 (発売) , 1996.8. - (A nutshell handbook)
JavaScriptリファレンス / David Flanagan著 ; 木下哲也訳
東京 : オライリー・ジャパン. - 東京 : オーム社 (発売) , 2012.8
詳細!Objective‐C iPhoneアプリ開発入門ノート : Xcode5+iOS7対応 / 大重美幸著
東京 : ソーテック社 , 2013.11. - (Oshige introduction note)
プログラミング原論 : いかにしてプログラムをつくるか / E. W. ダイクストラ著 ; 浦昭二 [ほか] 共訳
東京 : サイエンス社 , 1983.3. - (サイエンスライブラリ情報電算機 ; 42)
Common Lisp入門 / 湯浅太一, 萩谷昌己著
東京 : 岩波書店 , 1986.7. - (岩波コンピュータサイエンス)
JIS FORTRAN入門 / 森口繁一著
上,下. - 第2版. - 東京 : 東京大学出版会 , 1973.2-1973.12
構造化プログラミング / E.W.ダイクストラ, C.A.R.ホーア, O.-J.ダール共著 ; 野下浩平, 川合, 武市正人共訳
東京 : サイエンス社 , 1975.5. - (サイエンスライブラリ情報電算機 ; 32)
C言語入門 / Les Hancock, Morris Krieger共著 ; アスキー出版局監訳
東京 : アスキー , 1984.1. - (ASCII software science ; . Language ; 1)
数値解析とFORTRAN / 雨宮綾夫, 田口武夫編
増補2版. - 東京 : 丸善 , 1971.11
Fortran77による数値計算ソフトウェア / 渡部力, 名取亮, 小国力監修
東京 : 丸善 , 1989.12
vi入門 / Linda Lamb著 ; 福崎俊博訳
東京 : アスキー , 1992.4. - (Nutshell handbooks)
termcap & terminfo / John Strang, Linda Mui, Tim O'Reilly共著 ; 鈴木麗監訳
東京 : アスキー , 1992.10. - (Nutshell handbooks ; . Help for UNIX system administrators)
sed & awkプログラミング / Dale Dougherty著 ; 福崎俊博訳
東京 : アスキー , 1991.12. - (Nutshell handbooks)
The C programming language / Brian W. Kernighan, Dennis M. Ritchie
: pbk. - 2nd ed. - Englewood Cliffs, N.J. ; Tokyo : Prentice Hall , c1988. - (Prentice-Hall software series)
Numerical recipes in C : the art of scientific computing / William H. Press ... [et al.]
: book - : C diskette (IBM 3.5", 800K). - 2nd ed.. - Cambridge [England] ; New York, NY, USA : Cambridge University Press , 1992
Pythonによるデータ分析入門 : NumPy、pandasを使ったデータ処理 / ウェス・マッキニー著 ; 小林儀匡 [ほか] 訳
東京 : オライリー・ジャパン. - 東京 : オーム社 (発売) , 2013.12
データ分析のための機械学習入門 : Pythonで動かし、理解できる、人工知能技術 / 橋本泰一著
東京 : SBクリエイティブ , 2017.1. - (Informatics & IDEA)