Electronic Books

Total Books: 1201 - 1220 /1247
978-1-4302-0016-1
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: ...

Continue reading
978-0-387-33403-5
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 ...

Continue reading
978-0-387-74909-9
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 ...

Continue reading
978-1-84800-017-9
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 ...

Continue reading
978-3-540-69061-0
Verification of Object-Oriented Software. The KeY Approach

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

Continue reading
978-3-540-47813-3
Verification, Model Checking, and Abstract Interpretation

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

Continue reading
978-3-540-87873-5
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 ...

Continue reading
978-0-387-74508-4
Violence in Europe

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

Continue reading
978-1-4020-5298-9
Virus Diseases and Crop Biosecurity

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

Continue reading
978-1-4302-0604-0
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 ...

Continue reading
978-3-540-85933-8
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.

Continue reading
978-3-540-78243-8
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 ...

Continue reading
978-0-387-73661-7
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 ...

Continue reading
978-0-387-75536-6
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 ...

Continue reading
978-0-387-74390-5
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, ...

Continue reading
978-1-4020-6027-4
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 ...

Continue reading
NoIMG
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 ...

Continue reading
978-1-4020-6305-3
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 ...

Continue reading
978-3-540-76448-9
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 ...

Continue reading
978-3-540-27410-0
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. ...

Continue reading
Total Books: 1201 - 1220 /1247