close
1.

電子ブック
ＥＢ
1. Formal Techniques for Distributed Systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, David Lee, Antonia Lopes, Arnd Poetzsch-Heffter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5522
オンライン: http://dx.doi.org/10.1007/978-3-642-02138-1
所蔵情報: 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…