星野 康男 | (株)東芝情報通信システム技術研究所
スポンサーリンク
概要
(株)東芝情報通信システム技術研究所 | 論文
- ブール代数を用いた制約充足問題の定式化と解法についての検討
- ブール代数を用いた制約充足問題の定式化とその解法について
- 数理計画法を用いた制約充足問題の定式化について検討
- 4Y-7 イントラネット応用電力系統監視制御システム : システム概要とそのメリット(情報システムの構築(1),一般講演,コンピュータと人間社会)
- QRMを備えた高信頼サーバのソフトウェアアーキテクチャ