The development of computing machines found great success in the last decades. But the ongoing mi...

This book provides a comprehensive overview of automatic model refinement, which helps readers cl...

This book constitutes the thoroughly refereed post-conference proceedings of the 7th Internationa...

Thisbook brings together a selection of the best papers from the eighteenth editionof the Forum o...

This book provides a comprehensive discussion of UML OCL methods and design flow, for automatic v...

This book brings together a selection of the best papers from the nineteenth edition of the Forum...

This book presents exact, that is minimal, solutions to individual steps in the design process fo...

This book describes automatic methods for the design of droplet microfluidic networks. The author...

This book offers readers an easy introduction into quantum computing as well as into the design f...

This book describes the current state of the art for simulating paint shop applications, their ad...

This book discusses the main tasks of Design Automation for Field-coupled Nanocomputing (FCN) tec...

This book provides an easy-to-read introduction into quantum computing as well as classical simul...