1
av Friesen, Jeff., Friesen, Jeff.
Publicerad 2011
Ämnen: ...Java (Computer program language)....
Hämta fulltext
Elektronisk E-bok
2
Innehållsförteckning: ... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....
Hämta fulltext
Elektronisk E-bok
3
Innehållsförteckning: ... -- Extensions -- Integer Programming -- Quadratic Programming -- Convex Programming....
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
av Lopez, Cesar., Lopez, Cesar.
Publicerad 2014
Ämnen: ...Programming languages (Electronic computers)....
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2007
Innehållsförteckning: ... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...
Hämta fulltext
Elektronisk E-bok