 |
|
|
|
|
| | Real-Time Systems: Formal Specification and Automatic VerificationReal-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 OrganisationMentoring 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... |
|
| | | | Innovation in Information TechnologyThe health of the computer science field and related disciplines has
been an enduring concern of the National Research Council’s Computer cience and Telecommunications Board (CSTB). From its first reports in the late 1980s, CSTB has examined the nature, conduct, scope, and directions of the research that drives innovation in... |
|
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 |
