This approach views crack growth as the result of a competition between bulk and surface energy, treating crack evolution ...
اقرأ المزيدThe aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
اقرأ المزيدConstitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
اقرأ المزيدThese proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated ...
اقرأ المزيدThis book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
اقرأ المزيدThis book presents some new progress on the theoretical and numerical approaches for information retrieval of the remote ...
اقرأ المزيدHard spheres and related objects (hard disks and mixtures of hard systems) are paradigmatic systems: indeed, they have served ...
اقرأ المزيدThe focus of this monograph is on thermal transport modeling at time and length scales ranging from micro- to nanoscale levels. It ...
اقرأ المزيدA detailed overview and comprehensive analysis of the main theoretical and experimental advances on free surface thin film ...
اقرأ المزيدThis work proposes to apply the Sliding Regimes (RG) algorithms to industrial regulation and servo loops controlled to date ...
اقرأ المزيدThis is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
اقرأ المزيدThis year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...
اقرأ المزيدThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
اقرأ المزيدThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
اقرأ المزيدTopology-based methods are built on the idea of abstracting characteristic structures such as the topological skeleton from ...
اقرأ المزيدThese proceedings are the fifth in the series Traffic and Granular Flow, and we hope they will be as useful a reference as ...
اقرأ المزيدThe LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the ...
اقرأ المزيدThis book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...
اقرأ المزيدThis book subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, ...
اقرأ المزيدIt contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
اقرأ المزيد