1
Pubblicazione 2014
Sommario: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
Testo
Elettronico eBook
2
Pubblicazione 2005
Sommario: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Testo
Elettronico eBook
3
Pubblicazione 2005
Sommario: ... Common Rigid Subsequence Problem -- Text Indexing with Errors -- A New Compressed Suffix Tree Supporting...
Testo
Elettronico eBook
4
Pubblicazione 2005
Sommario: ...Discrete Tomography -- Binary Matrices Under the Microscope: A Tomographical Problem...
Testo
Elettronico eBook
5
Pubblicazione 2008
Sommario: ...-Hiding -- Products of Message Sequence Charts -- What Else Is Decidable about Integer Arrays? -- Model...
Testo
Elettronico eBook
6
Pubblicazione 2006
Sommario: ... Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming...
Testo
Elettronico eBook
7
Pubblicazione 2010
Sommario: ... of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach -- Feasibility-Based Bounds...
Testo
Elettronico eBook
8
Pubblicazione 2007
Sommario: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Testo
Elettronico eBook