The focus of this monograph is on thermal transport modeling at time and length scales ranging from micro- to nanoscale levels. It ...
Continue readingA detailed overview and comprehensive analysis of the main theoretical and experimental advances on free surface thin film ...
Continue reading
This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Continue reading
This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...
Continue readingThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue readingThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue reading
Topology-based methods are built on the idea of abstracting characteristic structures such as the topological skeleton from ...
Continue reading
These proceedings are the fifth in the series Traffic and Granular Flow, and we hope they will be as useful a reference as ...
Continue reading
This book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...
Continue reading
This book subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, ...
Continue reading
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Continue reading
The editors and authors present a wealth of knowledge regarding the most relevant aspects in the field of MOS transistor ...
Continue reading
In this book, the fundamentals of chemical engineering are presented aiming to applications in micro system technology, microfluidics, ...
Continue reading
This monograph contains selected, peer-reviewed post-conference contributions of the International Workshop on Transport ...
Continue reading
The development of ion traps has spurred significant experimental activities able to link measurable quantities to the most ...
Continue reading
Tribology of Diamond-like Carbon Films discusses the most important structural, chemical, mechanical and tribological characteristics ...
Continue reading
This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC ...
Continue reading
A timely review of state-of-the-art tsunami research, covering case studies and recent developments from various approaches. ...
Continue reading
This is the 4th edition of a book originally published by Kluwer Academic Publishers. It is an exhaustive monograph on turbulence ...
Continue reading
Results are given of experimental and theoretical studies of "gas-solid particles" turbulent two-phase flows. Special emphasis ...
Continue reading