CMOS Cascade Sigma-Delta Modulators for Sensors and Telecom: Error Analysis and Practical Design starts with a tutorial presentation ...
Lire la suiteThis volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
Lire la suiteThis volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
Lire la suiteThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suiteThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
Lire la suiteThis volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...
Lire la suiteThis book carefully details design tools and techniques for realizing low power and energy efficiency in a highly productive ...
Lire la suite"This book constitutes the refereed proceedings of 14th International Conference, CC 2005, Held as Part of the Joint European ...
Lire la suiteThis book constitutes the proceedings of the 17th International Conference on Compiler Construction, CC 2008. It covers analysis ...
Lire la suiteThis book uniquely combines new advances in the electromagnetic and the circuits&systems theory. It integrates both fields ...
Lire la suiteEmbedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...
Lire la suiteProviding all the latest on a topic of extreme commercial relevance, this book contains new trends in global software services ...
Lire la suiteProviding all the latest on a topic of extreme commercial relevance, this book contains new trends in global software services ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
Lire la suiteThe book contains atomistic and continuum numerical methods and experimental validation for composite materials reinforced ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
Lire la suiteThe book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article ...
Lire la suiteThis book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, ...
Lire la suite