Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures
edited by Elena Giachino, Reiner Hähnle, Frank S. Boer and Marcello M. Bonsangue
Springer, 2013
Buku Teks SO
Reiner Haehnle, editor
Leveraging applications of formal methods, verification, and validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers
Springer, 2012
eBooks
Axel Pinz, editor
Pattern recognition : Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012 : proceedings
[, Springer-Verlag], 2012
eBooks
Horimoto, Katsuhisa, editor
Algebraic and numeric biology : 4th international conference, ANB 2010, Hagenberg, Austria, July 31–August 2, 2010 : revised selected papers
[Springer-Verlag, ], 2012
eBooks
Aoki, Toshiaki, editor
Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings
Springer-Verlag, 2012
eBooks