JAIST Repository >

検索結果

 
全て 教員登録文献  

検索結果表示: 5121-5130 / 5560.


該当アイテム:

発行日タイトル 著者
Mar-2008 Involutiveな部分構造論理に対する証明論的アプローチ瀧田, 康晴; たきだ, やすはる
15-Sep-2010 運動エネルギーの観点から見た2周期歩容の性能と最適性浅野, 文彦; Asano, Fumihiko
May-2010 z/VM仮想計算機におけるDCSSを用いたLinux間メモリ共有井口, 寧; 佐藤, 幸紀; 上埜, 元嗣; 宮下, 夏苗; 芝崎, 丈男; 北沢, 強; Inoguchi, Yasushi; Sato, Yukinori; Miyashita, Kanae; Ueno, Mototsugu; Shibazaki, Takeo; Kirazawa, Tsuyoshi
15-Dec-2009 アウェア技術を駆使した見守り中心の介護支援システムの研究國藤, 進; 杉原, 太郎; 三浦, 元喜; 藤波, 努; 金井, 秀明; 伊藤, 禎宣; 劉, 曦; 高塚, 亮三; 中田, 豊久; 加藤直孝, 山口聖哉, 小柴等; Kunifuji, Susumu; Sugihara, Taro; Miura, Motoki; Fujinami, Tsutomu; Kanai, Hideaki; Ito, Sadanori; Liu, Xi; Takatsuka, Ryozo; Nakada, Toyohisa; Kato, Naotaka; Yamaguchi, Masaya; Koshiba, Hitoshi
Oct-2009 オブジェクト指向言語における変数とデータの関係を理解するためのワークベンチ三浦, 元喜; 杉原, 太郎; 國藤, 進; Miura, Motoki; Sugihara, Taro; Kunifuji, Susumu
Mar-2013 リコンフィギャラブル・コンピューティングのための高位合成を用いた自動ハードウェア・チューニングに関する研究荒木, 光一; あらき, こういち
Mar-2013 パターナリズムと当事者主権の比較による介護保険制度の研究島田, 裕輔; しまだ, ゆうすけ
Mar-2015 介護当事者の意思決定プロセス―意思確認が困難な高齢者への経管栄養を事例として―水岡, 隆子; みずおか, たかこ
Mar-2023 シビックテック活動の発展と社会的要因―ICTを活用したプロボノを基盤とする社会課題解決活動を事例として―呉, 星辰; ご, せいしん
Mar-2015 室内ジョギングにおける遠隔音声による声援効果に関する研究島崎, 貴志; しまざき, たかし

前へ 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 次へ

 


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