Electronic Books

Total Books: 1201 - 1220 /1247

Using Microsoft Windows Small Business Server 2003

This is the fundamental, definitive reference to Microsoft Small Business Server 2003. And it is relevant for all audiences: ...

VLSI-SOC: From Systems to Chips

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

VLSI-SoC: Research Trends in VLSI and Systems on Chip : Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2006), October 16-18, 2006, Nice, France

The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...

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

Verification of Object-Oriented Software. The KeY Approach

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

Verification, Model Checking, and Abstract Interpretation

This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...

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

Violence in Europe

Taking the sociocultural long view, Violence in Europe analyzes the prevalence and role of violence—from street crime to ...

Virus Diseases and Crop Biosecurity

Proceedings of the NATO Advanced Research Workshop on Significance of Virus Diseases for Crop Biosecurity in a Developing ...

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

Visualization for Computer Security : 5th International Workshop, VizSec 2008, Cambridge, MA, USA, September 15, 2008. Proceedings

This book has focused on helping human analysts to detect anomalies and patterns, particularly in computer network defense.

VizSEC 2007 : Proceedings of the Workshop on Visualization for Computer Security

Networked computers are ubiquitous, and are subject to attack, misuse, and abuse. One method to counteracting this cyber ...

Vlsi-Soc: From Systems To Silicon

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Voltage Stability of Electric Power Systems

The book describes practical methods that can be used for voltage security assessment and offers a variety of examples. This ...

Vulnerability Analysis and Defense for the Internet

This book provides packet captures, flow charts and detailed analysis of a protocol and concepts of Reverse Engineering, ...

Wastewater Reuse–Risk Assessment, Decision-Making and Environmental Security

This book about Proceedings of the NATO Advanced Research Workshop on Wastewater Reuse - Risk Assessment, Decision-Making ...

Water Security, Conflict and Cooperation in Peri-Urban South Asia : Flows across Boundaries

This book explores the implications of urbanization in South Asia for water (in-) security in the peri-urban spaces of Dhaka ...

Water Supply in Emergency Situations

Water is essential for life and the trigger for this book is in the increasing threats to uninterrupted, good quality water ...

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

Total Books: 1201 - 1220 /1247