Verification, Model Checking, and Abstract Interpretation (vol. # 3855)
This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...
اقرأ المزيد
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 ...
اقرأ المزيد
Viscosity of Liquids
The need for properties is ever increasing to make processes more economical. A good survey of the viscosity data, its critical ...
اقرأ المزيد
Visions of Heaven
Visions of Heaven shows more than 120 images, including the Roman Pantheon, the Byzantine churches of Turkey, the great domes ...
اقرأ المزيد
Visual Communication for Architects and Designers : Constructing the Persuasive Presentation / Margaret Fletcher
Teaches you the art of designing a concise, clear, compelling and effective visual and verbal presentation. Margaret Fletcher ...
اقرأ المزيد
Visualization: Theory and Practice in Science Education
External representations (pictures, diagrams, graphs, concrete models) have always been valuable tools for the science teacher. ...
اقرأ المزيد
Wafer Level 3-D ICs Process Technology
The core of the book discusses alternative technology platforms for pre-packaging wafer level 3-D ICs, with an emphasis on ...
اقرأ المزيد
Warranty Management and Product Manufacture
The aim of warranty management is to achieve the overall business objectives by focussing on both product performance assurance ...
اقرأ المزيد
Water and the Search for Life on Mars
This highly absorbing book relates how NASA and ESA have sought evidence of life on Mars. ‘Follow the water’ with noted ...
اقرأ المزيد
Waxing for Dental Students / Rowida Abdalla
Presents the minimally invasive philosophy before demonstrating the protocols necessary for the development of new skills ...
اقرأ المزيد
Wayfinding : people, signs, and architecture / Paul Arthur; Romedi Passini
Coined the terms 'signage' and 'wayfinding', the use of pictograms, words, colours, and architecture to help people find ...
اقرأ المزيد
Wayfinding, Consumption, and Air Terminal Design / Menno Hubregtse
Investigates how international air terminals organize passenger movement and generate spending. It offers a new understanding ...
اقرأ المزيد
Web Accessibility
The power of the Web lies in the fact that anyone and everyone can access it, and this should also extend to users with disabilities. ...
اقرأ المزيد
Web Accessibility : A Foundation for Research
Covering key areas of evaluation and methodology, client-side applications, specialist and novel technologies, along with ...
اقرأ المزيد
Web Design and Marketing Solutions for Business Websites
The best business websites serve their readers with strong content, well-architected design, and a focus on usability, readability, ...
اقرأ المزيد
Web Engineering
This is the first book that looks at Web engineering from a measurement perspective. The result is a self-containing, comprehensive ...
اقرأ المزيد
Web Engineering : 21st International Conference, ICWE 2021, Biarritz, France, May 18–21, 2021, Proceedings
This book constitutes the proceedings of the 21st International Conference on Web Engineering, ICWE 2021, which was supposed ...
اقرأ المزيد
Web Engineering: Modelling and Implementing Web Applications
Modelling and Implementing Web Applications presents the state of the art approaches for obtaining a correct and complete ...
اقرأ المزيد
Web Reasoning and Rule Systems : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
This book address all current topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge ...
اقرأ المزيد
