Blank Cover Image
所蔵情報QRコード

型理論 / 龍田真著

資料種別:
図書
出版情報:
東京 : 近代科学社, 1992.11
形態:
82p ; 26cm
シリーズ名:
レクチャーノート/ソフトウェア学 ; 1 <BN08413010>
著者名:
龍田, 真(1960-) <DA06893088>  
ISBN:
9784764902015 [476490201X]
書誌ID:
BN08418502
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 論理による問題の解法 : Prolog入門

Kowalski, Robert, 山田, 真市(1937-), 菊池, 光昭, 桑野, 龍夫

培風館
7 図書 最近の計算理論

Book, Ronald V., 守屋, 悦朗(1947-), Aho, Alfred V., 1941-

近代科学社
2 図書 計算モデルの基礎理論

井田, 哲雄(1947-)

岩波書店
8 図書 エージェント技術

本位田, 真一(1953-), 飯島, 正(データ通信), 大須賀, 昭彦(1958-)

共立出版
3 図書 数理統計学 : 正規型理論に基礎をおいて

河田, 龍夫(1911-), 川田, 孝行, Berman, Simeon M.

産業図書
9 図書 プログラムの基礎理論

小野, 寛晰(1942-)

サイエンス社
4 図書 ソフトウェアの信頼性 : 理論と実践的応用

山田, 茂(1952-), 大寺, 浩志

ソフト・リサーチ・センター
10 図書 プログラムの基礎理論

佐藤, 雅彦(1947-), 桜井, 貴文(1959-)

岩波書店
5 図書 プログラムの理論

Manna, Zohar, 五十嵐, 滋

日本コンピュータ協会
11 図書 計算機の数学的理論

Minsky, Marvin Lee, 1927-, 金山, 裕(1937-)

近代科学社
6 図書 プログラム理論

伊藤, 貴康(1940-)

コロナ社
12 図書 プログラム理論入門

Bird, Richard, 1943-2022, 土居, 範久(1939-), 菊池, 光昭, 藤村, 光

培風館
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12