Top 785 adila pa ali kreso eds PDF Book Page 25

book image

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

Ahmed Bouajjani, Cezara Drăgoi (auth.), Viktor Kuncak, Andrey Rybalchenko (eds.)
·471 Pages
·2012
·4.887 MB

book image

Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings

Manindra Agrawal, P. S. Thiagarajan (auth.), Rajeev Alur, George J. Pappas (eds.)
·687 Pages
·2004
·12.301 MB

book image

Intelligent Virtual Agents: 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedings

Jan M. Allbeck, Hadas Kress-Gazit (auth.), Jan Allbeck, Norman Badler, Timothy Bickmore, Catherine Pelachaud, Alla Safonova (eds.)
·501 Pages
·2010
·11.329 MB

1
242526
33