|
|
|
|
| | 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... | | |
|
|
|
Big Think Strategy: How to Leverage Bold Ideas and Leave Small Thinking Behind
Business leaders need bold strategies to stay relevant and win. In "Big Think Strategy", Schmitt shows how to bring bold thinking into your business by sourcing big ideas and executing them creatively. With the tools in this book, any leader can overcome institutionalized 'small think' - the inertia, the narrow-mindedness,... | | Municipal Solid Waste Incinerator Residues (Studies in Environmental Science)
The International Ash Working Group (IAWG) was established in 1989 to conduct an
in-depth review of the existing scientific data and develop a state-of-knowledge treatise
on MSW incinerator residue characterisation, disposal, treatment and utilisation. The
topics of operator and worker health and safety, and health risk assessment... | | 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... |
|
|
Result Page: 900 899 898 897 896 895 894 893 892 891 890 889 888 887 886 885 884 883 882 |