|
|
JAIST Repository >
検索結果
検索結果表示: 2801-2810 / 3900.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 26-Sep-2008 | Fault-tolerant Flocking in a k-bounded Asynchronous System | Souissi, Samia; Yang, Yan; Defago, Xavier |
| 1-Feb-2006 | An SNMP based failure detection service | Wiesmann, Matthias; Urban, Peter; Defago, Xavier |
| 11-Jun-2013 | Nested Timed Automata | Li, Guoqiang; Cai, Xiaojuan; Ogawa, Mizuhito; Yuen, Shoji |
| Sep-2020 | 人工合成マイカから剥離したナノシートの調製と微視的評価 | Islam, Mohammad Razzakul; いすらむ, むはっまど らっざくる |
| 27-May-2013 | raSAT: SMT for Polynomial Inequality | To, Van Khanh; Ogawa, Mizuhito |
| 8-Jan-2013 | Well-Structured Pushdown Systems, Part 1: Decidable Classes for Coverability | Cai, Xiaojuan; 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分野への適用 | 岩政, 幹人; 落水, 浩一郎 |
| 28-Mar-2005 | 電子大学の履修管理システムを対象とした自己説明性および進化容易性を実現するためのソフトウェア構成手法の検討 | 早坂, 良; 藤枝, 和宏; 落水, 浩一郎 |
| 11-Apr-1997 | ネットワークを介した共同作業の支援環境構築にむけて | 落水, 浩一郎 |
前へ
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
次へ
|
