Electronic Books

Total Books: 2941 - 2960 /3019

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 (vol. # 3855)

This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...

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

View-dependent Character Animation

This well-researched book develops and demonstrates a framework for view-dependent animation designed to solve issues, well ...

Viral Membrane Proteins: Structure, Function, and Drug Design

Protein Reviews, a new book series from Springer, covers all aspects of protein investigations including protein chemistry, ...

Virtual Reality

This volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...

Viscosity of Liquids

The need for properties is ever increasing to make processes more economical. A good survey of the viscosity data, its critical ...

Vision with Direction

Image analysis is a computational feat which humans show excellence in, in comp- ison with computers. Yet the list of applications ...

Visions of Heaven

Visions of Heaven shows more than 120 images, including the Roman Pantheon, the Byzantine churches of Turkey, the great domes ...

Visual Communication for Architects and Designers : Constructing the Persuasive Presentation / Margaret Fletcher

Teaches you the art of designing a concise, clear, compelling and effective visual and verbal presentation. Margaret Fletcher ...

Visualization: Theory and Practice in Science Education

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

Visualizing the Semantic Web

This pioneering book deals specifically with the visualization of the Second-Generation Web. Now in its second edition it ...

Wafer Level 3-D ICs Process Technology

The core of the book discusses alternative technology platforms for pre-packaging wafer level 3-D ICs, with an emphasis on ...

Warehouse Management

This book gives an overview of possible solutions and helps to make the right choice. It presents the background, potentials ...

Warranty Chain Management : Digitalization and Sustainability / Albert Liao

Aims to provide a systemic viewpoint for enterprise to establish the warranty chain management system. This book includes ...

Warranty Management and Product Manufacture

The aim of warranty management is to achieve the overall business objectives by focussing on both product performance assurance ...

Water Resource Systems Planning and Management

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

Total Books: 2941 - 2960 /3019