Rekommenderade teman
Rekommenderade teman
Menade du:
programs developing » projects developing, process developing, programme development
program development » product development
computer https » computers https, computing https, computer arts
integer java » integer data, integer base, integer dea
programs developing » projects developing, process developing, programme development
program development » product development
computer https » computers https, computing https, computer arts
integer java » integer data, integer base, integer dea
1
2
Innehållsförteckning:
“... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
3
Innehållsförteckning:
“... -- Extensions -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2007
Innehållsförteckning:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2007
Innehållsförteckning:
“... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”Hämta fulltext
Elektronisk
E-bok
6
7
Publicerad 2007
Innehållsförteckning:
“... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...”Hämta fulltext
Elektronisk
E-bok