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, ...
Lee mas
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 ...
Lee mas
Virtual Reality
This volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...
Lee mas
Viscosity of Liquids
The need for properties is ever increasing to make processes more economical. A good survey of the viscosity data, its critical ...
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 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 ...
Lee mas
Visualization: Theory and Practice in Science Education
External representations (pictures, diagrams, graphs, concrete models) have always been valuable tools for the science teacher. ...
Lee mas
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 ...
Lee mas
Warranty Management and Product Manufacture
The aim of warranty management is to achieve the overall business objectives by focussing on both product performance assurance ...
Lee mas
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 ...
Lee mas
Waxing for Dental Students / Rowida Abdalla
Presents the minimally invasive philosophy before demonstrating the protocols necessary for the development of new skills ...
Lee mas
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 ...
Lee mas
Wayfinding, Consumption, and Air Terminal Design / Menno Hubregtse
Investigates how international air terminals organize passenger movement and generate spending. It offers a new understanding ...
Lee mas
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. ...
Lee mas
Web Accessibility : A Foundation for Research
Covering key areas of evaluation and methodology, client-side applications, specialist and novel technologies, along with ...
Lee mas
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, ...
Lee mas
Web Engineering
This is the first book that looks at Web engineering from a measurement perspective. The result is a self-containing, comprehensive ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
