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