close
1.

図書
図書
1. アルゴリズムと計算可能性
五十嵐善英著
出版情報: 東京 : 昭晃堂, 1987.4  165p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 32
所蔵情報: loading…
2.

図書
図書
2. データ構造 (1 ; 2)
A.T.ベルッティス著 ; 古川康一 [ほか] 訳
出版情報: 東京 : 日本コンピュータ協会, 1974.3  2冊 ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 18
所蔵情報: loading…
3.

図書
図書
3. コンピュータ・アルゴリズム
小澤孝夫著
出版情報: 東京 : 昭晃堂, 1990.8  2, iii, 212p ; 22cm
所蔵情報: loading…
4.

図書
図書
4. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings (: gw ; : us)
edited by Pierre Lescanne
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 285 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 256
所蔵情報: loading…
5.

図書
図書
5. Rewriting techniques and applications : Dijon, France, May 20-22, 1985 (: gw ; : us)
edited by Jean-Pierre Jouannaud
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  vi, 440 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 202
所蔵情報: loading…
目次情報: 続きを見る
History and Basic Features of the Critical-Pair/Completion Procedure / B. Buchberger
Thue Systems as Rewriting Systems. N. Dershowitz, Termination of Rewriting / R.V. Book
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited / M. Rusinowitch
Rewrite Methods for Theorem Proving in First Order Theory with Equality / J. Hsiang
Unification in Combinations of Collapse-Free Regular Theories / K.A. Yellick
Unification Problems with One-Sided Distributivity / E. Tiden ; S. Arnborg
Complexity of Matching Problems / D. Benanav ; D. Kapur ; P. Narendran
Index
History and Basic Features of the Critical-Pair/Completion Procedure / B. Buchberger
Thue Systems as Rewriting Systems. N. Dershowitz, Termination of Rewriting / R.V. Book
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited / M. Rusinowitch
6.

図書
図書
6. Algebraic algorithms and error-correcting codes : 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985, proceedings (: gw ; : us)
edited by Jacques Calmet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  vii, 415 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 229
所蔵情報: loading…
7.

図書
図書
7. 数学的基礎とデータ構造
T.コルメン, C.ライザーソン, R.リベスト共著 ; 浅野哲夫 [ほか] 共訳
出版情報: 東京 : 近代科学社, 1995.12  ix, 305p ; 26cm
シリーズ名: アルゴリズムイントロダクション / T.コルメン, C.ライザーソン, R.リベスト共著 ; 浅野哲夫 [ほか] 共訳 ; 第1巻
所蔵情報: loading…
8.

図書
図書
8. アルゴリズムの設計と解析手法
T.コルメン, C.ライザーソン, R.リベスト共著 ; 浅野哲夫 [ほか] 共訳
出版情報: 東京 : 近代科学社, 1995.12  ix, 345p ; 26cm
シリーズ名: アルゴリズムイントロダクション / T.コルメン, C.ライザーソン, R.リベスト共著 ; 浅野哲夫 [ほか] 共訳 ; 第2巻
所蔵情報: loading…
9.

図書
図書
9. アルゴリズムとデータ構造. 初版2刷(第1回修正)
茨木俊秀著
出版情報: 東京 : 昭晃堂, 1990.4  2, 3, iii, 209p ; 22cm
シリーズ名: 21世紀を指向した電子・通信・情報カリキュラムシリーズ ; B-4
所蔵情報: loading…
10.

図書
図書
10. C言語によるアルゴリズムとデータ構造. 新版
柴田望洋, 辻亮介著
出版情報: 東京 : ソフトバンクパブリッシング, 2005.8  x, 327p ; 24cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼