close
1.

電子ブック
ＥＢ
1. Static Analysis : 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
edited by Eran Yahav
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6887
オンライン: http://dx.doi.org/10.1007/978-3-642-23702-7
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Computational Logic in Multi-Agent Systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
edited by João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon Torre
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6814
オンライン: http://dx.doi.org/10.1007/978-3-642-22359-4
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
edited by Uli Fahrenberg, Stavros Tripakis
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6919
オンライン: http://dx.doi.org/10.1007/978-3-642-24310-3
所蔵情報: loading…
4.

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

電子ブック
ＥＢ
5. Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
edited by Sven-Bodo Scholz, Olaf Chitil
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 5836
オンライン: http://dx.doi.org/10.1007/978-3-642-24452-0
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
edited by Cesare Tinelli, Viorica Sofronie-Stokkermans
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6989
オンライン: http://dx.doi.org/10.1007/978-3-642-24364-6
所蔵情報: loading…
7.

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

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

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

電子ブック
ＥＢ
10. Implementation and Application of Functional Languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
edited by Jurriaan Hage, Marco T. Morazán
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6647
オンライン: http://dx.doi.org/10.1007/978-3-642-24276-2
所蔵情報: loading…