Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
The book feature current research from the communities of verification, program certification, model checking, debugging ...
Lee mas
Virtue, Liberty, and Toleration : Political Ideas of European Women, 1400–1800
This volume challenges the view that women have not contributed to the historical development of political ideas, and highlights ...
Lee mas
Virtues and Passions in Literature / Excellence, Courage, Engagements, Wisdom, Fulfilment
The Human Condition prompts our creative strivings beyond the natural round of life toward outstanding achievements. It shows ...
Lee mas
Visions of Heaven
Visions of Heaven shows more than 120 images, including the Roman Pantheon, the Byzantine churches of Turkey, the great domes ...
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
Visual Perception and Robotic Manipulation
This book takes steps towards the realization of domestic robots by presenting an integrated systems view of computer vision ...
Lee mas
Visualizing the Structure of Science
Vargas-Quesada and Moya-Anegón propose a methodology for visualizing large scientific domains. They create science maps, ...
Lee mas
Vortex Dominated Flows : Analysis and Computation for Multiple Scale Phenomena
Addressed to both graduate students and researchers this monograph provides in-depth analyses of vortex dominated flows via ...
Lee mas
Vortices in the Magnetic Ginzburg-Landau Model
This text presents complete and mathematically rigorous versions of both results either already known by physicists or applied ...
Lee mas
WIDENING ACCESS TO EDUCATION AS SOCIAL JUSTICE
Universal access to education, a gage of social justice, is much more than a right—it is an open door to freedom: the freedom ...
Lee mas
Walks on Ordinals and Their Characteristics
The analysis of the characteristics of walks on ordinals is a powerful new technique for building mathematical structures, ...
Lee mas
Wave Propagation and Time Reversal in Randomly Layered Media
Wave propagation in random media is an interdisciplinary field that has emerged from the need in physics and engineering ...
Lee masWave Propagation in Infinite Domains
Attention is focused on linear waves in ideal fluids and elastic domains. Wave propagation based on scalar and vector wave ...
Lee mas
Wavelets, Multiscale Systems and Hypercomplex Analysis
This volume contains a selection of papers on the topics of Clifford analysis and wavelets and multiscale analysis, the latter ...
Lee mas
Weak Dependence: With Examples and Applications
This monograph is aimed at developing Doukhan/Louhichi's (1999) idea to measure asymptotic independence of a random process. ...
Lee mas
Web Communities
Web community, defined as a set of Web-based documents with its own logical structure, is a flexible and efficient approach ...
Lee mas
Web Development Solutions
this book shows you how. It starts from the very beginning of your journey, showing you what's available, what you need, ...
Lee mas
Web Search : Multidisciplinary Perspectives
Web search engines have emerged as one of the dominant technologies of modern life, leaving few aspects of our everyday activities ...
Lee mas
Web Standards Creativity
Web Standards Creativity is jam-packed with fresh, innovative design ideas. The topics range from essential CSS typography ...
Lee mas
Web and Wireless Geographical Information Systems (vol. # 3833)
The aim of the series of annual W2GIS workshops is to provide an up-to-date review of advances on recent devel- ment and ...
Lee mas
