Blank Cover Image
所蔵情報QRコード

ソフトウェア科学のための論理学 / 萩谷昌己 [著]

資料種別:
図書
出版情報:
東京 : 岩波書店, 1994.1
形態:
xvii, 220p ; 23cm
シリーズ名:
岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11 <BN02276369>
著者名:
ISBN:
9784000103510 [4000103512]
書誌ID:
BN10240152
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 ソフトウェア考現学 : 基礎概念への最新おもしろガイド

萩谷, 昌己(1957-)

CQ出版
7 図書 ソフトウェア・テストの技法

Myers, Glenford J., 1946-, 松尾, 正信, 長尾, 真(1936-)

近代科学社
2 図書 岩波講座ソフトウェア科学

長尾, 真(1936-)

岩波書店
8 図書 分子コンピュータの現状と展望 : 分子プログラミングへの展開

萩谷, 昌己(1957-)

サイエンス社
3 図書 電子計算機 : ソフトウェアの基礎

萩原, 宏(1926-), 長尾, 真(1936-), 星野, 聡(1931-), 北川, 一

オーム社
9 図書 化学系・生物系の計算モデル

萩谷, 昌己(1957-), 山本, 光晴(1972-)

共立出版
4 図書 論理と意味

長尾, 真(1936-), 淵, 一博(1936-)

岩波書店
10 図書 コンピュータによる定理の証明

Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939-, 長尾, 真(1936-), 辻井, 潤一(1949-)

日本コンピュータ協会
5 図書 論理と計算

萩谷, 昌己(1957-), 甘利, 俊一(1936-)

岩波書店
11 図書 Common Lispハンドブック

萩谷, 昌己(1957-), 湯淺, 太一(1952-)

岩波書店
6 図書 論理と計算のしくみ

萩谷, 昌己(1957-), 西崎, 真也

岩波書店
12 図書 Common Lisp入門

湯淺, 太一(1952-), 萩谷, 昌己(1957-)

岩波書店
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12