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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Wellbeing Economics
Economists have long sought to maximise economic growth, believing this to be their best contribution to improving human ...
اقرأ المزيد
Wellbeing and Devolution
In this book, Wallace offers a practical and balanced analysis of the evolution of wellbeing as a policy narrative and framework ...
اقرأ المزيدWetlands 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 ...
اقرأ المزيدWind Turbine Control Systems
Modern wind turbines generally operate at variable speed in order to maximise the conversion efficiency below rated power ...
اقرأ المزيد
Windows System Programming / Johnson M. Hart
Covers the stuff that real systems programmers absolutely must know. Recommended."-Chris Sells, Microsoft Corporation"This ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيد
ZK™
ZK is the most popular open source SourceForge Ajax web framework that enables rich user interface for web applications with ...
اقرأ المزيد
Zutot 2003
The yearbook Zutot serves as a platform for small but incisive contributions, and provides them with a distinct context. ...
اقرأ المزيد
