close
1.

電子ブック
ＥＢ
1. Methods, Models and Tools for Fault Tolerance
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, Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5454
オンライン: http://dx.doi.org/10.1007/978-3-642-00867-2
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. 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, Egon Borger, Michael Butler, Jonathan P. Bowen, Paul Boca
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5238
オンライン: http://dx.doi.org/10.1007/978-3-540-87603-8
所蔵情報: loading…