05-09 |
05-03 |
03-27 |
03-12 |
2013-05-21
2013-05-20
2013-05-17
2013-05-16
2013-05-16
2013-05-14
2013-04-24
2013-04-23
[5-20]Automata for counting data, and some logic
[5-17]Develop Fine-Grained Access Control Systems for Sma...
[5-16]High-Level Parallel Programming with Parallel Skele...
[5-13][5-14]挖掘领域国际级大师——美国伊利诺伊芝加哥分校...
[5-10]Making Software Reliable in the Multicore Era
[5-9]Detection and Tracking of Dynamic Amorphous Events i...
[4-26]Reasoning about State Invariants and Constraints in...
[4-25]A Controlled Experiment on Software Documentation B...
2013-05-13
2013-05-17
2013-05-10
2013-05-07
2013-04-24
2013-05-06
2013-04-22
2013-04-24