Electronic Books

Total Books: 5301 - 5320 /5423
978-3-540-78163-9
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 ...

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-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-1-4020-5401-3
Vibration Problems ICOVP 2005

This volume presents the Proceedings of the Seventh International Conference on Vibration Problems, held in Istanbul, Turkey, ...

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-3-030-49267-0
Views on Microstructures in Granular Materials

This volume provides overview of the mechanics of granular materials, ranging from sparse media to soils. With chapters exploring ...

Continue reading
978-1-4302-0027-7
Virtualization

Creating a virtual network allows you to maximize the use of your servers. Virtualization: From the Desktop to the Enterprise ...

Continue reading
978-1-4020-5895-0
Virtue, Liberty, and Toleration : Political Ideas of European Women, 1400–1800

This volume challenges the view that women have not contributed to the historical development of political ideas, and highlights ...

Continue reading
978-1-4020-6422-7
Virtues and Passions in Literature / Excellence, Courage, Engagements, Wisdom, Fulfilment

The Human Condition prompts our creative strivings beyond the natural round of life toward outstanding achievements. It shows ...

Continue reading
NoIMG
Virus Detection (VICE VERSA) / Moayad Al-Khanji , Osama Kutit , Obada Al-Sabbagh , Khaled Mardini and Abdalrahman Saleh ; supervised by Rami Yard and Kholud Al-Jallad مؤيد عبد الوهاب الخانجي ، اسامة قطيط ، عبادة الصباغ ، خالد فريد مارديني و عبد الرحمن محمد صالح ؛ إشراف رامي يارد و خلود الجلاد

Hacking Detection using AI is a hot research topic. There are two types of Intrusion Detection Systems (IDS), Network IDS(NIDS) ...

Continue reading
978-1-4020-5298-9
Virus Diseases and Crop Biosecurity

Proceedings of the NATO Advanced Research Workshop on Significance of Virus Diseases for Crop Biosecurity in a Developing ...

Continue reading
978-3-540-71080-6
Visual Data Mining : Theory, Techniques and Tools for Visual Analytics

The volume is structured in three parts on theory and methodologies, techniques, and tools and applications.

Continue reading
978-0-387-30484-7
Visual Development

Research on visual development now spans a wide variety of disciplines encompassing biochemistry, anatomy, electrophysiology, ...

Continue reading
978-3-540-33455-2
Visual Perception and Robotic Manipulation

This book takes steps towards the realization of domestic robots by presenting an integrated systems view of computer vision ...

Continue reading
978-3-030-71143-6
Visual Securitization Humanitarian Representations and Migration Governance

This book offers an innovative account of how relief organizations’ visual depiction of Syrian displacement contributes ...

Continue reading
978-3-540-75148-9
Visualization for Information Retrieval

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

Continue reading
978-1-4020-5267-5
Visualization: Theory and Practice in Science Education

External representations (pictures, diagrams, graphs, concrete models) have always been valuable tools for the science teacher. ...

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
978-94-024-1713-5
Vitamin C in Human Health and Disease : Effects, Mechanisms of Action, and New Guidance on Intake / Wang Jae Lee

Presents the scientific evidence on the effects of vitamin C Clarifies mechanism of action and benefits Provides new guidance ...

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
Total Books: 5301 - 5320 /5423