|
|
|
Embedded System Design: Modeling, Synthesis and Verification
Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level... | | Cancer Prevention (Recent Results in Cancer Research)
This volume contains the main proceedings of the fourth international conference on "Cancer Prevention 2006," which was held during February 16–18, 2006, in St. Gallen, Switzerland. Written by international experts in the field, the book comprises a comprehensive update on the most recent developments in the upsurging fields... | | Ethics and Intersex (International Library of Ethics, Law, and the New Medicine)
This collection of 21 articles is designed to serve as a state-of-the art reference book for intersexuals, their parents, health care professionals, ethics committee members, and anyone interested in problems associated with intersexuality. It fills an important need because of its uniqueness as an interdisciplinary effort, bringing together... |
|
Analgesia (Handbook of Experimental Pharmacology)
This book presents the development and experimental validation of the structural test strategy called Oscillation-Based Test – OBT in short. The results presented here assert, not only from a theoretical point of view, but also based on a wide experimental support, that OBT is an efficient defect-oriented test solution, complementing... | | Irritant Dermatitis
Irritant dermatitis is a common condition, accounting for a significant proportion of occupational skin disease. The recent advent of non-invasive skin bioengineering technology has accelerated dermatology research in this field. This book comprises an exhaustive reference text on irritant contact dermatitis, covering all aspects of the... | | Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings (Lecture Notes in Computer Science)
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and... |
|
|
Result Page: 303 302 301 300 299 298 297 296 295 294 293 292 291 290 289 288 287 286 285 |