close
1.

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

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

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

電子ブック
ＥＢ
4. Logics in Artificial Intelligence : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
edited by Tomi Janhunen, Ilkka Niemelä
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6341
オンライン: http://dx.doi.org/10.1007/978-3-642-15675-5
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
edited by Jürgen Dix, Michael Fisher, Peter Novák
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6214
オンライン: http://dx.doi.org/10.1007/978-3-642-16867-3
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday
edited by Simon Siegler, Nathan Wasser
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6463
オンライン: http://dx.doi.org/10.1007/978-3-642-17172-7
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Approaches and Applications of Inductive Programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
edited by Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5812
オンライン: http://dx.doi.org/10.1007/978-3-642-11931-6
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Argumentation in Multi-Agent Systems : 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers
edited by Peter McBurney, Iyad Rahwan, Simon Parsons, Nicolas Maudet
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6057
オンライン: http://dx.doi.org/10.1007/978-3-642-12805-9
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Conceptual Modeling - ER 2007 : 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings
Parent, Christine ; Schewe, Klaus-Dieter ; Thalheim, Bernhard ; Storey, Veda C. ; SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4801
オンライン: http://dx.doi.org/10.1007/978-3-540-75563-0
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Active Conceptual Modeling of Learning : Next Generation Learning-Base System Development
edited by Peter P. Chen, Leah Y. Wong
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4512
オンライン: http://dx.doi.org/10.1007/978-3-540-77503-4
所蔵情報: loading…