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. Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6154
オンライン: http://dx.doi.org/10.1007/978-3-642-13678-8
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. ECOOP 2010 – Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
edited by Theo D’Hondt
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6183
オンライン: http://dx.doi.org/10.1007/978-3-642-14107-2
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Applications of Evolutionary Computation : EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II
edited by Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Marc Ebner, Muddassar Farooq, Andreas Fink, Jorn Grahl, Gary Greenfield, Penousal Machado, Michael O’Neill, Ernesto Tarantino, Neil Urquhart
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6025
オンライン: http://dx.doi.org/10.1007/978-3-642-12242-2
所蔵情報: loading…
6.

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