|
|
|
|
|
|
50 Fast Dreamweaver MX TechniquesUsing a simple, step-by-step format, this book shows you how to use Dreamweaver to create the most sophisticated, visually captivating designs that are possible on the Web today. From building dynamic tables to adding vivid Flash movies, you’ll uncover 50 fast and easy effects that you can achieve almost instantly with Dreamweaver MX. Each... | | BIRT: A Field Guide to Reporting (The Eclipse Series)The first in a two-book series about Business Intelligence and Reporting Technology, BIRT: A Field Guide to Reporting introduces reporting to a broad base of users. Built on the Eclipse platform, this exciting technology makes it possible for programmers and non-programmers to build and deploy complex reports with... | | Software Verification and Analysis: An Integrated, Hands-On ApproachThis book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging).
Three major software verification techniques are discussed: Semantic program synthesis and... |
|
|
|
Result Page: 148 147 146 145 144 143 142 141 140 139 138 137 136 135 134 133 132 131 130 |