Reversible Logic Synthesis Methodologies with Application to Quantum Computing
This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. It presents the state of the art required to travel around that world safely. Top world universities, companies and government institutions are in a race of developing new methodologies,...
Main Author: | Taha, Saleem Mohammed Ridha (Author) |
---|---|
Corporate Author: | SpringerLink (Online service) |
Format: | Electronic eBook |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
Edition: | 1st ed. 2016. |
Series: | Studies in Systems, Decision and Control,
37 |
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Similar Items
-
Logic Synthesis for Compositional Microprogram Control Units
Published: (2008) -
The Unknown Component Problem Theory and Applications /
by: Villa, Tiziano, et al.
Published: (2012) -
Taxonomies for the Development and Verification of Digital Systems
Published: (2005) -
A Roadmap for Formal Property Verification
by: DasGupta, Pallab
Published: (2006) -
Logic Synthesis and Verification Algorithms
by: Hachtel, Gary D., et al.
Published: (1996)