Electronic Books

Total Books: 3421 - 3440 /3500

Uses of Technology in Upper Secondary Mathematics Education

This survey addresses the use of technology in upper secondary mathematics education from four points of view: theoretical ...

Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry

Matousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...

Utility Maximization, Choice and Preference

The utility maximization paradigm forms the basis of many economic, psychological, cognitive and behavioral models. Since ...

Utilization of Space

Utilization of Space aims to serve as an authoritative overview for professionals and interested laymen by explaining scientific ...

Uveitis and Immunological Disorders

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

VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search

This monograph presents a complete computational system for visual attention and object detection: VOCUS (Visual Object detection ...

Vaccine Design : Methods and Protocols, Volume 1. : Vaccines for Human Diseases / Sunil Thomas

Guides readers through an introductory section on future challenges for vaccinologists and the immunological mechanism of ...

Valuation and Conservation of Biodiversity

The goal of this transdisciplinary book is to identify the problems and challenges facing implementation of the Convention ...

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

Values and Valuing in Mathematics Education

This engaging book discusses how a values and valuing perspective can facilitate a more effective mathematics pedagogical ...

Vanishing and Finiteness Results in Geometric Analysis : A Generalization of the Bochner Technique

This book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological ...

Variant Construction from Theoretical Foundation to Applications

This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...

Vascular Embolotherapy

Endovascular embolization therapy has made remarkable progress during the past two decades, driven primarily by improvements ...

Vegetative Powers

The volume analyzes the natural philosophical accounts and debates concerning the vegetative powers, namely nutrition, growth, ...

Venture Capital and the Financing of Innovation / Bernard Guilhon

This book proposes two guiding ideas. The first idea presents innovation as a very uncertain process. This modifies the decision-making ...

Verification of Object-Oriented Software. The KeY Approach

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

Verification, Model Checking, and Abstract Interpretation

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

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

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

Vertigo and Dizziness

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

Total Books: 3421 - 3440 /3500