close
1.

電子ブック
ＥＢ
1. Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
edited by Luca Aceto, Monika Henzinger, Jiří Sgall
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6756
オンライン: http://dx.doi.org/10.1007/978-3-642-22012-8
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6300
オンライン: http://dx.doi.org/10.1007/978-3-642-15025-8
所蔵情報: loading…