This book brings together recent research work on algebraic specification (AS), which aims to provide formal techniques for the specification and prototyping of software. The book uses a practical approach to the design and use of AS formalisms, and illustrate how AS techniques …
This book constitutes the refereed proceedings of the International Conference on Ergonomics and Health Aspects of Work with Computers, EHAWC 2011, held within the framework of the 14th International Conference on Human-Computer Interaction, HCII 2011, incorporating 12 thematica…
A guide for IT process managers covers such topics as designing and implementing service manager configuration, problem reporting, governance and compliance, security, and custom report building.
This is the only comprehensive reference and technical guide to Microsoft System Center Service Manager 2010. A team of expert authors offers step-by-step coverage of related topics in every feature area, structured to help IT professionals quickly deploy Service Manager 2010 in…
Written as an introduction for the undergraduate, graduate or professional, this volume provides scientists with both a biological framework to understand the questions life scientists confront in the context of the computational issues and tools that are currently available for…
The genomic revolution that has spawned microarrays and high throughput technologies has produced vast amounts of complex biological data that require integration and multidimensional analysis. In Introduction to Bioinformatics: A Theoretical and Practical Approach, leading rese…
CD-ROM contains: chapter illustrations -- full and trial versions of programs.
by Watson, Des
fromInternational computer science series
