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