Addressing the diminished understanding of the value of security on the executive side and a lack of good business processes on the security side, Security Strategy: From Requirements to Reality explains how to select, develop, and deploy the security strategy best suited to your organization. It clarifies the purpose and...

This book captures the essence of current workforce development perspectives and draws on extensive global research to uncover a range of issues confronting organisations. Taking primarily an Australian outlook after the global financial crisis and tracing the progress of a national industry sector, each chapter delves into a major area of...

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical...

How cool would it be to build your own levels and customized weapons for Half-Life 2? This book will get you ready to mod so you can enjoy the ultimate gaming...