Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Software Verification and Analysis: An Integrated, Hands-On Approach
Software Verification and Analysis: An Integrated, Hands-On Approach
This 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
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
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
...
Medicine Across Cultures: History and Practice of Medicine in Non-Western Cultures
Medicine Across Cultures: History and Practice of Medicine in Non-Western Cultures

This work deals with the medical knowledge and beliefs of cultures outside of the United States and Europe. In addition to articles surveying Islamic, Chinese, Native American, Aboriginal Australian, Indian, Egyptian, and Tibetan medicine, the book includes essays on comparing Chinese and western medicine and religion and medicine. Each essay...

The Early Roman Expansion into Italy: Elite Negotiation and Family Agendas
The Early Roman Expansion into Italy: Elite Negotiation and Family Agendas
This book presents a radical new interpretation of Roman expansion in Italy during the fourth and third centuries BCE. Nicola Terrenato argues that the process was accomplished by means of a grand bargain that was negotiated between the landed elites of central and southern Italy, while military conquest played a much smaller role than is...
Documentum Content Management Foundations: EMC Proven Professional Certification Exam E20-120 Study Guide
Documentum Content Management Foundations: EMC Proven Professional Certification Exam E20-120 Study Guide

This is a complete study guide including study material and practice questions to prepare for the EMC Proven Professional certification Exam E20-120. It can also serve Documentum beginners and practitioners as a handy guide and quick reference to the technical fundamentals that is fully up to date for Documentum 5.3. Beginners are introduced to...

Canon PowerShot G12: From Snapshots to Great Shots
Canon PowerShot G12: From Snapshots to Great Shots

Now that you've bought the amazing Canon PowerShot G12, you need a book that goes beyond a tour of the camera's features to show you exactly how to use your camera to take great pictures. With Canon PowerShot G12: From Snapshots to Great Shots, you get the perfect blend of photography instruction and camera reference that will...

Microsoft Windows 7: Illustrated Complete
Microsoft Windows 7: Illustrated Complete
Tips and troubleshooting advice, right where you need it–next to the step itself. Welcome to Microsoft Windows 7—Illustrated Complete. If this is your first experience with the Illustrated series, you’ll see that this book has a unique design: each skill is presented on two facing pages, with steps...
Principles of Data Mining (Undergraduate Topics in Computer Science)
Principles of Data Mining (Undergraduate Topics in Computer Science)

Data Mining, the automatic extraction of implicit and potentially useful information from data, is increasingly used in commercial, scientific and other application areas.

Principles of Data Mining explains and explores the principal techniques of Data Mining: for classification, association rule mining and clustering. Each...

The 100 Simple Secrets of Happy People: What Scientists Have Learned and How You Can Use It
The 100 Simple Secrets of Happy People: What Scientists Have Learned and How You Can Use It

Scientists and academics have spent entire careers investigating what makes people happy. But hidden in obscure scholarly journals and reports, their research is all too often inaccessible to ordinary people. Now the bestselling author of the 100 Simple Secrets series distills the scientific findings of over a thousand of the most important...

AdvancED Flash Interface Design (Advanced Design)
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 Games
The Ethics of Computer Games
Despite 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...
unlimited object storage image
Result Page: 99 98 97 96 95 94 93 92 91 90 89 88 87 86 85 84 83 82 81 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy