This comprehensive textbook presents a self-contained guide to bioinformatics, defined in its broadest sense as the application of information science to biology. Emphasis... Læs mere
This volume features the proceedings of the 14th ISPE Conference on Concurrent Engineering, held in Sao Jose dos Campos, Sao Paulo, Brazil, on the 16th - 20th of July 2007. It highlights the application of concurrent engineering to the development of complex systems.
Human Factors of Stereoscopic Displays provides an overview of all vision-relevant topics and issues that inform stereo display design from a user-centric or human factor, perspective.
Meeting today’s energy and climate challenges require not only technological advancement but also a good understanding of stakeholders’ perceptions, political sensitivity, well-informed policy analyses and innovative interdisciplinary solutions.
Reliability and Safety Engineering presents an overview of the basicconcepts, together with simple and practical illustrations.The authors presentreliability... Læs mere
Providing insight into methodologies for designing adaptive systems based on semantic data, and introducing semantic models that can be used for building interactive systems, this book showcases applications made possible by the use of semantic models.
Three-Phase AC-AC Power Converters Based On Matrix Converter Topology: Matrix-reactance frequency converters concept presents a review of power frequency converters, with special attention paid to converters without DC energy storage.
This important text/reference presents the latest secure and privacy-compliant techniques in automatic human recognition. Featuring viewpoints from an international... Læs mere
Design and Management of Sustainable Built Environments will be of interest to urban and building designers, environmental engineers, and building performance assessors.
This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.