close
1.

電子ブック
ＥＢ
1. Reachability Problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
edited by Giorgio Delzanno, Igor Potapov
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6945
オンライン: http://dx.doi.org/10.1007/978-3-642-24288-5
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Algorithmic Learning Theory : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings
edited by Jyrki Kivinen, Csaba Szepesvári, Esko Ukkonen, Thomas Zeugmann
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6925
オンライン: http://dx.doi.org/10.1007/978-3-642-24412-4
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Computers and Games : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers
edited by H. Jaap Herik, Hiroyuki Iida, Aske Plaat
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6515
オンライン: http://dx.doi.org/10.1007/978-3-642-17928-0
所蔵情報: loading…
4.

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

電子ブック
ＥＢ
5. Language, Games, and Evolution : Trends in Current Research on Language and Game Theory
edited by Anton Benz, Christian Ebert, Gerhard Jäger, Robert Rooij
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6207
オンライン: http://dx.doi.org/10.1007/978-3-642-18006-4
所蔵情報: loading…
6.

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

電子ブック
ＥＢ
7. Language and Automata Theory and Applications : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings
edited by Adrian-Horia Dediu, Shunsuke Inenaga, Carlos Martín-Vide
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6638
オンライン: http://dx.doi.org/10.1007/978-3-642-21254-3
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Theory and Applications of Satisfiability Testing - SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
edited by Karem A. Sakallah, Laurent Simon
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6695
オンライン: http://dx.doi.org/10.1007/978-3-642-21581-0
所蔵情報: loading…
9.

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

電子ブック
ＥＢ
10. Unconventional Computation : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings
edited by Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6714
オンライン: http://dx.doi.org/10.1007/978-3-642-21341-0
所蔵情報: loading…