|
|
|
|
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... | | Categorical Data Analysis With Sas and Spss Applications
This book is primarily designed for a senior undergraduate class in Categorical Data Analysis and for majors in biomedical, biostatistics and statistics programs, but can also be used as reference text for researchers working in the area, and /or for an introductory text in a graduate course on the subject. A prerequisite of a one year... | | BMA Illustrated Medical Dictionary
This dictionary gives comprehensive coverage of anatomical terms, disorders, tests, treatments and drugs and contains extensive cross referencing for fast access to related topics.
Essential A–Z quick reference to over 5,500 medical terms
The British Medical Association ... |
|
|
|
| | AdvancED Flash Interface Design (Advanced Design)As a competent Flash designer, youre probably comfortable with all of the basics that Flash has to offer. However, youve probably looked at some of the amazing Flash sites on the web and thought, "How'd they do that?" Well, youll find out in this book. Flash allows users to create some amazing interactive interfaces to interact with Rich... | | The Ethics of Computer GamesDespite the emergence of computer games as a dominant cultural industry (and the accompanying emergence of computer games as the subject of scholarly research), we know little or nothing about the ethics of computer games. Considerations of the morality of computer games seldom go beyond intermittent portrayals of them in the mass media as training... |
|
|
Result Page: 99 98 97 96 95 94 93 92 91 90 89 88 87 86 85 84 83 82 81 |