|
|
JAIST Repository >
検索結果
検索結果表示: 6131-6140 / 7099.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 23-May-1997 | 超並列シミュレーションとビジュアライゼーション | 堀口, 進; 井口, 寧; 山森, 一人; 林, 亮子; 加藤, 聡 |
| Jul-1994 | 投稿行動から見た電子ニュースfj | 佐藤, 円; 篠田, 陽一 |
| 29-May-2009 | Constructor-based Institutions | Gaina, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro |
| 22-Oct-2008 | カラードペトリネットによるワークフローシステムのモデル化と検証 | 平石, 邦彦; 山本, 豊 |
| 1-Feb-2006 | An SNMP based failure detection service | Wiesmann, Matthias; Urban, Peter; Defago, Xavier |
| 27-May-2013 | raSAT: SMT for Polynomial Inequality | To, Van Khanh; Ogawa, Mizuhito |
| 11-Sep-2012 | A Formal Framework for Access Rights Analysis | Li, Xin; Hua, Vy Le Thanh |
| 29-Jun-2011 | Modular Stacking-based Context-Sensitive Program Analysis | Li, Xin; Ogawa, Mizuhito |
| 21-Jun-2010 | Combining Testing and Static Analysis to Overflow and Roundoff Error Detection | Do, Ngoc Thi Bich; Ogawa, Mizuhito |
| 20-Nov-2007 | MDAフレームワークのEDA分野への適用 | 岩政, 幹人; 落水, 浩一郎 |
前へ
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
次へ
|
