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. Combinatorial Algorithms : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers
edited by Costas S. Iliopoulos, William F. Smyth
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7056
オンライン: http://dx.doi.org/10.1007/978-3-642-25011-8
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6877
オンライン: http://dx.doi.org/10.1007/978-3-642-25070-5
所蔵情報: loading…
4.

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

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

電子ブック
ＥＢ
6. Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
edited by Andrea Corradini, Bartek Klin, Corina Cîrstea
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6859
オンライン: http://dx.doi.org/10.1007/978-3-642-22944-2
所蔵情報: loading…
7.

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

電子ブック
ＥＢ
8. Logic, Language, Information and Computation : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
edited by Anuj Dawar, Ruy Queiroz
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6188
オンライン: http://dx.doi.org/10.1007/978-3-642-13824-9
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Rewriting Techniques and Applications : 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ralf Treinen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5595
オンライン: http://dx.doi.org/10.1007/978-3-642-02348-4
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Developments in Language Theory : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Volker Diekert, Dirk Nowotka
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5583
オンライン: http://dx.doi.org/10.1007/978-3-642-02737-6
所蔵情報: loading…