JAIST Repository >
検索結果
検索結果表示: 41-50 / 1951.
該当アイテム:
発行日 | タイトル |
著者 |
Mar-1993 | MIMD implementation of MBT3 | Sato, Satoshi; 佐藤, 理史; サトウ, サトシ |
13-Feb-1993 | Approximating the minimum maximal independence number | Halldorsson, Magnus M. |
13-Feb-1993 | Approximating the chromatic sum of a graph | Halldorsson, Magnus M.; Radhakrishnan, Jaikumar |
6-Jul-1994 | Recovery management in multiversion objects | Nakajima, Tatsuo; 中島, 達夫; ナカジマ, タツオ |
14-Mar-1995 | Approximating set cover via local improvements | Halldorsson, Magnus M. |
Sep-1995 | Glueing of algebras for substructural logics | Shirasu, Hiroyuki; 白須, 裕之; シラス, ヒロユキ |
14-Mar-1995 | Approximations via partitioning | Halldorsson, Magnus M. |
9-Jan-2007 | Pathway alignment through contxt similarity | Clemente Litran, Jose Carlos |
Sep-1996 | Advanced modal logic | Zakharyaschev, Michael; Wolter, Frank; Chagrov, Alexander |
14-Jun-1996 | An improved strategy for a pursuit-evasion problem on grids | Tanaka, Keisuke; 田中, 圭介; タナカ, ケイスケ |
前へ
1
2
3
4
5
6
7
8
9
10
11
12
13
14
次へ
|