Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
developing computers » developing computer, developing competent, developing competence
program developing » programs developing, programme developing, programmes developing
computers https » computing https, computers gtt, computers help
integer java » integer data, integer base, integer dea
java program » java programs, a program, java programming
developing computers » developing computer, developing competent, developing competence
program developing » programs developing, programme developing, programmes developing
computers https » computing https, computers gtt, computers help
integer java » integer data, integer base, integer dea
java program » java programs, a program, java programming
1
2
Sisällysluettelo:
“... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
3
Sisällysluettelo:
“... -- Extensions -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2007
Sisällysluettelo:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Hae kokoteksti
Elektroninen
E-kirja
5
6
Julkaistu 2007
Sisällysluettelo:
“... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2007
Sisällysluettelo:
“... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...”Hae kokoteksti
Elektroninen
E-kirja