計算論

QRコード(所蔵情報)

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

1

2

3

4

5

6

7

8

9

10

11

12

1 図書計算機科学/ソフトウェア技術講座広瀬, 健(1935-) 共立出版	7 図書アルゴリズムデータ構造計算論横森, 貴サイエンス社
2 図書計算論小林, 孝次郎(1939-) コロナ社	8 図書形式的モデルと意味論 Leeuwen, Jan van, 広瀬, 健(1935-) 丸善
3 図書論理広瀬, 健(1935-) 日本評論社	9 図書情報数学広瀬, 健(1935-) コロナ社
4 図書ソフトウェア評価技法 : 検査・検定・保守・コスト積算広瀬, 健(1935-) 共立出版	10 図書帰納的関数広瀬, 健(1935-) 共立出版
5 図書数学基礎論の応用広瀬, 健(1935-) 日本評論社	11 図書数学の方法 : 直観的イメージから数学的対象へ広瀬, 健(1935-) 共立出版
6 図書計算論入門 : 計算の基本原理理解のために渡辺, 治(1958-), 米崎, 直樹(1950-) 日本評論社	12 図書情報数学広瀬, 健(1935-) コロナ社