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…