Electronic Books

Total Books: 1501 - 1520 /1545

User Interfaces for Wearable Computers : Development and Evaluation

It examines user interfaces for wearable computers and analyses the challenges imposed by the wearable computing paradigm ...

Value-Based Software Engineering

VBSE extends the merely technical ISO software engineering definition with elements not only from economics, but also from ...

Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

Variable Domain-specific Software Languages with DjDSL

This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...

Verification of Object-Oriented Software. The KeY Approach

features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...

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

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

Virtual, Distributed and Flexible Organisations

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

Virus Detection (VICE VERSA) / Moayad Al-Khanji , Osama Kutit , Obada Al-Sabbagh , Khaled Mardini and Abdalrahman Saleh ; supervised by Rami Yard and Kholud Al-Jallad مؤيد عبد الوهاب الخانجي ، اسامة قطيط ، عبادة الصباغ ، خالد فريد مارديني و عبد الرحمن محمد صالح ؛ إشراف رامي يارد و خلود الجلاد

Hacking Detection using AI is a hot research topic. There are two types of Intrusion Detection Systems (IDS), Network IDS(NIDS) ...

Vision 2050 : Roadmap for a Sustainable Earth

Hiroshi Komiyama's "Vision 2050" is a plan for paving a road to global sustainability. "Vision 2050" is built upon three ...

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

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

Wadi Flash Floods : Challenges and Advanced Approaches for Disaster Risk Reduction

The book chapters comprehensively and significantly highlight different scientific research disciplines related to wadi flash ...

Warehouse Management

This book gives an overview of possible solutions and helps to make the right choice. It presents the background, potentials ...

Warranty Chain Management : Digitalization and Sustainability / Albert Liao

Aims to provide a systemic viewpoint for enterprise to establish the warranty chain management system. This book includes ...

Warranty Management and Product Manufacture

The aim of warranty management is to achieve the overall business objectives by focussing on both product performance assurance ...

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

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

Web Component Development with Zope 3

New Zope 3 is a web applications server written in Python that allows developing complex web applications rapidly and collaboratively. ...

Web Engineering

This is the first book that looks at Web engineering from a measurement perspective. The result is a self-containing, comprehensive ...

Total Books: 1501 - 1520 /1545