close
1.

電子ブック
ＥＢ
1. Theory and Applications of Models of Computation : Third International Conference TAMC 2006 Beijing China May 15-202006 Proceedings
edited by Jin-Yi Cai S. Barry Cooper Angsheng Li
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3959
オンライン: http://dx.doi.org/10.1007/11750321
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Computer Science -- Theory and Applications : First International Symposium on Computer Science in Russia CSR 2006 St. Petersburg Russia June 8-122006 Proceedings
edited by Dima Grigoriev John Harrison Edward A.
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3967
オンライン: http://dx.doi.org/10.1007/11753728
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Algebra Meaning and Computation : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
edited by Kokichi Futatsugi Jean-Pierre Jouannaud Jos- Meseguer
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4060
オンライン: http://dx.doi.org/10.1007/11780274
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Logical Approaches to Computational Barriers : Second Conference on Computability in Europe CiE 2006 Swansea UK June 30-July 52006 Proceedings
edited by Arnold Beckmann Ulrich Berger Benedikt L-we John V. Tucke
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3988
オンライン: http://dx.doi.org/10.1007/11780342
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Computer and Information Seciences - ISCIS 2006 : 21th International Symposium Istanbul Turkey Novenber 1-32006 Proceedings
edited by Albert LeviErkay Savas H-sn- Yenig-n Selim Balcisoy et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4263
オンライン: http://dx.doi.org/10.1007/11902140
所蔵情報: loading…