I-1-ed.doc
Maths Mphil Project
Kulum alin-11 jan2014
Program Verification using Probabilistic Techniques Sumit Gulwani Microsoft Research Invited Talk: VSTTE Workshop August 2006 Joint work with George Necula.
1 2006 310205 Mathematicsfor Comter I 310205 Course Info Mathematics for Computer I Semester 2 2006.
H OLISTIC O PTIMIZATION BY P REFETCHING Q UERY R ESULTS Karthik Ramachandra & S. Sudarshan Indian Institute of Technology Bombay S UPPORTED BY MSR India.
Bioinformatics—an introduction for computer scientists
Hispanic Scholarship Fund and Gates Millennium Scholars Program
JPMorgan FGPA Overview
Csebook for cse students
Automated Trading
Book software quality engineering (jeff tian)