close
1.

電子ブック
ＥＢ
1. Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
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, Ahmed Bouajjani, Oded Maler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5643
オンライン: http://dx.doi.org/10.1007/978-3-642-02658-4
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
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, Aarti Gupta, Sharad Malik
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5123
オンライン: http://dx.doi.org/10.1007/978-3-540-70545-1
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
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, Otmane Ait Mohamed, Cesar Munoz, Sofiene Tahar
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5170
オンライン: http://dx.doi.org/10.1007/978-3-540-71067-7
所蔵情報: loading…