close
1.

電子ブック
ＥＢ
1. Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino
edited by Bernhard Beckert Reiner Hahnle Peter H. Schmitt
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4334
オンライン: http://dx.doi.org/10.1007/978-3-540-69061-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Agent-Oriented Software Engineering VII : 7th International Workshop AOSE 2006 Hakodate Japan May 82006 Revised and Invited Papers
edited by Lin Padgham Franco Zambonelli
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4405
オンライン: http://dx.doi.org/10.1007/978-3-540-70945-9
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Programming Multi-Agent Systems : 4th International Workshop ProMAS 2006 Hakodate Japan May 92006 Revised and Invited Papers
edited by Rafael H. Bordini Mehdi Dastani Jurgen Dix Amal El Fallah Seghrouchni
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4411
オンライン: http://dx.doi.org/10.1007/978-3-540-71956-4
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Coordination Organizations Institutions and Norms in Agent Systems II : AAMAS 2006 and ECAI 2006 International Workshops COIN 2006 Hakodate Japan May 9 2006 Riva del Garda Italy August 28 2006. Revised Selected Papers
Noriega Pablo ; Dignum Virginia ; Boissier Olivier ; Matson Eric ; Vazquez-Salceda Javier ; Boella Guido ; Fornara Nicoletta ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4386
オンライン: http://dx.doi.org/10.1007/978-3-540-74459-7
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Programming Multi-Agent Systems (vol. 3862) : Third International Workshop ProMAS 2005 Utrecht The Netherlands July 262005 Revised and Invited Papers
edited by Rafael H. Bordini Mehdi Dastani J-rgen Dix Amal
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3862
オンライン: http://dx.doi.org/10.1007/11678823
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Defence Applications of Multi-Agent Systems : International Workshop DAMAS 2005 Utrecht The Netherlands July 252005 Revised and Invited Papers
edited by Simon G. Thompson Robert Ghanea-Hercock
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3890
オンライン: http://dx.doi.org/10.1007/11683704
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Declarative Agent Languages and Technologies III : Third International Workshop DALT 2005 Utrecht The Netherlands July 252005 Selected and Revised Papers
edited by Matteo Baldoni Ulle Endriss Andrea Omicini Pao
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3904
オンライン: http://dx.doi.org/10.1007/11691792
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Agent-Oriented Software Engineering VI : 6th International Workshop AOSE 2005 Utrecht The Netherlands July 25 2005. Revised and Invited Papers
edited by J-rg P. M-ller Franco Zambonelli
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3950
オンライン: http://dx.doi.org/10.1007/11752660
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Coordination Organizations Institutions and Norms in Multi-Agent Systems : AAMAS 2005 International Workshops on Agents Norms and Institutions for Regulated Multiagent Systems ANIREM 2005 and on Organizations in Mul
Boissier Olivier ; Matson Eric ; V-zquez-Salceda Javier ; Sichman Jaime ; Ossowski Sascha ; Lindemann Gabriela ; Dignum Virginia ; Padget Julian ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3913
オンライン: http://dx.doi.org/10.1007/11775331
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Declarative Agent Languages and Technologies IV : 4th International Workshop DALT 2006 Hakodate Japan May 82006 Selected Revised and Invited Papers
edited by Matteo Baldoni Ulle Endriss
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4327
オンライン: http://dx.doi.org/10.1007/11961536
所蔵情報: loading…