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

This book constitutes the proceedings of the 6th European Conference on Massive Open Online Cours...

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

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

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

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

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, die de...

Global computing refers to computation over "e;global computers,"e; i.e., com- tational i...

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

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