検索結果 2 件
紙図書
全国の図書館
紙図書
全国の図書館
- 目次・記事...elected papers Information security technology for applications : 16th Nordic Conference on Secure IT Systems, NORDSEC 2011, Talinn, Estonia, October 26-28, 2011 : revised selected papers Isabelle : a generic theorem ...
- 関連情報...elected papers Information security technology for applications : 16th Nordic Conference on Secure IT Systems, NORDSEC 2011, Talinn, Estonia, October 26-28, 2011 : revised selected papers Isabelle : a generic theorem ...
検索結果は以上です。