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. Implementation and Application of Automata : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers
edited by Michael Domaratzki, Kai Salomaa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6482
オンライン: http://dx.doi.org/10.1007/978-3-642-18098-9
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Logic Programming and Nonmonotonic Reasoning : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
edited by James P. Delgrande, Wolfgang Faber
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6645
オンライン: http://dx.doi.org/10.1007/978-3-642-20895-9
所蔵情報: 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. Logic, Language, Information and Computation : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
edited by Lev D. Beklemishev, Ruy Queiroz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6642
オンライン: http://dx.doi.org/10.1007/978-3-642-20920-8
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Automated Deduction in Geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
edited by Thomas Sturm, Christoph Zengler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6301
オンライン: http://dx.doi.org/10.1007/978-3-642-21046-4
所蔵情報: loading…
7.

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

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

電子ブック
ＥＢ
9. Developments in Language Theory : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings
edited by Giancarlo Mauri, Alberto Leporati
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6795
オンライン: http://dx.doi.org/10.1007/978-3-642-22321-1
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Implementation and Application of Automata : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings
edited by Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6807
オンライン: http://dx.doi.org/10.1007/978-3-642-22256-6
所蔵情報: loading…