BROWSE
Military theory
Economics
Cultural Theory
Political Theory
Control Science and Engineering
Power Engineering
Mechanical Manufacturing and+Automation
Materials Science
Literary Theory
Theory of art
Bridge and Tunnel Engineering
Computer Software and Theory
Art of Design
Dissertation
> proof-carrying code
A Modular Approach on Building Certified Software System
Author:GuoYu Year:2007 Download:227
Certifying Concurrent Porgrams Using Transactional Memory
Author:LiLong Year:2008 Download:169
First Previous
1
Next Last
