| 詳細情報 |   |
|---|---|
| 関連リンク |  |
| 探す |  |
書籍 (21件)
- Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software
Department of Computer Science, University of Copenhagen 2011 - 運算随伴方式による文書情報処理言語の設計とその効果的利用に関する研究
[武市正人] 2006 - 連想計算の代数に基づく並列連想計算方式の研究 : 「情報学」特定領域A01新しいソフトウエアの実現
胡振江 2006 - ロボット新世紀
東京大学綜合研究会 2006 - 構成的並列プログラミングモデルの設計及び実現に関する研究
武市正人 2002 - プログラム運算システムの設計および実現に関する研究
武市正人 2002 - プログラム運算システムの実用化に関する研究
武市正人 2001 - インタラクティブシステムとソフトウェア〈8〉日本ソフトウェア科学会WISS2000 (レクチャーノート・ソフトウェア学)
近代科学社 2000 ISBN:4764902850 - 計算機科学入門
近代科学社 2000 ISBN:4764902842 - 構成的アルゴリズム論に基づくプログラム最適化とその実現法に関する研究
武市正人 1999 - ソフトウェア工学の基礎〈5〉日本ソフトウェア科学会FOSE’98 (レクチャーノート ソフトウェア学)
近代科学社 1998 ISBN:4764902702 - ソフトウェア工学の基礎〈4〉-日本ソフトウェア科学会FOSE’97 (レクチャーノート ソフトウェア学)
近代科学社 1997 ISBN:4764902648 - インタラクティブシステムとソフトウェア〈5〉-日本ソフトウェア科学会WISS’97 (レクチャーノート ソフトウェア学)
近代科学社 1997 ISBN:476490263X - プログラムの自己進化機構とその実現法に関する研究
武市正人 1997 - ソフトウェア工学の基礎〈3〉日本ソフトウェア科学会FOSE’96 (レクチャーノート ソフトウェア学)
近代科学社 1996 ISBN:4764902591 - ソフトウェア工学の基礎〈2〉日本ソフトウェア科学会FOSE’95 (レクチャーノートソフトウェア工学)
近代科学社 1996 ISBN:4764902532 - ソフトウェア工学の基礎〈1〉日本ソフトウェア科学会FOSE’94 (レクチャーノートソフトウェア学)
近代科学社 1996 ISBN:4764902524 - 関数プログラミングII (レクチャーノート/ソフトウェア学10)
近代科学社(インプレス) 1994 ISBN:4844372238 - 関数プログラミング〈2〉JSSST’94 (レクチャノートソフトウェア学)
近代科学社 1994 ISBN:476490232X - プログラミング言語
岩波書店 1994
前のページに戻る
