CMOS Cascade Sigma-Delta Modulators for Sensors and Telecom
CMOS Cascade Sigma-Delta Modulators for Sensors and Telecom: Error Analysis and Practical Design starts with a tutorial presentation ...
Continue reading
CONCUR 2005 - Concurrency Theory
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
Continue reading
CONCUR 2006 - Concurrency Theory
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
Continue reading
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Continue reading
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Continue reading
CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
Continue reading
Central European Functional Programming School
This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...
Continue reading
Closing the POWER Gap between ASIC & Custom
This book carefully details design tools and techniques for realizing low power and energy efficiency in a highly productive ...
Continue reading
Compiler Construction (vol. # 3443)
"This book constitutes the refereed proceedings of 14th International Conference, CC 2005, Held as Part of the Joint European ...
Continue reading
Compiler Construction : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
This book constitutes the proceedings of the 17th International Conference on Compiler Construction, CC 2008. It covers analysis ...
Continue reading
Complex Computing-Networks
This book uniquely combines new advances in the electromagnetic and the circuits&systems theory. It integrates both fields ...
Continue reading
Component-Based Software Development for Embedded Systems
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...
Continue reading
Component-Based Software Engineering
Providing all the latest on a topic of extreme commercial relevance, this book contains new trends in global software services ...
Continue reading
Component-Based Software Engineering
Providing all the latest on a topic of extreme commercial relevance, this book contains new trends in global software services ...
Continue reading
Component-Based Software Engineering : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
Continue reading
Composites with Micro- and Nano-Structure : Computational Modeling and Experiments
The book contains atomistic and continuum numerical methods and experimental validation for composite materials reinforced ...
Continue reading
Computational Logic in Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
Continue reading
Computational Logic in Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
Continue reading
Computational Logic in Multi-Agent Systems (vol. # 3900)
The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article ...
Continue reading
Computational Methods in Systems Biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, ...
Continue reading
