This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification ...
Continue reading
This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification ...
Continue reading
This book constitutes the refereed proceedings of the 5th European Conference on Interactive Television, EuroITV 2007, held ...
Continue reading
In Interconnect-centric Design for Advanced SoC and NoC, we have tried to create a comprehensive understanding about on-chip ...
Continue reading
This book presents 29 revised invited and selected lectures given by top-researchers at the First International Workshop ...
Continue reading
Chapters of this book offer a careful selection of the best contributions to the Italian Association for Information Systems ...
Continue reading
This is a book about interdisciplinary public health reasoning and epidemic m- th elling, in general, and the study of the ...
Continue reading
The calibration discussion of the basic LIBOR market model has been enriched considerably, with an analysis of the impact ...
Continue reading
The calibration discussion of the basic LIBOR market model has been enriched considerably, with an analysis of the impact ...
Continue reading
Interest Rate Models: an Infinite Dimensional Stochastic Analysis Perspective studies the mathematical issues that arise ...
Continue reading
Interest Rate Models: an Infinite Dimensional Stochastic Analysis Perspective studies the mathematical issues that arise ...
Continue reading
This book contains steam tables for industrial use that have been calculated using the international standard for the thermodynamic ...
Continue reading
The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering ...
Continue reading
This book presents selected papers from International Symposium on Mathematics, Quantum Theory, and Cryptography (MQC), ...
Continue reading
The development of international trade theory has created a wide array of different theories, concepts and results. Economic ...
Continue reading
This book constitutes the refereed proceedings of the Third International Workshop on Internet and Network Economics, WINE ...
Continue reading
WINE 2005, the First Workshop on Internet and Network Economics (WINE 2005), took place in Hong Kong, China, December 15-17, ...
Continue reading
This book constitutes the refereed proceedings of the Second International Workshop on Internet and Network Economics, WINE ...
Continue reading
This book constitutes the refereed proceedings of the 4th International Workshop on Internet and Network Economics, WINE ...
Continue reading
Presents updated material on its core content: an end-to-end IoT architecture that is comprised of devices, network, compute, ...
Continue reading