1
Tekijä Friesen, Jeff., Friesen, Jeff.
Julkaistu 2011
Aiheet: ...Java (Computer program language)....
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2007
Sisällysluettelo: ... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2007
Sisällysluettelo: ... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...
Hae kokoteksti
Elektroninen E-kirja