Electronic Books

Total Books: 1801 - 1820 /1862

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 ...

Total Books: 1801 - 1820 /1862