close
1.

電子ブック
ＥＢ
1. Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
edited by Hans Ditmarsch, Jérôme Lang, Shier Ju
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6953
オンライン: http://dx.doi.org/10.1007/978-3-642-24130-7
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Extremal Combinatorics : With Applications in Computer Science
by Stasys Jukna
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Texts in Theoretical Computer Science. An EATCS Series ;
オンライン: http://dx.doi.org/10.1007/978-3-642-17364-6
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Theory of Quantum Computation, Communication, and Cryptography : 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers
edited by Wim Dam, Vivien M. Kendon, Simone Severini
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6519
オンライン: http://dx.doi.org/10.1007/978-3-642-18073-6
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Theory and Applications of Models of Computation : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings
edited by Mitsunori Ogihara, Jun Tarui
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6648
オンライン: http://dx.doi.org/10.1007/978-3-642-20877-5
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Frontiers in Algorithmics and Algorithmic Aspects in Information and Management : Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings
edited by Mikhail Atallah, Xiang-Yang Li, Binhai Zhu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6681
オンライン: http://dx.doi.org/10.1007/978-3-642-21204-8
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Theory and Applications of Models of Computation : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
edited by Jan Kratochvíl, Angsheng Li, Jiří Fiala, Petr Kolman
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6108
オンライン: http://dx.doi.org/10.1007/978-3-642-13562-0
所蔵情報: loading…
7.

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

電子ブック
ＥＢ
8. Parameterized and Exact Computation : 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
edited by Venkatesh Raman, Saket Saurabh
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6478
オンライン: http://dx.doi.org/10.1007/978-3-642-17493-3
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Frontiers in Algorithmics : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
edited by Der-Tsai Lee, Danny Z. Chen, Shi Ying
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heielberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6213
オンライン: http://dx.doi.org/10.1007/978-3-642-14553-7
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. The Mathematics of Language : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
edited by Christian Ebert, Gerhard Jager, Jens Michaelis
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6149
オンライン: http://dx.doi.org/10.1007/978-3-642-14322-9
所蔵情報: loading…