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. All About Maude - A High-Performance Logical Framework : How to Specify Program and Verify Systems in Rewriting Logic
by Manuel Clavel Francisco Duran Steven Eker Patrick Lincoln Narciso Marti-Oliet et al
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4350
オンライン: http://dx.doi.org/10.1007/978-3-540-71999-1
所蔵情報: loading…
4.

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

電子ブック
ＥＢ
5. Term Rewriting and Applications : 18th International Conference RTA 2007 Paris France June 26-28 2007. Proceedings
edited by Franz Baader
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4533
オンライン: http://dx.doi.org/10.1007/978-3-540-73449-9
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming CSCLP 2006 Caparica Portugal June 26-282006 Revised Selected and Invited Papers
edited by
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4651
オンライン: http://dx.doi.org/10.1007/978-3-540-73817-6
所蔵情報: loading…
7.

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

電子ブック
ＥＢ
8. Types for Proofs and Programs : International Workshop TYPES 2006 Nottingham UK April 18-212006 Revised Selected Papers
edited by Thorsten Altenkirch Conor McBride
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4502
オンライン: http://dx.doi.org/10.1007/978-3-540-74464-1
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Logic Programming : 23rd International Conference ICLP 2007 Porto Portugal September 8-13 2007. Proceedings
edited by Veronica Dahl Ilkka Niemela
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4670
オンライン: http://dx.doi.org/10.1007/978-3-540-74610-2
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Principles and Practice of Constraint Programming ?ECP 2007 : 13th International Conference CP 2007 Providence RI USA September 23-27 2007. Proceedings
edited by Christian Bessiere
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4741
オンライン: http://dx.doi.org/10.1007/978-3-540-74970-7
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Types for Proofs and Programs : International Workshop TYPES 2004 Jouy-en-Josas France December 15-182004 Revised Selected Papers
edited by Jean-Christophe Filliatre Christine Paulin-Mohring Benjamin Werner
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3839
オンライン: http://dx.doi.org/10.1007/11617990
所蔵情報: loading…
12.

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

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

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

電子ブック
ＥＢ
15. Functional and Logic Programming : 8th International Symposium FLOPS 2006 Fuji-Susono Japan April 24-262006 Proceedings
edited by Masami Hagiya Philip Wadler
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3945
オンライン: http://dx.doi.org/10.1007/11737414
所蔵情報: loading…
16.

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

電子ブック
ＥＢ
17. Recent Advances in Constraints (vol. 3978) : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming CSCLP 2005 Uppsala Sweden June 20-222005 Revised Selected and Invite
Hnich Brahim ; Fages Francois ; Rossi Francesca ; Carlsson Mats ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3978
オンライン: http://dx.doi.org/10.1007/11754602
所蔵情報: loading…
18.

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

電子ブック
ＥＢ
19. Logic Programming (vol. 4079) : 22nd International Conference ICLP 2006 Seattle WA USA August 17-202006 Proceedings
edited by Sandro Etalle Miroslav Truszczynski
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4079
オンライン: http://dx.doi.org/10.1007/11799573
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Term Rewriting and Applications (vol. 4098) : 17th International Conference RTA 2006 Seattle WA USA August 12-142006 Proceedings
edited by Frank Pfenning
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4098
オンライン: http://dx.doi.org/10.1007/11805618
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Advanced Topics in Exception Handling Techniques
edited by Christophe Dony Jorgen Lindskov Knudsen Alexander Romanovsky Anand Tripathi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4119
オンライン: http://dx.doi.org/10.1007/11818502
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Principle and Practice of Constraint Programming - CP 2006 : 12th International Conference CP 2006 Nantes France September 25-292006 Proceedings
edited by Fr-d-ric Benhamou
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4204
オンライン: http://dx.doi.org/10.1007/11889205
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Rigorous Engineering of Fault-Tolerant Systems
edited by Michael Butler Cliff Jones Alexander Romanovsky Elena Troubitsyna
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4157
オンライン: http://dx.doi.org/10.1007/11916246
所蔵情報: loading…
24.

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