Electronic Books

Total Books: 1201 - 1220 /1247

Tropical Forest Genetics

This book presents a concise overview of genetic variation, evolutionary processes and the human impact on forest genetic ...

Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...

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

Total Books: 1201 - 1220 /1247