close
1.

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

電子ブック
ＥＢ
2. The Evolution of Conceptual Modeling : From a Historical Perspective towards the Future of Conceptual Modeling
edited by Roland Kaschek, Lois Delcambre
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6520
オンライン: http://dx.doi.org/10.1007/978-3-642-17505-3
所蔵情報: loading…
3.

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

電子ブック
ＥＢ
4. Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
edited by Marco Bernardo, Valérie Issarny
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6659
オンライン: http://dx.doi.org/10.1007/978-3-642-21455-4
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
edited by Weiru Liu
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6717
オンライン: http://dx.doi.org/10.1007/978-3-642-22152-1
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
edited by James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6824
オンライン: http://dx.doi.org/10.1007/978-3-642-22673-1
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Artificial General Intelligence : 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011. Proceedings
edited by Jürgen Schmidhuber, Kristinn R. Thórisson, Moshe Looks
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6830
オンライン: http://dx.doi.org/10.1007/978-3-642-22887-2
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Semantics in Data and Knowledge Bases : 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
edited by Klaus-Dieter Schewe, Bernhard Thalheim
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6834
オンライン: http://dx.doi.org/10.1007/978-3-642-23441-5
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6154
オンライン: http://dx.doi.org/10.1007/978-3-642-13678-8
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Computational Intelligence for Knowledge-Based Systems Design : 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings
edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6178
オンライン: http://dx.doi.org/10.1007/978-3-642-14049-5
所蔵情報: loading…