close
1.

電子ブック
ＥＢ
1. The Mathematics of Language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6878
オンライン: http://dx.doi.org/10.1007/978-3-642-23211-4
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Logic and Its Applications : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
edited by Mohua Banerjee, Anil Seth
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6521
オンライン: http://dx.doi.org/10.1007/978-3-642-18026-2
所蔵情報: loading…
3.

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

電子ブック
ＥＢ
4. Computer Science – Theory and Applications : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings
edited by Alexander Kulikov, Nikolay Vereshchagin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6651
オンライン: http://dx.doi.org/10.1007/978-3-642-20712-9
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
edited by Luke Ong
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6690
オンライン: http://dx.doi.org/10.1007/978-3-642-21691-6
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
edited by Franz Winkler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6742
オンライン: http://dx.doi.org/10.1007/978-3-642-21493-6
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Fundamentals of Computation Theory : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
edited by Olaf Owe, Martin Steffen, Jan Arne Telle
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6914
オンライン: http://dx.doi.org/10.1007/978-3-642-22953-4
所蔵情報: loading…
8.

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

電子ブック
ＥＢ
9. Computer Science – Theory and Applications : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
edited by Farid Ablayev, Ernst W. Mayr
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6072
オンライン: http://dx.doi.org/10.1007/978-3-642-13182-0
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. A 25-Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP
edited by Agostino Dovier, Enrico Pontelli
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6125
オンライン: http://dx.doi.org/10.1007/978-3-642-14309-0
所蔵情報: loading…