|
JAIST Repository >
検索結果
検索結果表示: 111-120 / 7099.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 23-Apr-1999 | New interconnections for for massively parallel and distributed systems | Horiguchi, Susumu |
| 24-Nov-1999 | Fixpoint formulation of the completion problem of orthomodular lattices | Miyazaki, Yutaka |
| 5-Nov-1999 | Leibniz style arithmetization of human reasoning | Sotirov, Vladimir |
| 20-Jan-2000 | A new delay yield model for digital circuits | Jiang, X. H.; Horiguchi, S. |
| 6-Jun-2000 | Strong normalization theorem for first order classical natural deduction | Ishii, Katsumasa |
| 29-Aug-2000 | Hierarchical 3D-torus interconnection network for massively parallel comp | Horiguchi, S.; Ooki, T. |
| 28-Jan-2000 | Clock skew yield estimate of well-balanced H-tree | Jiang, X. H.; Horiguchi, S. |
| 19-Sep-2000 | A note on sequent systems of provability logic | Yoshida, Satoru |
| 15-Jun-2000 | A procedure for competitive fair division | Sung, Shao Chin; Vlach, Milan |
| 16-Nov-2000 | Probabilistic analysis of directional-couple-based photonic switching | Jiang, X. H.; Horiguchi, S. |
前へ
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
次へ
|
