close
1.

図書
図書
1. 形式的モデルと意味論
Leeuwen, Jan van ; 広瀬, 健(1935-)
出版情報: 東京 : 丸善, 1994.2
シリーズ名: コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2
所蔵情報: loading…
2.

図書
図書
2. 最近の計算理論
Alfred V.Aho [編] ; R.V.Book [ほか] 著 ; 守屋悦朗翻訳
出版情報: 東京 : 近代科学社, 1976.1
所蔵情報: loading…
目次情報: 続きを見る
形式言語理論の話題 Ronald V. Book [著]
計算の複雑さ : 理論と実際 Allen Borodin [著]
プログラム図式 Zohar Manna [著]
木オートマトン : 非形式的な概要紹介 James W. Thatcher [著]
言語理論のコンパイラ設計への応用 Jeffrey D. Ullman [著]
形式言語理論の話題 Ronald V. Book [著]
計算の複雑さ : 理論と実際 Allen Borodin [著]
プログラム図式 Zohar Manna [著]