Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
programs development » program development, programmes development, programs developmental
computer https » computers https, computer arts, computer hosts
java programs » java programming
integer java » integer data, integer base, integer dea
programs development » program development, programmes development, programs developmental
computer https » computers https, computer arts, computer hosts
java programs » java programming
integer java » integer data, integer base, integer dea
1
2
Pubblicazione 2007
Sommario:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Testo
Elettronico
eBook
3
Sommario:
“... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Testo
Testo
Elettronico
eBook
4
Sommario:
“... -- Extensions -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Testo
Testo
Elettronico
eBook
5
6
Pubblicazione 2007
Sommario:
“... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”Testo
Elettronico
eBook
7
Pubblicazione 2007
Sommario:
“... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...”Testo
Elettronico
eBook