トップページ
|
北陸先端科学技術大学院大学
|
附属図書館
全て
教員登録文献
詳細検索
一覧
コミュニティ
& コレクション
タイトル
著者
日付
学位論文
リサーチレポート・テクニカルメモランダム
登録利用者:
登録者ページ
利用者(E-people)
ヘルプ
当システムについて
JAIST Repository
>
著者: "Senachak, Jittisak"
「一覧: 著者」画面に戻る
タイトル順ソート
日付順ソート
4 著者名表示.
発行日
タイトル
著者
31-May-2006
Rewriting game theory applied to protein signalling in MAPK cascades
Senachak, Jittisak
;
Vestergaard, Mun'delanji
;
Vestergaard, Rene
14-Feb-2008
Lambdoid emergence
Vestergaard, Rene
;
Senachak, Jittisak
;
Vestergaard, Mun'delanji
Mar-2008
Tools and Technologies in the CEq Emergence Assistant
Senachak, Jittisak
;
セナチャク, ジッテイサク
4-Mar-2008
Progress Report : CEq Emergence Assistant (the tool support for the CEq formal method)
Senachak, Jittisak
お問い合わせ先 :
北陸先端科学技術大学院大学 研究推進課図書館情報係