一覧
登録利用者:
登録者ページ
利用者(E-people)

JAIST Repository >

一覧: 日付

年月を指定して移動:
年を入力して移動:
降順ソート 昇順ソート

検索結果: 15829-15849 / 18634.

前ページ 次ページ
発行日タイトル 著者
1-Jun-2001 Temporal epistemic logics for multi-agent systemsMARUYAMA, AKIO
1-Jun-2001 Ferromagnetism at room temperature in La-Ba-Ca-Mn-O thin filmsHoa Hong, Nguyen; Sakai, Joe; Imai, Syozo
Jun-2001 漁業の変遷と今後の沿岸域利用 : 対立から調和，さらに持続可能性の実現へ敷田, 麻実; Shikida, Asami
Jun-2001 A New Approximation Algorithm for the Capacitated Vehicle Routing Problem on a TreeAsano, Tetsuo; Katoh, Naoki; Kawashima, Kazuhiro
Jun-2001 An agent-based model of anonymous communication protocolsShigeki, K.; Soshi, M.; Miyaji, A.
Jun-2001 Specification and verification of a single-track railroad signaling in CafeOBJSEINO, Takahiro; OGATA, Kazuhiro; FUTATSUGI, Kokichi
Jun-2001 酸素量を制御したMoO3-xアモルファス薄膜の光学的性質吉元, 伸夫; よしもと, のぶお
Jun-2001 初期輪郭線から得られる情報を利用した動的輪郭モデルによる領域抽出杉林, 大樹; すぎばやし, おおき
Jun-2001 多値論理を用いたパターン推論に関する研究艾熱提, 阿布力克木; ガリラート, アブリキム
Jun-2001 ペトリネットの診断可能性についての研究林, 欣; りん, きん
Jun-2001 疎結合分散環境における耐故障性と適応性を実現するソフトウェアの構成に関する研究豊島, 真澄; とよしま, ますみ
25-May-2001 沿岸域管理入門 : 日本の沿岸域利用と保全の新秩序を求めて. 2, 沿岸域の価値と進行する沿岸域の危機敷田, 麻実
6-May-2001 Unique normal form property of compatible term rewriting systems: a new proof of Chew's theoremMano, Ken; Ogawa, Mizuhito
1-May-2001 On Detecting Digital Line Components in a Binary ImageASANO, Tetsuo; OBOKATA, Koji; TOKUYAMA, Takeshi
1-May-2001 A Systolic Array RLS ProcessorASAI, Takahiro; MATSUMOTO, Tadashi
May-2001 IT化時代の水産物流通と消費者 : 今後の水産物流通におけるIT技術の影響と可能性敷田, 麻実
May-2001 沿岸域のエコシステムマネジメントの発展段階とその背景 : 福井・石川県の遊漁調整問題のケーススタディからの分析敷田, 麻実; 竹ノ内, 徳人
May-2001 New Explicit Conditions of Elliptic Curve Traces for FR-ReductionMIYAJI, Atsuko; NAKABAYASHI, Masaki; TAKANO, Shunzou
May-2001 集団間協調学習におけるCSCL環境の構築と課題尾澤,重知; 小津,秀樹; 望月,俊男; 村上,正行; 田中,毎実; 井下,理; 國藤,進
25-Apr-2001 沿岸域管理入門 : 日本の沿岸域利用と保全の新秩序を求めて. 1, 沿岸域とは何か敷田, 麻実
19-Apr-2001 Lemmon-Scott Axioms for Relevant Modal LogicsSeki, Takahiro
前ページ 次ページ

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