>> Google Books

コンピュータサイエンスにおける様相論理

フォーマット:
図書
責任表示:
鹿島亮著
言語:
日本語
出版情報:
東京 : 森北出版, 2022.1
形態:
vii, 165p : 挿図 ; 22cm
著者名:
鹿島, 亮 <DA16401306>  
書誌ID:
BC12324744
ISBN:
9784627856417 [4627856415]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 オリエンテーション : コンピュータサイエンス

有澤, 誠(1944-)

日本評論社
7 図書 コンピュータサイエンス探偵の事件簿 : データ構造と探索アルゴリズムが導く真実

Kubica, Jeremy, 鈴木, 幸敏(1979-)

オライリー・ジャパン, オーム社 (発売)
2 図書 教養としてのコンピュータ・サイエンス

渡辺, 治(1958-)

サイエンス社
8 図書 自然・社会現象に学ぶコンピュータサイエンス : 新しい超並列・超分散処理のパラダイム

日本学際会議, 一松, 信(1926-), 村岡, 洋一

共立出版
3 図書 コンピュータサイエンスのカリキュラム

國井, 利泰(1938-)

共立出版
9 図書 計算論的思考ってなに? : コンピュータサイエンティストのように考える

中島, 秀之(1952-), 平田, 圭二, 南部, 美砂子, Vallance, Michael, 片桐, 恭弘(1954-), 美馬, のゆり(1960-)

公立はこだて未来大学出版会, 近代科学社 (発売)
4 図書 コンピュータサイエンス : 計算を通して世界を観る

渡辺, 治(1958-)

丸善出版
10 図書 コンピュータサイエンス

Rice, John K., Rice, John Rischard, 細井, 勉(1937-), 佐藤, 雅彦(1947-), 関本, 年彦(1937-)

サイエンス社
5 図書 コンピュータサイエンスのカリキュラム

國井, 利泰(1938-)

共立出版
11 図書 非線形電子回路 : コンピュータ・サイエンスの基礎技術

森, 亮一

昭晃堂
6 図書 チューリングさんの贈りもの : コンピュータサイエンス入門

足立, 暁生(1936-)

東京電機大学出版局
12 図書 数理論理学

鹿島, 亮

朝倉書店