|
JAIST Repository >
検索結果
検索結果表示: 931-940 / 1951.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 25-Sep-2003 | ‘Divergence via Abstraction' Practices for Inventing New Puzzles | Sugiyama, Kozo; Maeda, Atsuhiko; Mizumoto, Akinori |
| 31-Jul-2001 | A scenario-based object-oriented modeling method with algebraic specification techniques | Nakajima, Shin; Futatsugi, Kokichi |
| 7-Oct-1997 | Hilbert style proof system for BPL | Suzuki, Yasuhito; Ono, Hiroakira |
| Jul-1994 | Automatic generation of digests for meeting announcements in the NetNews | Sato, Madoka; Sato, Satoshi; Shinoda, Yoichi |
| 1-Feb-2006 | An SNMP based failure detection service | Wiesmann, Matthias; Urban, Peter; Defago, Xavier |
| 26-Aug-2003 | Generating a Workflow for Change Support of UML Documents | Kotani, Masayuki; Ochimizu, Koichiro |
| Jun-2015 | 統計的手法を用いた株価のクラスタリング―ファットテール性を有する株価収益率の相関構造の分析・知識形成 | 磯貝, 孝; いそがい, たかし |
| Mar-2015 | マルチユーザ・マルチアンテナ繰り返し受信機における電力配分法の研究 | Tervo, Valtteri Topias; てるう゛ぉ, う゛ぁるってり とぴあす |
| Mar-2015 | ケイホウ酸ガラス型有機・無機ハイブリッドの設計とその二次電池デバイスへの電気化学的応用 | Kumar Sai Smaran; くまる さい すまらん |
| 28-Oct-2017 | アジア大洋州における未来洞察の政策・戦略立案における活用状況 | 七丈, 直弘; 鷲田, 祐一 |
前へ
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
次へ
|
