Electronic Books

Total Books: 4021 - 4040 /4176

Unfoldings : A Partial-Order Approach to Model Checking

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...

Unifying Themes in Complex Systems IV : Proceedings of the Fourth International Conference on Complex Systems

In June of 2002, over 500 professors, students and researchers met in Boston, Massachusetts for the Fourth International ...

Universal Joints and Driveshafts

Major progress has been made in the field of driveshafts since the authors presented their first edition of this unique reference ...

Unsaturated Soils: Experimental Studies

This book includes the Proceedings of the International Conference "From Experimental Evidence Towards Numerical Modeling ...

Unsaturated Soils: Numerical and Theoretical Approaches

This book includes the Proceedings of the International Conference ISSMGE uniting researchers and practitioners in geotechnical ...

Unsteady Aerodynamics, Aeroacoustics and Aeroelasticity of Turbomachines

This textbook is a collection of technical papers. The papers represent the latest in state of the art research in the areas ...

Uranium in the Environment

Uranium is an element to be found ubiquitous in rock, soil, and water. Uranium concentrations in natural ground water can ...

Urban Environmental Management and Technology

This book examines the importance of urban environmental management in the face of formidable challenges. It offers a comprehensive ...

Urban Groundwater Management and Sustainability

Given that around 50% of the world’s population live in cities, and that urban populations are expanding rapidly, the issues ...

Urban Planning Against Poverty How to Think and Do Better Cities in the Global South

This book revisits the theoretical foundations of urban planning and the application of these concepts and methods in the ...

Usability of Speech Dialog Systems : Listening to the Target Audience

this book is based on the fact that it is the usersâ judgments that is the final measure regarding usability and acceptance ...

Utilization of Space

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

VEE Pro: Practical Graphical Programming

Each of the 18 lessons introduces new programming objects, concepts or techniques that can be presented in a whole-group ...

VLSI-Design of Non-Volatile Memories

VLSI-Design for Non-Volatile Memories is intended for electrical engineers and graduate students who want to enter into the ...

Vacuum Electronics : Components and Devices

Nineteen experts from the electronics industry, research institutes and universities have joined forces to prepare this book. ...

Validity and Reliability in Built Environment Research : A Selection of Case Studies / ian Ahmed, Alex Opoku, Ayokunle Olanipekun, Monty Sutrisna

Presents case studies that emphasize reliability and validity in different examples of qualitative, quantitative and mixed ...

Value Driven Product Planning and Systems Engineering

Engineers and scientists often need to sell an innovative idea for a new product or a new product improvement to top management. ...

Value-Based Management in an Open Economy : Optimizing Strategy to Improve Business and Performance / Walter Amedzro St-Hilaire

Investigates the relationship between strategy optimization mechanisms and the efficiency (performance and productivity) ...

Value-Based Software Engineering

VBSE extends the merely technical ISO software engineering definition with elements not only from economics, but also from ...

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

Total Books: 4021 - 4040 /4176