close
1.

電子ブック
ＥＢ
1. Engineering Secure Software and Systems : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
edited by Úlfar Erlingsson, Roel Wieringa, Nicola Zannone
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6542
オンライン: http://dx.doi.org/10.1007/978-3-642-19125-1
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Structures de données et méthodes formelles
by Marc Guyomard
出版情報: Paris : Springer Paris, 2011
シリーズ名: Collection Télécom ;
オンライン: http://dx.doi.org/10.1007/978-2-8178-0200-8
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Mathematical Software – ICMS 2010 : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
edited by Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6327
オンライン: http://dx.doi.org/10.1007/978-3-642-15582-6
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Engineering Secure Software and Systems : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings
edited by Fabio Massacci, Dan Wallach, Nicola Zannone
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5965
オンライン: http://dx.doi.org/10.1007/978-3-642-11747-3
所蔵情報: loading…