JAIST Repository >

検索結果

 
全て 教員登録文献  

検索結果表示: 4111-4120 / 6856.


該当アイテム:

発行日タイトル 著者
Mar-2015 病気の表現活動のエスノグラフィ―「生きづらさ」のつながりと生存の知―杉本, 洋; すぎもと, ひろし
Jun-2016 静電インクジェットを用いたbias-free定方向進化分子のためのin-vitro compartmentalization 法の開発Bineet; びにーと
Sep-2020 その場TEM観察による架橋されたグラフェンナノリボン電気伝導の構造依存性Liu, Chunmeng; りゅう, しゅんほう
27-Nov-2013 Generate & Check Methods for Invariant Verification in CafeOBJFutatsugi, Kokichi
23-Mar-2007 Algebraic approaches to formal analysis of the mondex electronic purse systemKong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi
4-Aug-2004 Performance comparison of a rotating coordinator and a leader based consensus algorithm (extended version)Urban, Peter; Hayashibara, Naohiro; Schiper, Andre; Katayama, Takuya
Mar-2022 ペプチド創薬を目的とした新規環化反応の発見とその特性評価田村, 崇; たむら, たかし
Sep-2015 微生物由来フェニル乳酸誘導体からのバイオベースポリエステルの合成と物性評価Nguyen, Hieu Duc; ひょう, どっく ぐえん
Mar-1999 遺伝的プログラミングによる効率的なプログラム生成伊藤, 拓也; いとう, たくや
9-Dec-2016 A proportional linguistic distribution based model for multiple attribute decision making under linguistic uncertaintyGuo, Wen-Tao; Huynh, Van-Nam; Sriboonchitta, Songsak

前へ 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 次へ

 


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