Electronic Books

Total Books: 1161 - 1180 /1190

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

Verification, Model Checking, and Abstract Interpretation

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

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

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

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

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

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

Vibration Problems ICOVP 2005

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

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

Vocational Teacher Education in Central Asia

This book is open access under a CC-BY license. This open access volume presents papers on vocational education, project-based ...

Vorticity, Statistical Mechanics, and Monte Carlo Simulation

This book is drawn from across many active fields of mathematics and physics, and has connections to atmospheric dynamics, ...

Water Resource Systems Planning and Management

This revised, updated textbook presents a systems approach to the planning, management, and operation of water resources ...

Waxing for Dental Students / Rowida Abdalla

Presents the minimally invasive philosophy before demonstrating the protocols necessary for the development of new skills ...

Web Information Systems Engineering – WISE 2020

This book constitutes the proceedings of the 21st International Conference on Web Information Systems Engineering, WISE 2020, ...

Web Services and Formal Methods

This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...

Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...

Weißbuch Multiple Sklerose : Versorgungssituation in Deutschland = Multiple sclerosis white paper: supply situation in Germany

Multiple sclerosis (MS) is the most common inflammatory degenerative disease of the central nervous system in young adults. ...

Whos Who in Fluorescence 2007

The Journal of Fluorescences fifth Whos Who directory publishes the names, contact details, specialty keywords, and a brief ...

Total Books: 1161 - 1180 /1190