Electronic Books

Total Books: 1381 - 1397 /1397
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...

Lire la suite
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...

Lire la suite
NoIMG
Virtual, Distributed and Flexible Organisations

Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. ...

Lire la suite
Visual Basic 2008 Recipes : A Problem-Solution Approach

Sometimes you just need to solve a problem and get on with your work. To that end, Visual Basic 2008 Recipes is a compendium ...

Lire la suite
WALCOM: Algorithms and Computation : Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings

This book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...

Lire la suite
Web Component Development with Zope 3

This book focuses on Zope 3, though it also addresses the needs of Zope 2 developers who want to use Zope 3 features as they ...

Lire la suite
Web Programming and Internet Technologies: An E-Commerce Approach ; Second Edition / Porter Scobey, Pawan Lingras

Features a hands-on and active learning approach. Written for the one-term web programming course for first or second year ...

Lire la suite
Web Programming with HTML5, CSS, and JavaScript ; First Edition / John Dean

Written for the undergraduate, client-side web programming course. It covers the three client-side technologies (HTML5, CSS, ...

Lire la suite
Web Reasoning and Rule Systems : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings

This book address all current topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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, ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
ZK™

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

Lire la suite
Total Books: 1381 - 1397 /1397