TC1(Foundations of Computer Science) : コンピュータサイエンスの基礎
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1998-08-15
著者
関連論文
- ソフトウェア科学会第3回大会
- 「WCC98に参加して/IFIP TC : この1年」
- ISLisp(Lisp言語のISO標準化案)とその動向
- 同期制御された正規表現の記述能力
- 同期機構を持つ並行プロセスの記述能力について--フロ-表現の拡張とその記述能力
- ソフトウェア基礎研究における思い出(2) : ソフトウェア基礎研究に関する国際活動(新しいソフトウェアの実現,サイバー増大号)
- ソルトウェア基礎研究における思い出(1) : プログラム理論の創世期の思い出
- TC1(Foundations of Computer Science) : コンピュータサイエンスの基礎
- プログラム理論とその応用(4)
- プログラム理論とその応用(2)
- プログラムの理論