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

Beaucoup de progrès scientifiques ont été réalisés en toxicologie hospitalière clinique et médico...

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

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 brings together a selection of the best papers from the nineteenth edition of the Forum...

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

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

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...