Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive ...
Lire la suiteAddressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lire la suiteAddressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lire la suiteThis volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lire la suiteThis volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...
Lire la suiteIt covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suiteIt covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suiteThe aim of this article was to review some of the new and commonly and alternative medicine in the treatment of kidney used ...
Lire la suiteThe ?rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 2004 in Berlin, Germany. The purpose of this workshop ...
Lire la suiteThe Second IFIP Workshop on Autonomic Communication (WAC 2005) took place on October 2–5, 2005, IFIP TC6 provided scientific ...
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 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Lire la suiteThis volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
Lire la suiteThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Lire la suite