|
|
JAIST Repository >
一覧: タイトル
検索結果: 13892-13912 / 18593.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2001 | 様相論理に対する代数とフレーム | 橋本, 安司; はしもと, やすし |
| Mar-2000 | 様相論理の積とシーケント計算による形式化の試み | 岩下, 達哉; いわした, たつや |
| Jun-2003 | 様相論理の結合体系 | 丸山, 晃生; まるやま, あきお |
| 3-Mar-2008 | 様相論理の証明支援系上の実装 | 矢田部, 俊介 |
| 28-Oct-2017 | 標準を利用したアウトバウンド型オープンイノベーションの効用分類 | 江藤, 学 |
| 21-Oct-2006 | 標準仕様開発型コンソーシアムの戦略とマネジメント(標準化 (1)) | 新井, 克己; 長田, 洋 |
| 15-Oct-2011 | 標準化における知的財産権マネージメント : 無線移動通信の標準化事業の例から | カン, ビョンウ; 元橋, 一之 |
| 27-Oct-2012 | 標準化の射程 : EU/ドイツにおけるEVの事例に見る境界横断的ネットワークの考察 | 糸久, 正人; 安本, 雅典 |
| 15-Oct-2004 | 標準化の経済効果(標準化(2)) | 依田, 高典; 木下, 信; 京極, 政宏 |
| 15-Oct-2004 | 標準化の経済性分析のための枠組みの整理 : 企業経営と標準化効果の基本的な関係(標準化(2)) | 京極, 政宏; 垣田, 行雄; 橋本, 伸; 関根, 重幸; 吉川, 治; 後藤, 芳一 |
| 15-Oct-2004 | 標準化の経済性評価に向けた政策的取り組み : 産業政策上の要請と評価の枠組(標準化(1)) | 後藤, 芳一; 吉川, 治; 橋本, 伸; 関根, 重幸; 京極, 政宏; 垣田, 行雄 |
| 27-Oct-2007 | 標準化をつかった事業戦略 : インテルのプラットフォーム戦略の事例(標準化(2),一般講演,第22回年次学術大会) | 立本, 博文 |
| 22-Oct-2005 | 標準化をベースにした国際協調戦略 : DVD産業におけるアーキテクチャ分析((ホットイシュー) 国際的技術標準戦略と研究開発 (3), 第20回年次学術大会講演要旨集II) | 新宅, 純二郎; 善本, 哲夫; 小川, 紘一 |
| 27-Oct-2007 | 標準化プロセスにおけるOrganizing Discipline(標準化(2),一般講演,第22回年次学術大会) | 高梨, 千賀子; 武石, 彰 |
| 1-Nov-1999 | 標準化活動と知的財産権 | 山田, 肇 |
| 10-Oct-2015 | 標準化研究の動向と研究課題の変遷 | 江藤, 学 |
| 22-Oct-2005 | 標準化競争における位置取り戦略 : メモリーカード業界における競争と強調 | 椙山, 泰生; 長内, 厚 |
| 22-Oct-2005 | 標準化組織とパテントプール : そのコラボレーションの可能性((ホットイシュー) 国際的技術標準戦略と研究開発 (2), 第20回年次学術大会講演要旨集II) | 金, 正勲 |
| Mar-2001 | 標準成立プロセスの決定要因－ＩＴＳの事例研究－ | 植澤, 晴信; うえざわ, はるのぶ |
| 1-Nov-2013 | 標準的なゲームプレイヤにとって自然に見える疑似乱数列の生成法 | 野村, 久光; テンシリリックン, シラ; 池田, 心; Nomura, Hisamitsu; Temsiririrkkul, Sila; Ikeda, Kokolo |
| 15-Oct-2004 | 標準研究の課題 : 競争との関連で(標準化(1)) | 土井, 教之 |
|
