Real-Time Systems: Formal Specification and Automatic Verification Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata:... Everyone Needs a Mentor: Fostering Talent in Your Organisation Mentoring is the most cost-efficient and sustainable method of developing talent within an organization. This book shows how set up, run and maintain a mentoring program, from selecting and matching mentors and mentees to measuring results.
You can use mentoring to: stretch talented employees to perform even better by exposure to high...
Genetics Databases (Biological Techniques Series) Computer access is the only way to retrieve up-to-date nucleic acid and protein sequence and structure information.
This book, edited by Martin Bishop, describes the available information and where to find it, and is essential reading for any researcher puzzled by the wealth of on-line data.
The reader will be guided through the maze of...
|Result Page: 17 16 15 14 13 12 11 10 9 8 |