Suggested Topics within your search.
Search alternatives:
programs development » program development, programmes development, programs developmental
java programs » java programming
integer java » integer data, integer base, integer dea
https* » http*
1
Cover Image
Table of Contents: “... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
Table of Contents: “... -- Extensions -- Integer Programming -- Quadratic Programming -- Convex Programming....”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2007
Table of Contents: “... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
Published 2007
Table of Contents: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search