close
1.

電子ブック
ＥＢ
1. Security and Trust Management : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
edited by Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6710
オンライン: http://dx.doi.org/10.1007/978-3-642-22444-7
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7041
オンライン: http://dx.doi.org/10.1007/978-3-642-24690-6
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Programming Languages and Systems : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
edited by Gilles Barthe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6602
オンライン: http://dx.doi.org/10.1007/978-3-642-19718-5
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
edited by Gilles Barthe, Manuel Hermenegildo
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5944
オンライン: http://dx.doi.org/10.1007/978-3-642-11319-2
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. 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…
6.

電子ブック
ＥＢ
6. Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
edited by Gilles Barthe, Frank S. Boer
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5051
オンライン: http://dx.doi.org/10.1007/978-3-540-68863-1
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
edited by Gilles Barthe, Cedric Fournet
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4912
オンライン: http://dx.doi.org/10.1007/978-3-540-78663-4
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
edited by Gilles BartheLilian
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3362
オンライン: http://dx.doi.org/10.1007/b105030
所蔵情報: loading…