1
Publicat 2014
Taula de continguts: ...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...
Obtenir text complet
Electrònic eBook
3
Taula de continguts: ... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....
Obtenir text complet
Electrònic eBook
4
Taula de continguts: ... -- Extensions -- Integer Programming -- Quadratic Programming -- Convex Programming....
Obtenir text complet
Electrònic eBook
5
Publicat 2007
Taula de continguts: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Obtenir text complet
Electrònic eBook
6
Publicat 2006
Taula de continguts: ... Constraint Propagation -- Approximability of Integer Programming with Generalised Constraints -- When...
Obtenir text complet
Electrònic eBook
7
Taula de continguts: ...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...
Obtenir text complet
Electrònic eBook
8
per Lopez, Cesar., Lopez, Cesar.
Publicat 2014
Matèries: ...Programming languages (Electronic computers)....
Obtenir text complet
Electrònic eBook
9
Publicat 2007
Taula de continguts: ... the KeY System -- Using KeY -- Proving by Induction -- Java Integers -- Proof Reuse -- IV: Case Studies...
Obtenir text complet
Electrònic eBook