close
1.

電子ブック
ＥＢ
1. Software Engineering, Business Continuity, and Education : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
edited by Tai-hoon Kim, Hojjat Adeli, Haeng-kon Kim, Heau-jo Kang, Kyung Jung Kim, Akingbehin Kiumi, Byeong-Ho Kang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 257
オンライン: http://dx.doi.org/10.1007/978-3-642-27207-3
所蔵情報: 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. Agent-Oriented Software Engineering XI : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
edited by Danny Weyns, Marie-Pierre Gleizes
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6788
オンライン: http://dx.doi.org/10.1007/978-3-642-22636-6
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7041
オンライン: http://dx.doi.org/10.1007/978-3-642-24690-6
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Agent-Oriented Software Engineering X : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6038
オンライン: http://dx.doi.org/10.1007/978-3-642-19208-1
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Programming Languages and Systems : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
edited by Gilles Barthe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6602
オンライン: http://dx.doi.org/10.1007/978-3-642-19718-5
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Tools and Algorithms for the Construction and Analysis of Systems : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
edited by Parosh Aziz Abdulla, K. Rustan M. Leino
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6605
オンライン: http://dx.doi.org/10.1007/978-3-642-19835-9
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Declarative Agent Languages and Technologies VIII : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6619
オンライン: http://dx.doi.org/10.1007/978-3-642-20715-0
所蔵情報: loading…
9.

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

電子ブック
ＥＢ
10. Component-Based Software Engineering : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
edited by Lars Grunske, Ralf Reussner, Frantisek Plasil
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6092
オンライン: http://dx.doi.org/10.1007/978-3-642-13238-4
所蔵情報: loading…
11.

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

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

電子ブック
ＥＢ
13. Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
edited by Tayssir Touili, Byron Cook, Paul Jackson
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6174
オンライン: http://dx.doi.org/10.1007/978-3-642-14295-6
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
edited by Javier Esparza, Rupak Majumdar
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6015
オンライン: http://dx.doi.org/10.1007/978-3-642-12002-2
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Programming Languages and Systems : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
edited by Andrew D. Gordon
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6012
オンライン: http://dx.doi.org/10.1007/978-3-642-11957-6
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Computational Logic in Multi-Agent Systems : 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
edited by Jurgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6245
オンライン: http://dx.doi.org/10.1007/978-3-642-14977-1
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Declarative Agent Languages and Technologies VII : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5948
オンライン: http://dx.doi.org/10.1007/978-3-642-11355-0
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Programming Multi-Agent Systems : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers
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, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Koen V. Hindriks, Alexander Pokahr, Sebastian Sardina
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5442
オンライン: http://dx.doi.org/10.1007/978-3-642-03278-3
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Declarative Agent Languages and Technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
edited by Jaime G. Carbonell, Jorg Siekmann, Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5397
オンライン: http://dx.doi.org/10.1007/978-3-540-93920-7
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Agent-Oriented Software Engineering IX : 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers
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, Michael Luck, Jorge J. Gomez-Sanz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5386
オンライン: http://dx.doi.org/10.1007/978-3-642-01338-6
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4897
オンライン: http://dx.doi.org/10.1007/978-3-540-77564-5
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
edited by Karl Tuyls, Ann Nowe, Zahia Guessoum, Daniel Kudenko
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4865
オンライン: http://dx.doi.org/10.1007/978-3-540-77949-0
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Coordination, Organizations, Institutions, and Norms in Agent Systems III : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers
edited by Jaime Simao Sichman, Julian Padget, Sascha Ossowski, Pablo Noriega
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4870
オンライン: http://dx.doi.org/10.1007/978-3-540-79003-7
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Programming Multi-Agent Systems : 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers
edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4908
オンライン: http://dx.doi.org/10.1007/978-3-540-79043-3
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Agent-Oriented Software Engineering VIII : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
edited by Michael Luck, Lin Padgham
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4951
オンライン: http://dx.doi.org/10.1007/978-3-540-79488-2
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Agent-Oriented Software Engineering V : 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers
edited by Paolo Giorgini, Jorg, P. Muller, James Odell
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3382
オンライン: http://dx.doi.org/10.1007/b105022
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Programming Multi-Agent Systems (vol. # 3346) : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
edited by Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, Amal El
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3346
オンライン: http://dx.doi.org/10.1007/b105887
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Adaptive Agents and Multi-Agent Systems II : Adaptation and Multi-Agent Learning
edited by Eduardo Alonso, Dimitar Kazakov, Daniel Kudenko
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3394
オンライン: http://dx.doi.org/10.1007/b106974
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Declarative Agent Languages and Technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
edited by Joao Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3476
オンライン: http://dx.doi.org/10.1007/b136890
所蔵情報: loading…