close
1.

電子ブック
ＥＢ
1. Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
edited by Tiziana Margaria, Bernhard Steffen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6416
オンライン: http://dx.doi.org/10.1007/978-3-642-16561-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
edited by Tiziana Margaria, Bernhard Steffen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6415
オンライン: http://dx.doi.org/10.1007/978-3-642-16558-0
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Agents and Data Mining Interaction : 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers
edited by Longbing Cao, Vladimir Gorodetsky, Jiming Liu, Gerhard Weiss, Philip S. Yu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5680
オンライン: http://dx.doi.org/10.1007/978-3-642-03603-3
所蔵情報: loading…