Electronic Books

Total Books: 2021 - 2039 /2039

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

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

Understand how Wasm can be used for server-side applications / Learn about Wasm memory model and Wasm module layout / Learn ...

Economists have long sought to maximise economic growth, believing this to be their best contribution to improving human ...

In this book, Wallace offers a practical and balanced analysis of the evolution of wellbeing as a policy narrative and framework ...

This book compares the lessons learned from a wetland-perspective approach to the changing climate and the requirements of ...

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

Covers the stuff that real systems programmers absolutely must know. Recommended."-Chris Sells, Microsoft Corporation"This ...

This book is organized in topical sessions on performance analysis of wireless systems, resource and QoS management, implementation ...

This book address current research and development efforts of various issues in the area of algorithms, systems and applications ...

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

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

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

Join the game development revolution today! XNA greatly simplifies the development of your own games, lowering the barrier ...

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

The Yearbook on Space Policy aims to be the reference publication analysing space policy developments. Each year it presents ...

This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...

ZK is the most popular open source SourceForge Ajax web framework that enables rich user interface for web applications with ...

The yearbook Zutot serves as a platform for small but incisive contributions, and provides them with a distinct context. ...

Total Books: 2021 - 2039 /2039