検索結果104件中 1-20 を表示

  • National Institute of Informatics ID: 9000348887074

    CiNii収録論文: 1件

    • ユーザーインターフェースにおける制約解消法の研究動向 (2000)
  • National Institute of Informatics ID: 9000348887609

    CiNii収録論文: 1件

    • エージェント間通信におけるアブダクションによる投機的計算(<特集>マルチエージェント) (2003)
  • National Institute of Informatics ID: 9000348887668

    CiNii収録論文: 1件

    • ユーザインタフェースのための線形等式・不等式制約解消系(<特集>ソフトウェアシステム) (2002)
  • National Institute of Informatics : Tokyo Institute of Technology ID: 9000348888745

    CiNii収録論文: 1件

    • 安全に結合可能なmixinを提供するためのルール (2003)
  • National Institute of Informatics ID: 9000348889642

    CiNii収録論文: 1件

    • オントロジー構築に対する概念階層の整合性 (2004)
  • National Institute of Informatics (NII) ID: 9000348890173

    CiNii収録論文: 1件

    • オブジェクト指向によるセマンティックWeb開発方法論 : オントロジ構築を中心に(<特集>セマンティックWebと計算機科学) (2005)
  • National Institute of Informatics (NII):The University of Tokyo ID: 9000348890174

    CiNii収録論文: 1件

    • オブジェクト指向によるセマンティックWeb開発方法論 : オントロジ構築を中心に(<特集>セマンティックWebと計算機科学) (2005)
  • National Institute of Informatics ID: 9000348890182

    CiNii収録論文: 1件

    • OWLの推論とその計算量(<特集>セマンティックWebと計算機科学) (2005)
  • National Institute of Informatics ID: 9000348890186

    CiNii収録論文: 1件

    • 信頼のWeb(<特集>セマンティックWebと計算機科学) (2005)
  • National Institute of Informatics ID: 9000348891263

    CiNii収録論文: 1件

    • モデル検査法のソフトウェアデザイン検証への応用(<特集>新しいソフトウェアの実現,サイバー増大号) (2006)
  • National Institute of Informatics ID: 9000348891999

    CiNii収録論文: 1件

    • ネットワークトポロジの次数情報に着目したサーバ・クライアント負荷分散方式の提案と評価(<特集>ソフトウェア論文) (2007)
  • National Institute of Informatics ID: 9000348892097

    CiNii収録論文: 1件

    • PrologからJavaへのトランスレータ処理系とその応用 (2007)
  • National Institute of Informatics ID: 9000348892277

    CiNii収録論文: 1件

    • 仕様記述言語Zと証明環境Isabelle/HOL-Z(ソフトウェア紹介,<小特集>先端ソフトウェアツール) (2007)
  • National Institute of Informatics ID: 9000348892293

    CiNii収録論文: 1件

    • プログラム簡易検証ツールESC/Java2(ソフトウェア紹介,<小特集>先端ソフトウェアツール) (2007)
  • National Institute of Informatics ID: 9000348892297

    CiNii収録論文: 1件

    • 先端ソフトウェアツール小特集(<小特集>先端ソフトウェアツール) (2007)
  • National Institute of Informatics ID: 9000348893151

    CiNii収録論文: 1件

    • 特集「インタラクティブシステムとソフトウェア」の編集にあたって (2009)
  • Waseda University:National Institute of Informatics ID: 9000348893240

    CiNii収録論文: 1件

    • 適応エージェントのためのユビキタスコンピューティングミドルウェア(<特集>エージェント) (2008)
  • National Institute of Informatics ID: 9000348893241

    CiNii収録論文: 1件

    • 適応エージェントのためのユビキタスコンピューティングミドルウェア(<特集>エージェント) (2008)
  • National Institute of Informatics ID: 9000348893242

    CiNii収録論文: 1件

    • 適応エージェントのためのユビキタスコンピューティングミドルウェア(<特集>エージェント) (2008)
  • National Institute of Informatics:the University of Tokyo ID: 9000348893244

    CiNii収録論文: 1件

    • 適応エージェントのためのユビキタスコンピューティングミドルウェア(<特集>エージェント) (2008)

ページトップへ