|
JAIST Repository >
検索結果
検索結果表示: 3571-3580 / 3900.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 13-Oct-2017 | JAIST NOW No.16 | |
| Mar-2009 | モンテカルロ法を用いたコンピュータ囲碁の性能向上に関する研究 | 野口, 陽来; のぐち, はるき |
| 1-Feb-2010 | Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications | Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 1-May-2011 | Traffic properties for stochastic routing on scale-free networks | Hayashi, Yukio; Ono, Yasumasa |
| 4-Jul-2012 | Coadsorption Model for First-Principle Description of Roles of Donors in Heterogeneous Ziegler-Natta Propylene Polymerization | Taniike, Toshiaki; Terano, Minoru |
| 15-Jan-2013 | 高校の数学授業実践を通じたデジタルペンシステムの効果 | 杉原, 太郎; 三浦, 元喜; Sugihara, Taro; Miura, Motoki |
| 17-May-2016 | Termination and Boundedness for Well-Structured Pushdown Systems | Lei, Suhua; Cai, Xiaojuan; Ogawa, Mizuhito |
| 18-Feb-2015 | Generic Proof Scores for Generate & Check Method in CafeOBJ | Futatsugi, Kokichi |
| 1-May-2017 | SMT-based scheduling for overloaded real-time systems | Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto |
| Mar-2015 | n型結晶シリコン用高品質Cat-CVD窒化シリコンパッシベーション層の開発とその裏面コンタクト結晶シリコン太陽電池への応用 | Trinh, Thi Cham; とりん, てぃ ちゃむ |
前へ
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
次へ
|
