This book summarizes the results of the European research project “Twin-model based virtual manufacturing for machine tool-process ...
Lire la suiteThis unique monograph focuses on the systematic type synthesis of parallel mechanisms (PMs), which is a key issue in the ...
Lire la suiteThe 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Lire la suiteThe refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
Lire la suiteThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lire la suiteInterference determines the performance of UMTS radio networks. In order to provide good coverage and high capacity, network ...
Lire la suiteWe all feel that our world is fundamentally uncertain. But less unanimity emerges as to what we mean by "uncertainty" and ...
Lire la suiteThis book reports on methods and technologies to describe, evaluate and control uncertainty in mechanical engineering applications. ...
Lire la suiteProvides tools and methods in a straight-forward practical manner to guide the management of your cybersecurity program and ...
Lire la suiteUnderstanding Biology Using Peptides: Proceedings of the 19th American Peptide Symposium highlights many of the recent developments ...
Lire la suiteThis book explains how to see one's own network through the eyes of an attacker, to understand their techniques and effectively ...
Lire la suiteThis book analyzes and seeks to consolidate the use of robust quantitative tools and qualitative methods for the design and ...
Lire la suiteA number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Lire la suiteThis volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human-Computer ...
Lire la suiteThis topical survey provides an overview of the current state of the art in technology use in mathematics education, including ...
Lire la suiteThis survey addresses the use of technology in upper secondary mathematics education from four points of view: theoretical ...
Lire la suiteThis book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic ...
Lire la suiteThis book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological ...
Lire la suiteVariational Principles in Physics explains variational principles and charts their use throughout modern physics. The heart ...
Lire la suiteThe book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Lire la suite