Electronic Books

Total Books: 3761 - 3780 /3834
978-3-540-69061-0
Verification of Object-Oriented Software. The KeY Approach

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

Continue reading
978-3-540-69149-5
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 ...

Continue reading
978-3-030-19186-3
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 ...

Continue reading
978-0-387-31706-9
Vertebrate Hair Cells

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

Continue reading
1119082765
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 ...

Continue reading
978-1-84628-081-8
Vertigo and Dizziness

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

Continue reading
978-3-211-48952-9
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 ...

Continue reading
978-0-387-28521-4
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 ...

Continue reading
NoIMG
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 ...

Continue reading
978-3-540-69967-5
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 ...

Continue reading
978-3-540-78566-8
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 ...

Continue reading
978-981-19-0964-1
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 ...

Continue reading
978-1-59745-374-5
Visual Transduction and Non-Visual Light Perception

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

Continue reading
978-1-84628-290-4
Visualizing the Semantic Web

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

Continue reading
NoIMG
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 ...

Continue reading
978-3-030-05315-4
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 ...

Continue reading
NoIMG
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 ...

Continue reading
NoIMG
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 ...

Continue reading
978-88-470-0640-9
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 ...

Continue reading
978-3-540-27152-9
Vitreo-retinal Surgery

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

Continue reading
Total Books: 3761 - 3780 /3834