Electronic Books

Total Books: 2021 - 2039 /2039

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 ...

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. ...

Total Books: 2021 - 2039 /2039