Formal methods for components and objects : 9th international symposium, FMCO 2010 Graz, Austria, November 29-December 1, 2010 : revised papers / Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, (eds.)
Springer-Verlag, 2011
 eBooks
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
Formal grammar 15th and 16th international conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011 : revised eelected papers / Philippe de Groote, Mark-Jan Nederhof, (eds.)
 eBooks
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
<<   1 2 3   >>