Blank Cover Image
QRコード(所蔵情報)

数理情報学入門 : スコット・プログラム理論

フォーマット:
図書
責任表示:
中島玲二著
言語:
日本語
出版情報:
東京 : 朝倉書店, 1982.3
形態:
ix, 170p ; 21cm
著者名:
中島, 玲二(1947-) <DA00666141>  
シリーズ名:
数理科学ライブラリー ; 3 <BN00080300>
書誌ID:
BN0060996X
ISBN:
9784254114133 [4254114133]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック やさしいCOBOL入門 : 操作の基本とプログラム技法

黒田, 康太

東京電機大学出版局
7 図書 プログラム意味論

横内, 寛文

共立出版
2 図書 プログラミング言語の基礎理論

大堀, 淳(1957-)

共立出版
8 図書 C : 言語とプログラミング

米田, 信夫(1930-1996), 斎藤, 信男(1940-), 武市, 正人(1948-), 石畑, 清(1952-)

産業図書
3 図書 プログラミング言語理論入門 : ALGOLを基礎として

小林, 孝次郎(1939-), 前島, 亨

総合図書
9 図書 PASCALプログラミング

米田, 信夫(1930-), 疋田, 輝雄(1947-)

サイエンス社
4 図書 プログラムの設計

山崎, 利治

共立出版
10 図書 プログラムの読み方

森口, 繁一(1916-2002), 小林, 光夫(1941-), 武市, 正人(1948-)

岩波書店
5 図書 プログラム言語

米田, 信夫(1930-), 西村, 恕彦(1935-)

岩波書店
11 図書 プログラム言語の掟

I/O編集部

工学社
6 図書 プログラム検証論

林, 晋(1953-)

共立出版
12 図書 LISP入門 : システムとプログラミング

中西, 正和(1943-)

近代科学社