Electronic Books

Total Books: 781 - 800 /808

Verification, Model Checking, and Abstract Interpretation (vol. # 3385)

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

Verification, Model Checking, and Abstract Interpretation (vol. # 3855)

This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...

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

Video Traces for Network Performance Evaluation

Multimedia networking applications and, in particular, the transport of c- pressed video are expected to contribute signi?cantly ...

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 with Direction

Image analysis is a computational feat which humans show excellence in, in comp- ison with computers. Yet the list of applications ...

Visual Methodology in Migration Studies New Possibilities, Theoretical Implications, and Ethical Questions

This book explores the use of visual methods in migration studies through a combination of theoretical analyses and empirical ...

Visual Perception and Robotic Manipulation

This book takes steps towards the realization of domestic robots by presenting an integrated systems view of computer vision ...

Volcanic Unrest : From Science to Society

Volcanic unrest is a complex multi-hazard phenomenon. The fact that unrest may, or may not lead to an imminent eruption contributes ...

Water Politics and Development Cooperation : Local Power Plays and global Governance

This statement in the most recent Human Development Report articulates a conv- tion that has increasingly gained ground in ...

Water and Wastewater Engineering Technology / Subhash Verma

Presents the basic concepts and applications of water and wastewater engineering technology. It is primarily designed for ...

Web Engineering

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

Web Intelligence Meets Brain Informatics

the book include: workshop was the first in the field to focus on the interplay between (a) intelligent technologies, especially ...

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

When There Was No Money

The largest retail branch bank network is built in one of the most formidable environments in the world. This book takes ...

Why Managers and Companies Take Risks

The book answers a simple question: when managers and companies face a decision with two outcomes that are safe and risky, ...

Wicked Problems in Public Policy : Understanding and Responding to Complex Challenges

This book offers the first overview of the ‘wicked problems’ literature, often seen as complex, open-ended, and intractable, ...

Wideband Amplifiers

This work covers two bases, both performance optimization strategies and a complete introduction to mathematical procedures ...

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

Total Books: 781 - 800 /808