|
|
|
|
|
Interactive Theorem Proving and Program Development
A practical introduction to the development of proofs and certified programs using Coq.
An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. ... | | Never Threaten to Eat Your Co-Workers: Best of Blogs
Do you occasionally wonder,
-
What kind of person works at a porn video store?
-
Do public defenders believe in their clients?
-
What does a reporter feel when he visits war-torn Iraq?
-
What happens after a child star falls into obscurity?
Thanks to Web logs, or... | | |
|
|
The Social and Cognitive Impacts of e-Commerce on Modern OrganizationsThe Social and Cognitive Impacts of E-Commerce on Modern Organizations includes articles addressing the social, cultural, organizational, and cognitive impacts of e-commerce technologies and advances on organizations around the world. Looking specifically at the impacts of electronic commerce on consumer behavior, as well as the impact... | | Security Assessment: Case Studies for Implementing the NSA IAMThe National Security Agency's INFOSEC Assessment Methodology (IAM) provides guidelines for performing an analysis of how information is handled within an organization: looking at the systems that store, transfer, and process information. It also analyzes the impact to an organization if there is a loss of integrity, confidentiality, or... | | Excel Timesaving Techniques For Dummies (Computer/Tech)Covering formulas, charts, data lists, macros, and versions 2000, 2002, and 2003, this book offers more than seventy easy-to-follow techniques that show both new and experienced Excel users how to save time and avoid tedious or redundant tasks. Bestselling author Greg Harvey includes information on customizing Excel's menus and toolbars; modifying... |
|
|
Result Page: Previous 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 Next |