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