|
JAIST Repository >
検索結果
検索結果表示: 61-70 / 1951.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 18-Jun-1997 | Performance evaluation of interconnection network for large disk sysyems | Mimatsu, Yasuyuki; Yokota, Haruo |
| 14-Apr-1997 | Linear programming with inexact coefficients | Ramik, Jaroslav |
| 1-Aug-1997 | Extra theory morphisms for institutions : logical semantics for multi-paradigm languages | Diaconescu, Razvan |
| 6-May-1997 | A parallel learning algorithm to compensate hardware defects for Kohonen's SOM | Yamamori, Kunihito; Horiguchi, Susumu |
| 1-Aug-1997 | Tree lifting orderings for termination transformations of term rewriting systems | Aoto, Takahito; Toyama, Yoshihito |
| Nov-1997 | Splitting monadic heyting algebras | Bezhanishvili, Guram |
| Sep-1997 | A family of substructural implicational logics | Kashima, Ryo; Kamide, Norihiro |
| 4-Nov-1997 | Propositional calculus with identity | Ishii, Tadao |
| 25-Jul-1997 | Single-machine sceduling with fuzzy precedence constraints | Levner, Eugene; Vlach, Milan |
| 20-Apr-1997 | Parallel computation model logPQ and its evaluation | Touyama, Takayoshi; Horiguchi, Susumu |
前へ
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
次へ
|
