Electronic Books

Total Books: 3761 - 3780 /3834

Verification of Object-Oriented Software. The KeY Approach

features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...

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

Vermin, Victims and Disease : British Debates over Bovine Tuberculosis and Badgers

This book provides the first critical history of the controversy over whether to cull wild badgers to control the spread ...

Vertebrate Hair Cells

Vertebrate Hair Cells' provides a current overview of the mechanosensory receptor cells of the vertebrate inner ear. Each ...

Vertical alveolar ridge augmentation in implant dentistry : a surgical manual / Tolstunov, Len

Vertical Augmentation of the Alveolar Ridge in Implant Dentistry: A Surgical Manual presents the main methods of vertical ...

Vertigo and Dizziness

This short and concise, clinically-oriented book is for physicians of different specializations who treat patients with vertigo ...

Vienna - A Doctor´s Guide : 15 walking tours through Vienna’s medical history

This book describes a total of 15 walking tours through old medical Vienna. Naturally, these tours are concentrated on the ...

Viral Genome Packaging: Genetics, Structure, and Mechanism

Viral Genome Packaging focuses on the process of genome "packaging" within a pre-formed viral procapsid. The chapters of ...

Viral Therapy / Tasneem Rajab Agha ; Nour Houranieh ; Baraa Alkaed ; Zinab Alsamara

Virotherapy is a treatment using biotechnology to convert viruses into therapeutic agents by reprogramming viruses to treat ...

Viral Transport in Plants

The book provides a state of the art overview of the intricate functional virus:host relationships that allow a virus or ...

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

Visual Question Answering: From Theory to Application / Qi Wu, Peng Wang, Xin Wang, Xiaodong He, Wenwu Zhu

Combines visual inputs like image and video with a natural language question concerning the input and generates a natural ...

Visual Transduction and Non-Visual Light Perception

Remarkable advances have contributed to revolutionizing the study of vertebrate vision. The first step to identifying objects ...

Visualizing the Semantic Web

This pioneering book deals specifically with the visualization of the Second-Generation Web. Now in its second edition it ...

Vitamin B12 / Raghad Shahin ; Reem Barghouth ; Nisreen Al-bayati

Vitamin, any of several organic substances that are necessary in small quantities for normal health and growth in higher ...

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

Vitamin K2 Essential Role in Heart and Bone health / Farah Dahdal ; Dalal Aladeeb

Vitamin K is the generic name for a family of compounds with the same common chemical structure. It is a fat-soluble vitamin ...

Vitamin deficiency / Dania Nasser ; Reem Aljayosh

Vitamin deficiency is the condition of a long-term lack of a vitamin. When caused by not enough vitamin intake it is classified ...

Vite matematiche : Protagonisti del’ 900 da Hilbert a Wiles = Mathematical Lives: Twentieth-century protagonists from Hilbert to Wiles

Presenting famous mathematicians alongside others less known to the general public - from Hilbert to Gödel, from Turing ...

Vitreo-retinal Surgery

This volume on vitreoretinal surgery is written by authors who are leaders in these fields of research. It covers the large ...

Total Books: 3761 - 3780 /3834