P A spatial logic is a formal language interpreted over any class of structures featuring geomet...
This book stems from the desire to systematize and put down on paper essential historical facts a...
This book constitutes the refereed proceedings of the 5th European Conference on Service-Oriented...
The aim of this handbook is to create, for the first time, a systematic account of the field of s...
The aim of this handbook is to create, for the first time, a systematic account of the field of s...
This book stems from the desire to systematize and put down on paper essential historical facts a...
This book constitutes the proceedings of the International Conference on Artificial Intelligence ...
This book is a festschrift in honour of Mike Papazoglous 65th birthday and retirement. It include...
This book constitutes the refereed proceedings of the 17th Symposium and Summer School, SummerSOC...
This book constitutes the refereed proceedings of the 18th Symposium and Summer School on Service...
This book constitutes the revised selected papers of the 19th Symposium and Summer School on Serv...
The two-volume set LNCS 16320 and16321 constitutes the refereed proceedings of the 23rd Internati...