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 ...
Lee mas
WebAssembly for Cloud : A Basic Guide for Wasm-Based Cloud Apps / Shashank Mohan Jain
Understand how Wasm can be used for server-side applications / Learn about Wasm memory model and Wasm module layout / Learn ...
Lee mas
Wellbeing Economics
Economists have long sought to maximise economic growth, believing this to be their best contribution to improving human ...
Lee mas
Wellbeing and Devolution
In this book, Wallace offers a practical and balanced analysis of the evolution of wellbeing as a policy narrative and framework ...
Lee masWetlands and Water Framework Directive : Protection, Management and Climate Change
This book compares the lessons learned from a wetland-perspective approach to the changing climate and the requirements of ...
Lee masWind Turbine Control Systems
Modern wind turbines generally operate at variable speed in order to maximise the conversion efficiency below rated power ...
Lee mas
Windows System Programming / Johnson M. Hart
Covers the stuff that real systems programmers absolutely must know. Recommended."-Chris Sells, Microsoft Corporation"This ...
Lee mas
Wired/Wireless Internet Communications : 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings
This book is organized in topical sessions on performance analysis of wireless systems, resource and QoS management, implementation ...
Lee mas
Wireless Algorithms, Systems, and Applications : Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings
This book address current research and development efforts of various issues in the area of algorithms, systems and applications ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
XNA 2.0 Game Programming Recipes : A Problem-Solution Approach
Join the game development revolution today! XNA greatly simplifies the development of your own games, lowering the barrier ...
Lee mas
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 ...
Lee mas
Yearbook on Space Policy 2006/2007 : New Impetus for Europe
The Yearbook on Space Policy aims to be the reference publication analysing space policy developments. Each year it presents ...
Lee mas
ZB 2005: Formal Specification and Development in Z and B
This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
Lee mas
ZK™
ZK is the most popular open source SourceForge Ajax web framework that enables rich user interface for web applications with ...
Lee mas
Zutot 2003
The yearbook Zutot serves as a platform for small but incisive contributions, and provides them with a distinct context. ...
Lee mas
