본문

  1. Home
4 Results:UU:VOL54NO920119 0.77 sec.
RSS 
Multilingual
 高级搜索
 新货搜索
选定的打印 Select Export to Excel
1
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Bouyer, P., | Association for Computing Machinery | 2011 ,
2
Satisfiability Modulo Theories: Introduction and Applications
Satisfiability Modulo Theories: Introduction and Applications
de Moura,, | Association for Computing Machinery | 2011 ,
3
Realizing the Future of Wireless Data Communications
Realizing the Future of Wireless Data Communications
Partridge, C., | Association for Computing Machinery | 2011 ,
4
Protecting Users of the Cyber Commons
Protecting Users of the Cyber Commons
Lukasik, S.J., | Association for Computing Machinery | 2011 ,
처음1마지막