This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a s...

This book constitutes the refereed proceedings of the 12th International Conference on Fundamenta...

Service-oriented computing is a paradigm for developing software addressing key contemporary IT c...

Das Buch bietet eine knappe, praxisorientierte Einführung in die Programmierung mit Java. Basiere...

This book constitutes the refereed proceedings of the 8th International Conference on Knowledge S...

This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on...

A collective autonomic system consists of collaborating autonomic entities which are able to adap...

This volume presents results of three workshops of the InterLink working group, setup by the EU t...

This volume contains the papers from the workshop "e;Radical Innovations of Software and Syst...

Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Pr...

Web engineering is a new discipline that addresses the pressing need for syst- atic and tool-supp...