close
1.

電子ブック
ＥＢ
1. Foundations of Security Analysis and Design VI : FOSAD Tutorial Lectures
edited by Alessandro Aldini, Roberto Gorrieri
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6858
オンライン: http://dx.doi.org/10.1007/978-3-642-23082-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6154
オンライン: http://dx.doi.org/10.1007/978-3-642-13678-8
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Computer Performance Engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
edited by Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6342
オンライン: http://dx.doi.org/10.1007/978-3-642-15784-4
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Foundations of Security Analysis and Design V : FOSAD 2007/2008/2009 Tutorial Lectures
edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5705
オンライン: http://dx.doi.org/10.1007/978-3-642-03829-7
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Foundations of Security Analysis and Design III : FOSAD 2004/2005 Tutorial Lectures
edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3655
オンライン: http://dx.doi.org/10.1007/11554578
所蔵情報: loading…