The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, T...
LNBIP 99 and LNBIP 100 together constitute the thoroughly refereed proceedings of 12 internationa...
LNBIP 99 and LNBIP 100 together constitute the thoroughly refereed proceedings of 12 internationa...
This book constitutes the proceedings of the 11th International Conference International Conferen...
This book constitutes the proceedings of the 15th International Conference on Verication and Eval...
This book constitutes the refereed proceedings of the 6th Conference on Research in Computer Scie...
This volume features selected contributions from participants of the 17th African Conference on R...
This book constitutes the refereed proceedings of the 17th African Conference on Research in Comp...