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