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 - 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…