close
1.

電子ブック
ＥＢ
1. Languages, Methodologies, and Development Tools for Multi-Agent Systems : Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers
edited by Mehdi Dastani, Amal El Fallah Segrouchni, João Leite, Paolo Torroni
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6039
オンライン: http://dx.doi.org/10.1007/978-3-642-13338-1
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
edited by Claude Bolduc, Jules Desharnais, Béchir Ktari
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6120
オンライン: http://dx.doi.org/10.1007/978-3-642-13321-3
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Interactive Theorem Proving : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
edited by Matt Kaufmann, Lawrence C. Paulson
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6172
オンライン: http://dx.doi.org/10.1007/978-3-642-14052-5
所蔵情報: loading…