 |
|
|
 Verification of Sequential and Concurrent Programs (Texts in Computer Science)
This widely anticipated third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic and nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs. The... |  |  Markov Random Field Modeling in Image Analysis (Advances in Pattern Recognition)
Modeling problems in this book are addressed mainly from the computational viewpoint. The primary concerns are how to define an objective function for the optimal solution to a image analysis or computer vision problem and how to find the optimal solution. The solution is defined in an optimization sense because the perfect solution is... |  |  Investing Online For Dummies
Straightforward advice on investing online wisely with the most updated information available
If you're eager to take control of your investments but don't want to make it your full-time job, Investing Online For Dummies, 7th Edition will put you on your way. Completely updated to cover all the newest online... |
|
|
|
Result Page: 13 12 11 10 9 8 7 6 5 4 3 2 1 |