Electronic Books

Total Books: 2781 - 2800 /2841
978-1-4471-7505-6
Vector Analysis for Computer Graphics

The book is divided into eleven chapters covering the history of vector analysis, linear equations, vector algebra, vector ...

Continue reading
978-3-540-28445-1
Vector Optimization

Vector optimization model has found many important applications in decision making problems such as those in economics theory, ...

Continue reading
978-3-8350-9018-7
Venture Capitalists’ Exit Strategies under Information Asymmetry

Venture capitalists (VCs) fund ventures with the aim of reaping a capital gain upon exit. Research has identified information ...

Continue reading
978-3-540-70872-8
Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction : COST Action 2102 International Conference, Patras, Greece, October 29-31, 2007. Revised Papers

This book is organized in topical sections on static and dynamic processing of faces, facial expressions and gaze as well ...

Continue reading
NoIMG
Vergleichsweise menschlich? : Ambulante Sanktionen als Alternative zur Freiheitsentziehung aus europäischer Perspektive = Comparatively human? : Outpatient sanctions as an alternative to imprisonment from a European perspective

Ambulatory sanctions are often seen as a humane alternative to deprivation of liberty. The nature of intervention, the perspective ...

Continue reading
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-47813-3
Verification, Model Checking, and Abstract Interpretation

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

Continue reading
978-3-540-69738-1
Verification, Model Checking, and Abstract Interpretation

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

Continue reading
978-3-540-30579-8
Verification, Model Checking, and Abstract Interpretation (vol. # 3385)

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

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

Continue reading
NoIMG
Verrechnungspreise : Grundlagen und Praxis = Transfer Pricing: Principles and Practice

This book offers a structured overview of tax transfer prices, which have become one of the most important tax challenges ...

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-3-540-68133-5
Very High Resolution Photoelectron Spectroscopy

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

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-1-4020-5566-9
Video Traces for Network Performance Evaluation

Multimedia networking applications and, in particular, the transport of c- pressed video are expected to contribute signi?cantly ...

Continue reading
1119226473
Visual Communication: Insights and Strategies / Janis Teruggi Page, Margaret Duffy

Teaches visual literacy, theory, scholarly critique, and practical application of visuals in professional communication careers This ...

Continue reading
978-3-030-67608-7
Visual Methodology in Migration Studies New Possibilities, Theoretical Implications, and Ethical Questions

This book explores the use of visual methods in migration studies through a combination of theoretical analyses and empirical ...

Continue reading
978-3-540-31272-7
Visualization and Processing of Tensor Fields

This book is the first edited volume that presents the state-of-the-art in the visualization and processing of tensor fields. ...

Continue reading
Total Books: 2781 - 2800 /2841