This book constitutes the refereed proceedings of the 17th International Conference on Descriptio...

his book constitutes the refereed proceedings of the 18th International Conference on Description...

Written for graduate students and advanced undergraduates in computer science, A Second Course in...

Uniting dozens of seemingly disparate results from different fields, this book combines concepts ...