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