Electronic Books

Total Books: 881 - 900 /920

Types for Proofs and Programs

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...

Types for Proofs and Programs

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...

Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

Ultrasonic ranging and object detection using arduino / Ghazi Al-Sibai ; Mohamad Saeed Al Haddad ; Kenan Al Rakhlane

This project aims to develop a novel method for recognizing the shape of an object located behind thin medium utilizing combination ...

Universal Design: Creating Inclusive Environments / Edward Steinfeld, Jordana Maisel

Introduces designers to the principles and practice of designing for all people. From the foundations of accessibility and ...

Uranus, Neptune, and Pluto and How to Observe Them

This book tells the story of two giants and a dwarf. The giants, Uranus and Neptune, are mostly huge balls of gas, and they ...

Urban Ecology : An International Perspective on the Interaction Between Humans and Nature

Urban Ecology is the study of ecosystems that include humans living in cities and urbanizing landscapes. This book presents ...

Urban Landscape Perspectives

Urban Landscape Perspectives explores how landscape terminology can be usefully brought into the urban debate. Articles in ...

Urban and Community Forestry in the Northeast

This book serves as a textbook for Urban/Community Forestry courses and a handbook for Shade Tree Commissions, tree wardens, ...

Uveitis and Immunological Disorders

The purpose of this volume of "Essentials in Ophthalmology" is to provide the ophthalmologist with our present understanding ...

VEGF in Development

This book is devoted to vascular endothelial growth factor A (VEGF or VEGFA), a secreted signalling protein of great significance ...

VLSI-Design of Non-Volatile Memories

VLSI-Design for Non-Volatile Memories is intended for electrical engineers and graduate students who want to enter into the ...

Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

Verification, Model Checking, and Abstract Interpretation

This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...

Very High Resolution Photoelectron Spectroscopy

Photoemission spectroscopy is one of the most extensively used methods to study the electronic structure of atoms, molecules, ...

Vibrations and Stability : Advanced Theory, Analysis, and Tools / Jon Juel Thomsen

Ties together classical and modern topics of advanced vibration analysis in an interesting and lucid manner. It is intended ...

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

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling

The 1st International Conference on Virtual Storytelling took place on September 27-28, 2001, in Avignon (France) in the ...

Visual Astronomy Under Dark Skies

Modern astronomical telescopes, along with other advances in technology, have brought the deep sky – star clusters, nebulae ...

Visual Basic 2005 Recipes

Visual Basic 2005 Recipes: A Problem-Solution Approach recognizes this fine balance. This book meets your need for fast, ...

Total Books: 881 - 900 /920