×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [s goto]
1 Towards a Verifying Compiler: The Spec# Approach Wolfram Schulte Microsoft Research Formal Methods 2006 Joint work with Rustan Leino, Mike Barnett, Manuel
213 views
CISC 879 - Machine Learning for Solving Systems Problems Presented by: Akanksha Kaul Dept of Computer & Information Sciences University of Delaware SBMDS:
214 views
Status of APAN International Workshop of HEP Data Grid Nov 9, 2002 Yong-Jin Park APAN, Director of Secretariat/ Hanyang University
216 views
Japan’s Recovery Strategy: Innovation Revisited Atsushi Sunami, Ph.D. Director, Science and Technology, Innovation Policy Program National Graduate Institute
223 views