JAIST Repository >

検索結果

 
全て 教員登録文献  

検索結果表示: 6641-6650 / 6856.


該当アイテム:

発行日タイトル 著者
Dec-2014 Formal Semantics of Core SQL Language based on the K FrameworkSitthisak, Pakakorn
15-Mar-2014 Task-related oxygenation and cerebral blood volume changes estimated from NIRS signals in motor and cognitive tasksTanaka, Hirokazu; Katura, Takusige; Sato, Hiroki
Mar-2013 スピーカ配置に基づいたサラウンド音場補正手法の提案と評価秋山, 大知; あきやま, だいち
Mar-2009 ソフトウェアプロダクトライン開発におけるコア資産の設計検証手法に関する研究朝倉, 功太; あさくら, こうた
Mar-2009 センサ・デバイス情報に基づく忙しさ推定川口, 弘暁; かわぐち, ひろあき
Mar-2010 数値流体力学におけるλ2 法を用いた渦の可視化手法の提案埴田, 翔; はにだ, しょう
May-2008 構文獲得における対称性バイアスの有効性的場, 隆一; 中村, 誠; 東条, 敏
Mar-2024 耳音響放射を用いた聴覚末梢系の時間分解能の評価新谷, 小梅; しんたに, こうめ
25-Jan-2013 Tractabilities and Intractabilities on Geometric Intersection GraphsUehara, Ryuhei
17-Apr-2010 Cut elimination and strong separation for substructural logics: An algebraic approachGalatos, Nikolaos; Ono, Hiroakira

前へ 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 次へ

 


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