1943 flüchten Marga Spiegel und ihr Mann Menne gemeinsam mit ihrer Tochter Karin vor der Verfolgu...
This monograph details several important advances in the direction of a practical proofs-as-progr...
Service-Oriented Computing is a paradigm for developing and providing software that can address m...
Das Buch bietet eine knappe, praxisorientierte Einfu¿hrung in die Programmierung mit Java, die de...
This book constitutes the proceedings of the 6th European Conference on Massive Open Online Cours...
A collective autonomic system consists of collaborating autonomic entities which are able to adap...
To identify the emergent trends in software-intensive and distributed and decentralized computer ...
Global computing refers to computation over 'global computers,' i.e., com- tational infrastructur...
This book constitutes the refereed proceedings of the 12th International Conference on Fundamenta...
This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on...
This book constitutes the refereed proceedings of the 8th International Conference on Knowledge S...
Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Pr...