Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
اقرأ المزيد
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
اقرأ المزيد
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 ...
اقرأ المزيد
Virtual Reality
This volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...
اقرأ المزيد
Visualizing the Semantic Web
This pioneering book deals specifically with the visualization of the Second-Generation Web. Now in its second edition it ...
اقرأ المزيد
Wideband Amplifiers
This work covers two bases, both performance optimization strategies and a complete introduction to mathematical procedures ...
اقرأ المزيد
Wireless Algorithms, Systems, and Applications : Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings
This book address current research and development efforts of various issues in the area of algorithms, systems and applications ...
اقرأ المزيد
Wireless Sensor Networks : 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings
This book is organized in topical sections on localization, detection of space/time correlated events, network coding, ZigBee, ...
اقرأ المزيد
Wood and wood joints building traditions in Europe, Japan and China / Klaus Zwerger, Valerio Olgiati
Wood and Wood Joints puts today s world in touch with the diverse know-how of Western and Eastern cultures about the creative ...
اقرأ المزيد
Wrist Arthroscopy
Dr. William B. Geissler has selected an international group of experts to compose this practical guide to wrist arthroscopy ...
اقرأ المزيدYour Skin is Your Mirror آية المفلح ؛ إشراف د. أحمد فلاح
Skin is a significant part of a body involve protect yourself from foreign body and harmful substance also maintains the ...
اقرأ المزيد
