Top 721 pa lassiter lassiter PDF Book Page 27

book image

Intelligent Tutoring Systems: 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part I

Chee-Kit Looi (auth.), Vincent Aleven, Judy Kay, Jack Mostow (eds.)
·463 Pages
·2010
·12.923 MB

book image

Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

Boon Thau Loo, Harjot Gill, Changbin Liu (auth.), Claudio Russo, Neng-Fa Zhou (eds.)
·313 Pages
·2012
·3.575 MB

book image

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
·335 Pages
·2012
·5.947 MB

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

Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings

Neil D. Jones, Arne J. Glenstrup (auth.), Don Batory, Charles Consel, Walid Taha (eds.)
·344 Pages
·2002
·5.681 MB

1
262728
31