|
|
|
|
Principles of Model CheckingOur growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a... | | Power One Note: Unleash the Power of One NoteCovering the use of Microsoft OneNote in a wide variety of situations, this handbook provides tips for anyone who takes notes, organizes materials, or keeps a to-do list. In addition to providing the basic information on using the product's interface, this guide teaches how to use OneNote to do specific tasks such as brainstorming, mind mapping,... | | |
|
Surface Acoustic Wave Devices and Their Signal Processing Applications
The suggestion for writing this book came from my long-time friend,
Professor Colin diCenzo, FIEEE, to whom I owe many thanks for his
encouragement. The outline of the book was started many years ago, as a
somewhat sparse series o f lecture notes that I used in support of an electrical
engineering graduate course at McMaster... | | Enterprise JavaBeans (3rd Edition)EnterpriseJavaBeans, 3rd edition, has been thoroughly revised to include complete coverage of three major changes in the EJB 2.0 specification: A new version of container-managed persistence; local interfaces; and a totally new kind of bean called the "message driven bean." The 3rd edition... | | Aggressive Network Self-DefenseI'm Mad As Hell, and I'm Not Gonna Take it Anymore!
- Analyze the technical, legal, and financial ramifications of revolutionary and controversial network strike-back and active defense techniques.
- Follow the travails of eight system administrators who take cyber law into their own hands.
... |
|
|
|
|
Result Page: 91 90 89 88 87 86 85 84 83 82 81 |