close
1.

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

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

電子ブック
ＥＢ
3. Logic Language Information and Computation : 14th International Workshop WoLLIC 2007 Rio de Janeiro Brazil July 2-5 2007. Proceedings
edited by Daniel Leivant Ruy Queiroz
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4576
オンライン: http://dx.doi.org/10.1007/978-3-540-73445-1
所蔵情報: 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…