close
1.

電子ブック
ＥＢ
1. Models in Software Engineering : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
edited by Juergen Dingel, Arnor Solberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6627
オンライン: http://dx.doi.org/10.1007/978-3-642-21210-9
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
edited by Roberto Bruni, Juergen Dingel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6722
オンライン: http://dx.doi.org/10.1007/978-3-642-21461-5
所蔵情報: loading…