JAIST Repository >

検索結果

 
全て 教員登録文献  

検索結果表示: 5031-5040 / 6973.


該当アイテム:

発行日タイトル 著者
Jun-2012 モデル検査ツールにより出力された反例に基づく誤り特定に関する研究陳, 適; ちん, てき
Jun-2012 Equational Reasoning and CompletionKlein, Dominik; くらいん, どみにく
27-Feb-2008 Electronic and optical properties of polyicosahedral Si nanostructures: A first-principles studyNishio, Kengo; Ozaki, Taisuke; Morishita, Tetsuya; Shinoda, Wataru; Mikami, Masuhiro
Jul-2012 第3回全学FD・SDセミナー : 自律的学習のためのインストラクショナルデザインとは -学生の学習目標(Learning Goal)について考える-
4-Sep-2012 Electronic Transfer as a Route to Increase the Chemical Stability in Gold and Silver Core-Shell NanoparticlesMott, Derrick M.; Dao, Thi Ngoc Anh; Singh, Prerna; Shankar, Cheshta; Maenosono, Shinya
12-Jul-2012 Creativity Mining:ポスト知識社会のための創造活動支援西本, 一志; Kazushi, Nishimoto
Mar-2014 オンライン翻訳サービスの現状と課題―gengoの事例研究―孟, 涛; もう, とう
Feb-2004 Li- and Mg-doping into Icosahedral Boron Crystals, α- and β- Rhombohedral Boron, Targeting High-Temperature Superconductivity: Structure and Electronic StatesSoga, Kohei; Oguri, Atsushi; Araake, Satoshi; Kimura, Kaoru; Terauchi, Masami; Fujiwara, Akihiko
Sep-2014 予測株価を用いた投資行動の最適化手法に関する研究山田, 幸治; やまだ, こうじ
Mar-2014 落下型パズルゲームの定石形配置法とぷよぷよへの適用富沢, 大介; とみざわ, だいすけ

前へ 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 次へ

 


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