This volume contains the proceedings of the Ninth Conferenceon Fundamentalsof Computation Theory ...
The contributors present the main results and techniques of their specialties in an easily access...
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of th...
This monograph contains the results of our joint research over the last ten years on the logic of...
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of th...
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Sci...
The contributors present the main results and techniques of their specialties in an easily access...
This book constitutes the refereed proceedings of the 7th International Conference on Development...