close
1.

電子ブック
ＥＢ
1. AI*IA 2011: Artificial Intelligence Around Man and Beyond : XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings
edited by Roberto Pirrone, Filippo Sorbello
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6934
オンライン: http://dx.doi.org/10.1007/978-3-642-23954-0
所蔵情報: loading…
2.

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

電子ブック
ＥＢ
3. Rough Sets and Knowledge Technology : 6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011. Proceedings
edited by JingTao Yao, Sheela Ramanna, Guoyin Wang, Zbigniew Suraj
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6954
オンライン: http://dx.doi.org/10.1007/978-3-642-24425-4
所蔵情報: loading…
4.

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

電子ブック
ＥＢ
5. Computational Logic and Set Theory : Applying Formalized Logic to Analysis
by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-808-9
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Vagueness in Communication : International Workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers
edited by Rick Nouwen, Robert Rooij, Uli Sauerland, Hans-Christian Schmitz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6517
オンライン: http://dx.doi.org/10.1007/978-3-642-18446-8
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Membrane Computing : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers
edited by Marian Gheorghe, Thomas Hinze, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6501
オンライン: http://dx.doi.org/10.1007/978-3-642-18123-8
所蔵情報: loading…
8.

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

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

電子ブック
ＥＢ
10. Ludics, Dialogue and Interaction : PRELUDE Project - 2006-2009. Revised Selected Papers
edited by Alain Lecomte, Samuel Tronçon
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6505
オンライン: http://dx.doi.org/10.1007/978-3-642-19211-1
所蔵情報: loading…