|
|
JAIST Repository >
検索結果
検索結果表示: 5161-5170 / 7099.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| Mar-2015 | 多数決合議チェスによるタイブレークの分析 | 長束, 薫; ながつか, かおる |
| 13-Mar-1997 | ソフトウェアプロセス実行における系統的コミュニケーション支援の一方式 | 門脇, 千恵; 落水, 浩一郎; KADOWAKI, Chie; OCHIMIZU, Koichiro |
| 11-Sep-2006 | Gathering asychronous mobile robots with inaccurate compasses | Souissi, Samia; Defago, Xavier; Yamashita, Masafumi |
| 17-Feb-2015 | Formal Semantics of Core SQL Language based on the K Framework | Sitthisak, Pakakorn |
| 25-Jan-2013 | Modeling and Analyzing the Impact of Software Fault Tolerance Techniques on the Reliability of Component-based Systems | Pham, Thanh-Trung; Defago, Xavier |
| 8-Jan-2013 | Well-Structured Pushdown Systems, Part 1: Decidable Classes for Coverability | Cai, Xiaojuan; Ogawa, Mizuhito |
| Mar-2015 | 知識リポジトリ投稿の動機づけ手法の提案‐知識提供者同士のインタラクション‐ | 有場, 次郎; ありば, じろう |
| 23-Jun-2003 | Convey Box : into a speaking world | Yamamoto, Catarina; Ochimizu, Koichiro |
| 28-Mar-2005 | 残響音声からの基本周波数推定に関する検討 | 鵜木, 祐史; 石本, 祐一; 赤木, 正人; UNOKI, Masashi; ISHIMOTO, Yuichi; AKAGI, Masato |
| Mar-2023 | トンネル窒化シリコンパッシベーションコンタクトの開発 | 文 昱力; ぶん, よくりつ |
前へ
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
次へ
|
