close
1.

電子ブック
ＥＢ
1. Practical Aspects of Declarative Languages (vol. 3819) : 8th International Symposium PADL 2006 Charleston SC USA January 9-102006 Proceedings
edited by Pascal van Hentenryck
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3819
オンライン: http://dx.doi.org/10.1007/11603023
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Implementation and Application of Automata (vol. 3845) : 10th International Conference CIAA 2005 Sophia Antipolis France June 27-292005 Revised Selected Papers
edited by Jacques Farr- Igor Litovsky Sylvain Sch
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3845
オンライン: http://dx.doi.org/10.1007/11605157
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Verification Model Checking and Abstract Interpretation (vol. 3855) : 7th International Conference VMCAI 2006 Charleston SC USA January 8-102006 Proceedings
edited by E. Allen Emerson Kedar S. Namjoshi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3855
オンライン: http://dx.doi.org/10.1007/11609773
所蔵情報: loading…
4.

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

電子ブック
ＥＢ
5. Foundations of Information and Knowledge Systems : 4th International Symposium FoIKS 2006 Budapest Hungary February 14-172006 Proceedings
edited by J-rgen Dix Stephen J. Hegner
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3861
オンライン: http://dx.doi.org/10.1007/11663881
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. STACS 2006 : 23rd Annual Symposium on Theoretical Aspects of Computer Science Marseille France February 23-252006 Proceedings
edited by Bruno Durand Wolfgang Thomas
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3884
オンライン: http://dx.doi.org/10.1007/11672142
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Hardware and Software Verification and Testing : First International Haifa Verification Conference Haifa Israel November 13-162005 Revised Selected Papers
edited by Shmuel Ur Eyal Bin Yaron Wolfsthal
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3875
オンライン: http://dx.doi.org/10.1007/11678779
所蔵情報: loading…
8.

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

電子ブック
ＥＢ
9. Logic Based Program Synthesis and Transformation (vol. 3901) : 15th International Symposium LOPSTR 2005 London UK September 7-92005 Revised Selected Papers
edited by Patricia M. Hill
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3901
オンライン: http://dx.doi.org/10.1007/11680093
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. LATIN 2006: Theoretical Informatics : 7th Latin American Symposium Valdivia Chile March 20-242006 Proceedings
edited by Jos- R. Correa Alejandro Hevia Marcos Kiwi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3887
オンライン: http://dx.doi.org/10.1007/11682462
所蔵情報: loading…