These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) ...

The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in...

This book constitutes the refereed proceedings of the 10th International Symposium on Programming...

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory...

This volume contains the proceedings of the 19th International Conference on Logic Programming, I...

This volume contains the proceedings of the 11th International Conference on Concurrency Theory (...

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal ...

This book presents a comprehensive mathematical theory that explains precisely what information f...

This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of...

This book constitutes the thoroughly refereed post-conference proceedings of the 7th Internationa...

In recent years, the growing popularity of mobile devices equipped with GPS chips, in combination...

This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop o...