The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Lee mas
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Lee mas
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lee mas
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lee mas
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
Lee mas
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lee mas
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Lee mas
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
Lee mas