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. Theoretical Aspects of Computing ?EICTAC 2007 : 4th International Colloquium Macau China September 26-28 2007. Proceedings
edited by Cliff B. Jones Zhiming Liu Jim Woodcock
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4711
オンライン: http://dx.doi.org/10.1007/978-3-540-75292-9
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium Tunis Tunisia November 20-24 2006Proceedings
edited by Kamel Barkaoui Ana Cavalcanti Antonio Cerone
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4281
オンライン: http://dx.doi.org/10.1007/11921240
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
edited by Keijiro Araki, Zhiming Liu
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3407
オンライン: http://dx.doi.org/10.1007/b107116
所蔵情報: loading…