close
1.

電子ブック
ＥＢ
1. Formal Aspects of Security and Trust : 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
edited by Pierpaolo Degano, Sandro Etalle, Joshua Guttman
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6561
オンライン: http://dx.doi.org/10.1007/978-3-642-19751-2
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Formal Aspects in Security and Trust : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
edited by Pierpaolo Degano, Joshua D. Guttman
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5983
オンライン: http://dx.doi.org/10.1007/978-3-642-12459-4
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Formal Aspects in Security and Trust : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Pierpaolo Degano, Joshua Guttman, Fabio Martinelli
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5491
オンライン: http://dx.doi.org/10.1007/978-3-642-01465-9
所蔵情報: loading…