ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
著者名典拠情報
NCID
DA02332850
名称(HDNG)
井田, 哲雄(1947-)||イダ, テツオ
生没年(DATE)
1947
から見よ(SF)
Ida, Tetsuo
Ida, T.
注記(NOTE)
筑波大学 システム情報工学研究科 コンピュータサイエン専攻 教授
「プログラミング言語の新潮流」の著者
EDSRC:求解、証明、書換のインタラクションによる記号計算と記号計算グリットの構築 / 井田哲雄研究代表 ([井田哲雄], 2008.5)
図書(3件)
選択行を:
10件
20件
50件
資料名
所在
1
プログラミング言語の新潮流 / 井田哲雄著. -- 共立出版, 1988.5. -- (計算機科学/ソフトウェア技術講座 / 廣瀬健[ほか]編 ; 2).
図書館(書庫)
007.6:Ke:2
2
計算モデルの基礎理論 / 井田哲雄 [著]. -- 岩波書店, 1991.3. -- (岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 12).
図書館(書庫)
007.6:I:12
3
チューリングを読む : コンピュータサイエンスの金字塔を楽しもう / チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳. -- 日経BP社, .
図書館(閲覧室)
007.1:P
選択行を
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성