|
|
JAIST Repository >
一覧: 日付
検索結果: 13960-13980 / 19268.
| 発行日 | タイトル |
著者 |
|---|
| 22-Oct-2005 | 科学技術、この20年の邂逅と今後の展望 | |
| 22-Oct-2005 | 「研究・技術計画学会」20年の歩み : 学際的研究領域は深まってきたか(第20回年次学術大会講演要旨集II) | 平澤, 泠 |
| 22-Oct-2005 | 日本の科学技術、国家的事業からの視点(政策研究大学院大学と共催, 第20回年次学術大会講演要旨集I) | 山之内, 秀一郎 |
| 22-Oct-2005 | プログラム | |
| 22-Oct-2005 | 表紙，会場，日程，実行委員会，奥付 | |
| 22-Oct-2005 | 表紙，会場，日程，実行委員会，奥付 | |
| Oct-2005 | Fabrication of C_<60> field-effect transistors with polyimide and Ba_<0.4>Sr_<0.6>Ti_,<0.96>O_3 gate insulators | Kubozono, Y; Nagano, T; Haruyama, Y; Kuwahara, E; Takayanagi, T; Ochi, K; Fujiwara, A |
| 21-Sep-2005 | ACTAS : Automated Verification Based on Equational Tree Automata | Ohsaki, Hitoshi |
| 21-Sep-2005 | Specification and Verification of Inter-Component Constraints in CTL | Nguyen, Truong Thang; Katayama, Takuya |
| 21-Sep-2005 | A Parametric Model Checking Approach for Real-Time Systems Design | Sathawornwichit, Chaiwat |
| 21-Sep-2005 | Model Checking Web Specifications : Verification of design specifications for Web applications | CHOI, Eun-Hye; WATANABE, Hiroshi |
| 21-Sep-2005 | An Object-Oriented logic for software analysis and design | Yatake, Kenro; Aoki, Toshiaki; Katayama, Takuya |
| 21-Sep-2005 | A Lightweight Integration of Theorem Proving and Model Checking for System Verification | Kong, Weiqiang; Seino, Takahiro; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 21-Sep-2005 | Verifying Specifications with Proof Scores | FUTATSUGI, Kokichi |
| 21-Sep-2005 | Perspective of Verifiable and Evolvable e-Society | Katayama, Takuya |
| 21-Sep-2005 | Brief overview of AIST/CVS | Kinoshita, Yoshiki |
| 15-Sep-2005 | デジタルペンとPDAを利用した実世界指向インタラクティブ授業支援システム | 三浦, 元喜; 國藤, 進; 志築, 文太郎; 田中, 次郎; Miura, Motoki; Kunifuji, Susumu; Shizuki, Buntarou; Tanaka, Jiro |
| Sep-2005 | On constructing completions | Crosilla, Laura; Ishihara, Hajime; Schuster, Peter |
| Sep-2005 | Frequency-domain MMSE turbo equalization of multilevel coded QAM-convergence in real fields | Kansanen, K.; Matsumoto, T.; Schneider, C.; Thoma, R. |
| Sep-2005 | Room temperature ferromagnetism in laser ablated Ni-doped In_2O_3 thin films | Nguyen, Hoa Hong; Sakai, Joe; Ngo, Thu Huong; Brizé, Virginie |
| Sep-2005 | Capturing window attributes for extending web browsing history records | Miura, M; Kunifuji, S; Sato, S; Tanaka, J |
|
