Search Result

Found 21285 Document(s) match with the query 20510384
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
Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012, advanced lectures
Author : No author
Call Number : e20410465
Collection Type : eBooks
Location : Universitas Indonesia Library
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 : foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings
Author : Rohit Gheyi, editor
Call Number : e20409397
Collection Type : eBooks
Location : Universitas Indonesia Library
Integrated formal methods: 9th international conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings
Author : No author
Call Number : e20409160
Collection Type : eBooks
Location : Universitas Indonesia Library
Service-oriented and cloud computing : first European conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012 : proceedings
Author : No author
Call Number : e20409325
Collection Type : eBooks
Location : Universitas Indonesia Library
<<   1 2 3 4 5   >>