This thesis lays the groundwork for the automatic supervision of the laser incision process, which aims to complement surgeons’ ...
Lire la suiteComplex System Maintenance Handbook is the first book to integrate this vast literature with chapters written by internationally-renowned ...
Lire la suiteThis volume extends the complexity approach to economics. It provides some alternative pattern generators, which can supplement ...
Lire la suiteThis first volume of the CoreGRID series addresses such vital issues as the architecture of the Grid, the way software will ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
Lire la suiteThis book discussed a range of challenges in embedded systems design that require further major advances in software and ...
Lire la suiteThis book discussed a range of challenges in embedded systems design that require further major advances in software and ...
Lire la suiteThis book introduces a wide range of Computational Fluid Dynamics (CFD) methods used in the aerospace industry to solve engineering ...
Lire la suiteThis book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...
Lire la suiteThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lire la suiteThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Lire la suiteCoverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
Lire la suiteFlow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where ...
Lire la suiteFlow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where ...
Lire la suiteConceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because ...
Lire la suiteThe International Conference on Conceptual Modeling provides the premiere - rum for presenting and discussing current research ...
Lire la suiteThis book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...
Lire la suiteLeading experts provide timely and comprehensive information on methods for conditional mutagenesis in the mouse (part 1) ...
Lire la suiteThis book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...
Lire la suite