|
|
| | Generic Inference: A Unifying Theory for Automated Reasoning
Abstract mathematical structures usually have a large number of models. Algorithms
based on operations and laws of such structures therefore have an identical form:
they are generic. This means that for each particular instance of the structure, only
the basic operations have to be adapted, whereas the overall algorithm remains the... | | Robotic Micro-Assembly
This book deals with the current methods developed around the world on robotic
microassembly. It is dedicated to Master’s and Ph.D. students, and also scientists
and engineers involved in microrobotics and also in robotics. As robotic
microassembly is a new way to manufacture microelectromechanical systems
(MEMS),... |
|
|
QoS Measurement and Evaluation of Telecommunications Quality of Service
Most people know that quality of service (QoS) in telecommunications has
grown in importance over the past decade. This is thanks to the new competitive
environment which has followed as a direct result of privatization and
de-regulation, forcing companies to increase the quality of their networks and
services. Yet QoS means... | | UMTS Networks: Architecture, Mobility and Services
The world's first public GSM call was made on 1st July 1991 in a city park of Helsinki,
Finland. That event is now regarded as the birthday of the second generation mobile telephony.
GSM has been an overwhelming success, which was difficult to predict at that early
stage. In the past 10 years GSM has become a truly global... | | Codecharts: Roadmaps and blueprints for object-oriented programs
In this book we set out to investigate some of the most difficult problems that
software engineering faces. Although a young discipline, it nonetheless faces
the most difficult challenges, as software is the most complex artefact ever
crafted by humankind. As such, many of the problems can be traced to
inadequate abstraction.... |
|
|
Result Page: 128 127 126 125 124 123 122 121 120 119 118 117 116 115 114 113 112 111 110 |