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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Visions of Heaven
Visions of Heaven shows more than 120 images, including the Roman Pantheon, the Byzantine churches of Turkey, the great domes ...
اقرأ المزيد
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 ...
اقرأ المزيد
Visual Perception and Robotic Manipulation
This book takes steps towards the realization of domestic robots by presenting an integrated systems view of computer vision ...
اقرأ المزيد
Visualizing the Structure of Science
Vargas-Quesada and Moya-Anegón propose a methodology for visualizing large scientific domains. They create science maps, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Walks on Ordinals and Their Characteristics
The analysis of the characteristics of walks on ordinals is a powerful new technique for building mathematical structures, ...
اقرأ المزيد
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 ...
اقرأ المزيدWave Propagation in Infinite Domains
Attention is focused on linear waves in ideal fluids and elastic domains. Wave propagation based on scalar and vector wave ...
اقرأ المزيد
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 ...
اقرأ المزيد
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. ...
اقرأ المزيد
Web Communities
Web community, defined as a set of Web-based documents with its own logical structure, is a flexible and efficient approach ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
Web Standards Creativity
Web Standards Creativity is jam-packed with fresh, innovative design ideas. The topics range from essential CSS typography ...
اقرأ المزيد
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 ...
اقرأ المزيد
