Search Result

Found 9584 Document(s) match with the query 20408170
Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012 Philadelphia, PA, USA, January 28-29, 2012 : proceedings
Author : Rajeev Joshi, editor
Call Number : e20408170
Collection Type : eBooks
Location : Universitas Indonesia Library
Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012 Philadelphia, PA, USA, January 22-24, 2012 : proceedings
Author : No author
Call Number : e20408216
Collection Type : eBooks
Location : Universitas Indonesia Library
Practical aspects of declarative languages: 14th international symposium, PADL 2012 Philadelphia, PA, USA, January 23-24, 2012 : proceedings
Author : Russo, Claudio, editor
Call Number : e20408094
Collection Type : eBooks
Location : Universitas Indonesia Library
Data integration in the life sciences : 8th international conference, DILS 2012, College Park, MD, USA, June 28-29, 2012 : proceedings
Author : Olivier Bodenreider, editor
Call Number : e20410463
Collection Type : eBooks
Location : Universitas Indonesia Library
Theory and practice of model transformations : 5th international conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings
Author : No author
Call Number : e20410330
Collection Type : eBooks
Location : Universitas Indonesia Library
Intelligent virtual agents : 12th international conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012 : proceedings
Author : Yukiko Nakano, editor
Call Number : e20409991
Collection Type : eBooks
Location : Universitas Indonesia Library
<<   1 2 3 4 5   >>