본문

  1. Home
3 Results:AA:B MA PP:ASSOCIATION FOR COMPUTING MACHINERY 0.187 sec.
RSS 
Multilingual
 Расширенный поиск
 Новый поиск книги прибытия
Selected Print Select Export to Excel
1
Introducing a Country to Internet-Enabled Expert Networks
Introducing a Country to Internet-Enabled Expert Networks
Nordfors, D., | Association for Computing Machinery | 2003 ,
2
Performance Evaluation and Model Checking Join Forces: A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques
Performance Evaluation and Model Checking Join Forces: A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques
Baier, C., | Association for Computing Machinery | 2010 ,
3
Formal Analysis of MPI-based Parallel Programs
Formal Analysis of MPI-based Parallel Programs
Gopalakrishnan, G., | Association for Computing Machinery | 2011 ,
처음1마지막