Yukiko Nakano, editor
Intelligent virtual agents : 12th international conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
P. Madhusudan, editor
Computer aided verification : 24th international conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Geographic information science : 7th international conference, GIScience 2012, Columbus, OH, USA, September 18-21, 2012 : proceedings
edited by Xiao Ningchuan
Springer-Verlag, 2012
 eBooks
Interactive theorem proving : third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings
editors, Lennart Beringer, Amy Felty
Springer-Verlag, 2012
 eBooks
Trends in welding research: proceedings of the 8th International Conference, June 1-6, 2008, Callaway Gardens Resort, Pine Mountain, Georgia, USA
editors, Stan A. David, Tarasankar DebRoy, John N. DuPont, Toshihiko Koseki, Herschel B. Smartt
ASM International, 2009
 eBooks
<<   2 3 4   >>