トップページ
|
北陸先端科学技術大学院大学
|
附属図書館
一覧
コミュニティ
& コレクション
タイトル
著者
日付
学位論文
リサーチレポート・テクニカルメモランダム
登録利用者:
登録者ページ
利用者(E-people)
ヘルプ
当システムについて
JAIST Repository
>
b. 情報科学研究科・情報科学系
>
b10. 学術雑誌論文等
>
b10-1. 雑誌掲載論文
>
著者: "Ono, Satoshi"
「一覧: 著者」画面に戻る
タイトル順ソート
日付順ソート
3 著者名表示.
発行日
タイトル
著者
20-Oct-1988
広域データフロー解析に基づく関数型プログラムの変則性検出
小川, 瑞史
;
小野, 諭
;
Ogawa, Mizuhito
;
Ono, Satoshi
20-Feb-1991
Transformation of Strictness-Related Analyses Based on Abstract Interpretation
Ogawa, Mizuhito
;
Ono, Satoshi
2005
Proving Properties of Incremental Merkle Trees
Ogawa, Mizuhito
;
Horita, Eiichi
;
Ono, Satoshi
お問合せ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係 (ir-sys[at]ml.jaist.ac.jp)