Search Result

Found 23554 Document(s) match with the query 20407983
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.)
Author : No author
Call Number : e20407983
Collection Type : eBooks
Location : Universitas Indonesia Library
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures
Author : No author
Call Number : 004.01 FOR f
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
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
Author : Reiner Haehnle, editor
Call Number : e20406856
Collection Type : eBooks
Location : Universitas Indonesia Library
Pattern recognition : Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012 : proceedings
Author : Axel Pinz, editor
Call Number : e20410035
Collection Type : eBooks
Location : Universitas Indonesia Library
Algebraic and numeric biology : 4th international conference, ANB 2010, Hagenberg, Austria, July 31?August 2, 2010 : revised selected papers
Author : Horimoto, Katsuhisa, editor
Call Number : e20408806
Collection Type : eBooks
Location : Universitas Indonesia Library
Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings
Author : Aoki, Toshiaki, editor
Call Number : e20407818
Collection Type : eBooks
Location : Universitas Indonesia Library
<<   1 2 3 4 5   >>