Search Result

Found 8889 Document(s) match with the query 20410089
Interactive theorem proving : third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings
Author : No author
Call Number : e20410089
Collection Type : eBooks
Location : Universitas Indonesia Library
Hybrid learning : 5th international conference, ICHL 2012, Guangzhou, China, August 13-15, 2012 : proceedings
Author : No author
Call Number : e20410162
Collection Type : eBooks
Location : Universitas Indonesia Library
Certified programs and proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings
Author : Chris Hawblitzel, editor
Call Number : e20406355
Collection Type : eBooks
Location : Universitas Indonesia Library
Ambient intelligence: third international joint conference, AmI 2012, Pisa, Italy, November 13-15, 2012 : proceedings
Author : No author
Call Number : e20406714
Collection Type : eBooks
Location : Universitas Indonesia Library
Product-focused software process improvement : 13th international conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 : proceedings
Author : Dieste, Oscar, editor
Call Number : e20410456
Collection Type : eBooks
Location : Universitas Indonesia Library
Trust and trustworthy computing : 5th international conference, TRUST 2012, Vienna, Austria, June 13-15, 2012 : proceedings
Author : No author
Call Number : e20410470
Collection Type : eBooks
Location : Universitas Indonesia Library
<<   1 2 3 4 5   >>