検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
著者情報：Malacaria, Pasquale
選択行を：
 資料名所蔵館責任表示出版者出版年所在
1書影From lambda calculus to cybersecurity through program analysis : essays dedicated to Chris Hankin on the occasion of his retirement ( Lecture notes in computer science ; 12065[ festschrift] )太秦南館Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan (eds.)Springer2020太秦南館:５階閲覧室 007.609||F48
選択行を
▲ページトップへ