JAIST Repository >

検索結果

 
全て 教員登録文献  

検索結果表示: 41-50 / 1951.


該当アイテム:

発行日タイトル 著者
Mar-1993 MIMD implementation of MBT3Sato, Satoshi; 佐藤, 理史; サトウ, サトシ
13-Feb-1993 Approximating the minimum maximal independence numberHalldorsson, Magnus M.
13-Feb-1993 Approximating the chromatic sum of a graphHalldorsson, Magnus M.; Radhakrishnan, Jaikumar
6-Jul-1994 Recovery management in multiversion objectsNakajima, Tatsuo; 中島, 達夫; ナカジマ, タツオ
14-Mar-1995 Approximating set cover via local improvementsHalldorsson, Magnus M.
Sep-1995 Glueing of algebras for substructural logicsShirasu, Hiroyuki; 白須, 裕之; シラス, ヒロユキ
14-Mar-1995 Approximations via partitioningHalldorsson, Magnus M.
9-Jan-2007 Pathway alignment through contxt similarityClemente Litran, Jose Carlos
Sep-1996 Advanced modal logicZakharyaschev, Michael; Wolter, Frank; Chagrov, Alexander
14-Jun-1996 An improved strategy for a pursuit-evasion problem on gridsTanaka, Keisuke; 田中, 圭介; タナカ, ケイスケ

前へ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 次へ

 


お問合せ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係 (ir-sys[at]ml.jaist.ac.jp)