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