Electronic Books

Total Books: 2761 - 2780 /2781

Web Services and Formal Methods

This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...

Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...

Wideband Amplifiers

This work covers two bases, both performance optimization strategies and a complete introduction to mathematical procedures ...

Wideband Low Noise Amplifiers Exploiting Thermal Noise Cancellation

This book is directly relevant for IC designers and researchers working on integrated transceivers. Although the focus is ...

Wildlife and Emerging Zoonotic Diseases: The Biology, Circumstances and Consequences of Cross-Species Transmission

Wildlife and the zoonotic pathogens they reservoir are the source of most emerging infectious diseases of humans. This volume ...

Wind Energy

In view of the rapid growth of wind industry, Universities, all around the world, have given due emphasis to wind energy ...

Wind Turbine Control Systems

Modern wind turbines generally operate at variable speed in order to maximise the conversion efficiency below rated power ...

Wireless Algorithms, Systems, and Applications

The papers in this volume were presented at the First Annual InternationalConference on Wireless Algorithms, Systems, and ...

Wireless Sensor Networks : 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings

This book is organized in topical sections on localization, detection of space/time correlated events, network coding, ZigBee, ...

Wireless Sensor Networks and Applications

Wireless sensor networks are currently being employed in a variety of applications ranging from medical to military, and ...

Wireless Sensor and Actor Networks II : Proceedings of the 2008 IFIP Conference on Wireless Sensor and Actor Networks (WSAN 08), Ottawa, Ontario, Canmada, July 14-15, 2008

The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...

Wireless Systems and Mobility in Next Generation Internet : 4th International Workshop of the EuroNGI/EuroFGI Network of Excellence Barcelona, Spain, January 16-18, 2008 Revised Selected Papers

This book is organized in topical sections on sensor networks, mesh networks, mobile ad-hoc networks, and cellular networks.

Workflows for e-Science

Workflows for e-Science presents an overview of the current state of the art in the field. It brings together research from ...

Worldmodelling architectural models in the 21st century / Mark Morris, Mike Aling

As architects postulate ever-increasing complex world models from which to draw inspiration and inform their practice, questions ...

Worldmodelling: Architectural Models in the 21st Century / Mark Morris, Mike Aling

Worldbuilding is the creation of imaginary worlds through forms of cultural production. Although this discourse began with ...

Writing Testbenches using SystemVerilog

Writing Testbenches Using SystemVerilog offers a clear blueprint of a verification process that aims for first-time success ...

Writing mental ray shaders : A Perceptual Introduction

The word "render" isn't unique to the vocabulary of computer graphics. We can talk about a "watercolor rendering," a ...

XML for Bioinformatics

The goal of XML for Bioinformatics is to provide a solid introduction to the emerging use of XML in the field of bioinformatics. ...

XcalableMP PGAS Programming Language From Programming Model to Applications

XcalableMP is a directive-based parallel programming language based on Fortran and C, supporting a Partitioned Global Address ...

geoENV VI - Geostatistics for Environmental Applications : Proceedings of the Sixth European Conference on Geostatistics for Environmental Applications

This volume contains how geostatistics is applied within the environmental sciences. A few selected theoretical contributions ...

Total Books: 2761 - 2780 /2781