close
1.

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

電子ブック
ＥＢ
2. Languages, Methodologies, and Development Tools for Multi-Agent Systems : Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
edited by Mehdi Dastani, Amal Fallah Seghrouchni, Jomi Hübner, João Leite
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6822
オンライン: http://dx.doi.org/10.1007/978-3-642-22723-3
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. CONCUR 2011 – Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
edited by Joost-Pieter Katoen, Barbara König
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6901
オンライン: http://dx.doi.org/10.1007/978-3-642-23217-6
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. CONCUR 2010 - Concurrency Theory : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
edited by Paul Gastin, François Laroussinie
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6269
オンライン: http://dx.doi.org/10.1007/978-3-642-15375-4
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Multiagent System Technologies : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings
edited by Jürgen Dix, Cees Witteveen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6251
オンライン: http://dx.doi.org/10.1007/978-3-642-16178-0
所蔵情報: loading…
6.

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

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

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

電子ブック
ＥＢ
9. Service Research Challenges and Solutions for the Future Internet : S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems
edited by Mike P. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6500
オンライン: http://dx.doi.org/10.1007/978-3-642-17599-2
所蔵情報: loading…
10.

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

電子ブック
ＥＢ
11. Semantic Techniques for the Web : The REWERSE Perspective
edited by Francois Bry, Jan Ma?uszy?ski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5500
オンライン: http://dx.doi.org/10.1007/978-3-642-04581-3
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. The Semantic Web : 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings
edited by Karl Aberer, Key-Sun Choi et al
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4825
オンライン: http://dx.doi.org/10.1007/978-3-540-76298-0
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. The Semantic Web - ISWC 2008 : 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5318
オンライン: http://dx.doi.org/10.1007/978-3-540-88564-1
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. The Semantic Web : 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, John Domingue, Chutiporn Anutariya
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5367
オンライン: http://dx.doi.org/10.1007/978-3-540-89704-0
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Web Reasoning and Rule Systems : First International Conference RR 2007 Innsbruck Austria June 7-82007 Proceedings
edited by Massimo Marchiori Jeff Z. Pan Christian de Sainte Marie
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4524
オンライン: http://dx.doi.org/10.1007/978-3-540-72982-2
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Reasoning Web : Third International Summer School 2007 Dresden Germany September 3-72007 Tutorial Lectures
edited by Grigoris Antoniou Uwe Asmann Cristina Baroglio Stefan Decker Nicola Henze Paula-Lavinia Patranja
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4636
オンライン: http://dx.doi.org/10.1007/978-3-540-74615-7
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. The Semantic Web - ASWC 2006 : First Asian Semantic Web Conference Beijing China September 3-72006 Proceedings
edited by Riichiro Mizoguchi Zhongzhi Shi Fausto Giunchiglia
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4185
オンライン: http://dx.doi.org/10.1007/11836025
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. The Semantic Web - ISWC 2006 : 5th International Semantic Web Conference ISWC 2006 Athens GA USA November 5-92006 Proceedings
edited by Isabel CruzStefan Decker Dean Allemang Chris Preist et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4273
オンライン: http://dx.doi.org/10.1007/11926078
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Reasoning Web (vol. # 3564) : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures
edited by Norbert Eisinger, Jan Maluszynski
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3564
オンライン: http://dx.doi.org/10.1007/11526988
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. The Semantic Web - ISWC 2005 : 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings
edited by V. Richard Benjamins, Yolanda Gil, Enrico Motta, Mark Musen
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3729
オンライン: http://dx.doi.org/10.1007/11574620
所蔵情報: loading…