1
Publicat 2015
Taula de continguts: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
Obtenir text complet
Electrònic eBook
2
per Bjørner, Dines., Bjørner, Dines.
Publicat 2006
Taula de continguts: ... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
Obtenir text complet
Electrònic eBook
4
Publicat 2005
Taula de continguts: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...
Obtenir text complet
Electrònic eBook
6
Publicat 2007
Taula de continguts: ... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...
Obtenir text complet
Electrònic eBook