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: ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Verification of Object-Oriented Software. The KeY Approach
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Lee mas
Verification, Model Checking, and Abstract Interpretation
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Lee mas
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 ...
Lee mas
Violence in Europe
Taking the sociocultural long view, Violence in Europe analyzes the prevalence and role of violence—from street crime to ...
Lee mas
Virus Diseases and Crop Biosecurity
Proceedings of the NATO Advanced Research Workshop on Significance of Virus Diseases for Crop Biosecurity in a Developing ...
Lee mas
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 ...
Lee mas
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.
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
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 ...
Lee masWater 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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
