¿This book constitutes the proceedings of the 11th International Conference International Confere...
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretic...
LNBIP 99 and LNBIP 100 together constitute the thoroughly refereed proceedings of 12 internation...
LNBIP 99 and LNBIP 100 together constitute the thoroughly refereed proceedings of 12 internation...
This book constitutes the proceedings of the 15th International Conference on Veri¿cation and Eva...
This book constitutes the refereed proceedings of the 6th Conference on Research in Computer Scie...
This book constitutes the refereed proceedings of the 17th African Conference on Research in Comp...
LNBIP 99 and LNBIP 100 together constitute the thoroughly refereedproceedings of 12 internation...
The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, T...
This book constitutes the proceedings of the 11th InternationalConference International Confere...
This book constitutes the proceedings of the 15th International Conference on Verification and Ev...
This book constitutes the refereed proceedings of the 6th Conference on Research in Computer S...