Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive verification » interactive sonification, integration verification, integrating verification
verification programmes » verification programming, verification program, eradication programmes
problem constructive » problem construction, problems obstructive, problem constrained
programmes problem » programmes problems, programmer's problem, programs problem
constructive https » construction https, constructive type, constructive help
interactive verification » interactive sonification, integration verification, integrating verification
verification programmes » verification programming, verification program, eradication programmes
problem constructive » problem construction, problems obstructive, problem constrained
programmes problem » programmes problems, programmer's problem, programs problem
constructive https » construction https, constructive type, constructive help
1
Published 2006
Table of Contents:
“... and Slicing -- Automatic Verification of Parameterized Data Structures -- Parameterized Verification...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Complexity in Automated Planning Domains -- The M-OLAP Cube Selection Problem: A Hyper-polymorphic Algorithm...”View full text
Electronic
eBook