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