Reversible Computation: 6th International Conference, Rc 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

Shigeru Yamashita (Editor), Shin-Ichi Minato (Editor)

$54.99

This product is not returnable.

Publication Date: August 4th, 2014

Publisher:

Springer

ISBN:

9783319084930

Pages:

231

Usually Ships in 1 to 5 Days

Description

Automata for reversible computation.- Notation and languages for reversible computation.- Synthesis and optimization for reversible circuits.- Validation and representation of quantum logic.

Reversible Computation: 6th International Conference, Rc 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

Description

Other Books in Series

Foundations of Health Informatics Engineering and Systems: First International Symposium, Fhies 2011, Johannesburg, South Africa, August 29-30, 2011.

Software Language Engineering: 6th International Conference, Sle 2013, Indianapolis, In, Usa, October 26-28, 2013. Proceedings

Service-Oriented Computing--Icsoc 2013 Workshops: Ccsa, Csb, Pasceb, Swese, Wesoa, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Sel

Performance Characterization and Benchmarking. Traditional to Big Data: 6th Tpc Technology Conference, Tpctc 2014, Hangzhou, China, September 1--5, 20

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System

Middleware 2012: Acm/Ifip/Usenix 13th International Middleware Conference, Montreal, Canada, December 3-7, 2012. Proceedings

Foundational and Practical Aspects of Resource Analysis: Second International Workshop, Fopara 2011, Madrid, Spain, May 19, 2011, Revised Selected Pap

Software Engineering for Self-Adaptive Systems: International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Paper

Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 201

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: Sefm 2012 Satellite Events, Insuedu, Mokmasd, and

Requirements Engineering: Foundation for Software Quality: 20th International Working Conference, Refsq 2014, Essen, Germany, April 7-10, 2014, Procee

Testing Software and Systems: 24th Ifip Wg 6.1 International Conference, Ictss 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

Models in Software Engineering: Workshops and Symposia at Models 2009, Denver, Co, Usa, October 4-9, 2009. Reports and Revised Selected Papers

Integrated Formal Methods: 8th International Conference, Ifm 2010, Nancy, France, October 11-14, 2010, Proceedings

Runtime Verification: Second International Conference, RV 2011, San Francisco, Usa, September 27-30, 2011, Revised Selected Papers

Principles and Practice of Constraint Programming - Cp 2012: 18th International Conference, Cp 2012, Québec City, Qc, Canada, October 8-12, 2012, Proc

Model and Data Engineering: 2nd International Conference, Medi 2012, Poitiers, France, October 3-5, 2012, Proceedings

Software Engineering for Resilient Systems: Fourth International Workshop, Serene 2012, Pisa, Italy, September 27-28, 2012, Proceedings

Web Services and Formal Methods: 7th International Workshop, Ws-FM 2010, Hoboken, Nj, Usa, September 16-17, 2010. Revised Selected Papers

Service Oriented Computing: 9th International Conference, Icsoc 2011, Paphos, Cyprus, December 5-8, 2011, Proceedings