Search Result

Found 11593 Document(s) match with the query 20406856
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
Machine learning in medical imaging: third international workshop, MLMI 2012, held in conjuction with MICCAI 2012, Nice, France, October 1, 2012 : revised selected papers
Author : Fei Wang, editor
Call Number : e20406923
Collection Type : eBooks
Location : Universitas Indonesia Library
Perception and machine intelligence: first Indo-Japan conference, PerMIn 2012 Kolkata, India, January 12-13, 2012 : proceedings
Author : Malay K. Kundu, editor
Call Number : e20408149
Collection Type : eBooks
Location : Universitas Indonesia Library
Advanced intelligent computing theories and applications : with aspects of artificial intelligence : 7th international conference, ICIC 2011, Zhengzhou, cCina, August 11-14, 2011 : revised selected papers
Author : No author
Call Number : e20406311
Collection Type : eBooks
Location : Universitas Indonesia Library
Advanced intelligent computing : 7th international conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011 : revised selected papers
Author : No author
Call Number : e20406314
Collection Type : eBooks
Location : Universitas Indonesia Library
PRICAI 2012 : trends in artificial intelligence : 12th Pacific Rim International Conference on Artificial Intelligence, Kuching, Malaysia, September 3-7, 2012 : proceedings
Author : No author
Call Number : e20410037
Collection Type : eBooks
Location : Universitas Indonesia Library
<<   1 2 3 4 5   >>