Electronic Books

Total Books: 941 - 960 /965

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

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

Virtual Reality and Augmented Reality : 17th EuroVR International Conference, EuroVR 2020, Valencia, Spain, November 25–27, 2020, Proceedings

This book constitutes the refereed proceedings of the 17th International Conference on Virtual Reality and Augmented Reality, ...

Virtual Systems and Multimedia : 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers

Virtual Heritage, Applied Technologies and Virtual Environments. With a truly international flavor, these sub-themes covered ...

Virtual, Distributed and Flexible Organisations

Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. ...

Visual Content Processing and Representation

This book is a post-conference publication and contains a selection of papers presented at the VLBV workshop in 2005, Fifty-?ve ...

Visual Information and Information Systems

Vthe 8th International Conference on VISual Information Systems held in Amsterdam dealt with a variety of aspects, from visual ...

Visualization for Information Retrieval

The amount of digitized information available on the Internet, in digital libraries, and other forms of information systems ...

Vitamin E in Human Health / Peter Weber, Marc Birringer, Jeffrey B. Blumberg, Manfred Eggersdorfer, Jan Frank

Examines the role of vitamin E as an essential micronutrient in human health and its extensive clinical benefits. Sections ...

Water and Earthquakes

This book explores the interactions between water and earthquakes, including recent concerns about induced seismicity. It ...

Wavelength Filters in Fibre Optics

This book gives a comprehensive account of the principles and applications of such filters, including their technological ...

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 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 Information Systems - WISE 2006 Workshops

This book constitutes the joint refereed proceedings of the three workshops held in conjunction with the 7th International ...

Web Reasoning and Rule Systems

It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge ...

Web Search: Public Searching of the Web

The study of the Web search is an exciting and important area of interdisciplinary research. Our book provides a valuable ...

Web and Wireless Geographical Information Systems

his book constitutes the refereed proceedings of the 18th International Symposium on Web and Wireless Geographical Information ...

Total Books: 941 - 960 /965