The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, T...
LNBIP 99 and LNBIP 100 together constitute the thoroughly refereedproceedings of 12 internation...
LNBIP 99 and LNBIP 100 together constitute the thoroughly refereedproceedings of 12 internation...
Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic...
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...
This volume features selected contributions from participants of the 17th African Conference on R...