This book brings together a selection of the best papers from the nineteenth edition of the Forum...
The development of computing machines found great success in the last decades. But the ongoing mi...
Klassische Rechnersysteme stoßen mehr und mehr an ihre physikalischen Grenzen. Die zunehmende Min...
Thisbook brings together a selection of the best papers from the eighteenth editionof the...
The development of computing machines found great success in the last decades. But the ongoing mi...
Die Entwicklung von Computertechnologien befindet sich vor einer Zeitenwende. Physikalische Grenz...
This book constitutes the thoroughly refereed post-conference proceedings of the 7th Internationa...
This book provides a comprehensive overview of automatic model refinement, which helps readers cl...
This book discusses modern approaches and challenges of computer-aided design (CAD) of quantum ci...
This book provides a comprehensive discussion of UML OCL methods and design flow, for automatic v...