close
1.

電子ブック
ＥＢ
1. Computer Science ?ETheory and Applications : Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
edited by Edward A. Hirsch, Alexander A. Razborov, Alexei Semenov, Anatol Slissenko
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5010
オンライン: http://dx.doi.org/10.1007/978-3-540-79709-8
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Theory and Applications of Models of Computation : 4th International Conference TAMC 2007 Shanghai China May 22-25 2007. Proceedings
edited by Jin-Yi Cai S. Barry Cooper Hong Zhu
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4484
オンライン: http://dx.doi.org/10.1007/978-3-540-72504-6
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Computation and Logic in the Real World : Third Conference on Computability in Europe CiE 2007 Siena Italy June 18-232007 Proceedings
edited by S. Barry Cooper Benedikt Lowe Andrea Sorbi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4497
オンライン: http://dx.doi.org/10.1007/978-3-540-73001-9
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Computer Science ?ETheory and Applications : Second International Symposium on Computer Science in Russia CSR 2007 Ekaterinburg Russia September 3-7 2007. Proceedings
edited by Volker Diekert Mikhail V. Volkov Andrei
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4649
オンライン: http://dx.doi.org/10.1007/978-3-540-74510-5
所蔵情報: loading…
5.

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

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

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

電子ブック
ＥＢ
8. New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
edited by Barry S. Cooper, Benedikt Lowe
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3526
オンライン: http://dx.doi.org/10.1007/b136981
所蔵情報: loading…