The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Lee masThis book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
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 refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
Lee masETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lee masThis book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Lee masThis book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
Lee mas