close
1.

電子ブック
ＥＢ
1. Fundamentals of Computation Theory : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
edited by Olaf Owe, Martin Steffen, Jan Arne Telle
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6914
オンライン: http://dx.doi.org/10.1007/978-3-642-22953-4
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever
edited by Dennis Dams, Ulrich Hannemann, Martin Steffen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5930
オンライン: http://dx.doi.org/10.1007/978-3-642-11512-7
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
edited by Martin Steffen, Gianluigi Zavattaro
出版情報: Berlin Heidelberg : Springer Science+Business Media, Inc., 2005
シリーズ名: Lecture Notes in Computer Science ; 3535
オンライン: http://dx.doi.org/10.1007/b136996
所蔵情報: loading…