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

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 5th International Conference on Algebraic M...

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

To identify the emergent trends in software-intensive and distributed and decentralized computer ...

Service-Oriented Computing is a paradigm for developing and providing software that can address m...

This volume contains selected papers from WADT 2002, the 16th International Workshop on Algebraic...

This volume contains the papers accepted for presentation atthe Fourth International Symposium on...

This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer ...

The systematic development of software systems is a centraltask of computing science. A software ...

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

This volume contains the papers from the workshop 'Radical Innovations of Software and Systems En...