Ditemukan 2 dokumen yang sesuai dengan query
Vos, Alexis De, editor
"
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers presented were carefully reviewed and selected from 25 initial submissions for inclusion in the book. The papers are devoted to all aspects of reversible computation, ranging from theoretical and experimental aspects to various applications. Topics addressed are: functional language for reversible computations, logic design, reversible circuits designed ...
"
Berlin: [Springer-Verlag, ], 2012
e20409504
eBooks Universitas Indonesia Library
Keszocze, Oliver
"
This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these steps in a single process. All of the approaches discussed are based on a formal model that can easily be extended to cope with further design problems. In addition to the exact methods, heuristic approaches are provided and the complexity classes of various design problems ...
"
Switzerland: Springer Cham, 2019
e20501363
eBooks Universitas Indonesia Library
