Electronic Books

Total Books: 1141 - 1160 /1185

Twin-Control : A Digital Twin Approach to Improve Machine Tools Lifecycle

This book summarizes the results of the European research project “Twin-model based virtual manufacturing for machine tool-process ...

Type Synthesis of Parallel Mechanisms

This unique monograph focuses on the systematic type synthesis of parallel mechanisms (PMs), which is a key issue in the ...

Types for Proofs and Programs

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...

Types for Proofs and Programs

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...

Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

UMTS Radio Network Planning: Mastering Cell Coupling for Capacity Optimization

Interference determines the performance of UMTS radio networks. In order to provide good coverage and high capacity, network ...

Uncertainty and Risk

We all feel that our world is fundamentally uncertain. But less unanimity emerges as to what we mean by "uncertainty" and ...

Uncertainty in Mechanical Engineering Proceedings of the 4th International Conference on Uncertainty in Mechanical Engineering (ICUME 2021), June 7–8, 2021

This book reports on methods and technologies to describe, evaluate and control uncertainty in mechanical engineering applications. ...

Understand, Manage, and Measure Cyber Risk : Practical Solutions for Creating a Sustainable Cyber Program / Ryan Leirvik

Provides tools and methods in a straight-forward practical manner to guide the management of your cybersecurity program and ...

Understanding Biology Using Peptides

Understanding Biology Using Peptides: Proceedings of the 19th American Peptide Symposium highlights many of the recent developments ...

Understanding Network Hacks : Attack and Defense with Python 3

This book explains how to see one's own network through the eyes of an attacker, to understand their techniques and effectively ...

Understanding Risks and Uncertainties in Energy and Climate Policy

This book analyzes and seeks to consolidate the use of robust quantitative tools and qualitative methods for the design and ...

Unifying Theories of Programming

A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...

Universal Acess in Human Computer Interaction. Coping with Diversity

This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human-Computer ...

Uses of Technology in Lower Secondary Mathematics Education : A Concise Topical Survey

This topical survey provides an overview of the current state of the art in technology use in mathematics education, including ...

Uses of Technology in Upper Secondary Mathematics Education

This survey addresses the use of technology in upper secondary mathematics education from four points of view: theoretical ...

Validated Designs for Object-oriented Systems

This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic ...

Vanishing and Finiteness Results in Geometric Analysis : A Generalization of the Bochner Technique

This book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological ...

Variational Principles in Physics

Variational Principles in Physics explains variational principles and charts their use throughout modern physics. The heart ...

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

Total Books: 1141 - 1160 /1185