Electronic Books

Total Books: 421 - 436 /436

Unprepared to Entrepreneur : A Method to the Madness of Starting Your Own Business / Sonya Barlow

Unprepared to Entrepreneur is an honest guide to launching your own business, sharing real stories from real people who have ...

Uveitis and Immunological Disorders

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

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

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

View-dependent Character Animation

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

Views on Microstructures in Granular Materials

This volume provides overview of the mechanics of granular materials, ranging from sparse media to soils. With chapters exploring ...

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

Visual Data Mining : Theory, Techniques and Tools for Visual Analytics

The volume is structured in three parts on theory and methodologies, techniques, and tools and applications.

XcalableMP PGAS Programming Language From Programming Model to Applications

XcalableMP is a directive-based parallel programming language based on Fortran and C, supporting a Partitioned Global Address ...

Zaha Hadid - Basic Art / Philip Jodidio

Zaha Hadid was a revolutionary architect, who for many years built almost nothing, despite winning critical acclaim. Some ...

Total Books: 421 - 436 /436