Theory of Reversible Computing /

QR Code

Theory of Reversible Computing /

Bibliographic Details
Main Author:	Morita, Kenichi. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Tokyo : Springer Japan : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Series:	Monographs in Theoretical Computer Science. An EATCS Series,
Subjects:	Computers. Computer engineering. Theory of Computation. Computer Engineering.

Similar Items

The Puzzle of Granular Computing
by: Apolloni, Bruno., et al.
Published: (2008)

Models of Computation
by: Bruni, Roberto., et al.
Published: (2017)

Computer and Information Science /
Published: (2008)

Information Theory and Network Coding /
by: Yeung, Raymond W.
Published: (2008)

Modern Language Models and Computation Theory with Applications /
by: Meduna, Alexander., et al.
Published: (2017)

Fuzzy Sets and Their Extensions: Representation, Aggregation and Models : Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision /
Published: (2008)

Hypergraph Theory : An Introduction /
by: Bretto, Alain.
Published: (2013)

Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings /
Published: (2017)

Dependability Modelling under Uncertainty : An Imprecise Probabilistic Approach /
by: Limbourg, Philipp.
Published: (2008)

Recent Advancements in System Modelling Applications : Proceedings of National Systems Conference 2012 /
Published: (2013)

Intelligent Fractional Order Systems and Control : An Introduction /
by: Pan, Indranil., et al.
Published: (2013)

Networked Control Systems /
by: Bemporad, Alberto., et al.
Published: (2010)

The Monte Carlo Simulation Method for System Reliability and Risk Analysis /
by: Zio, Enrico.
Published: (2013)

Cooperative Communications and Networking : Technologies and System Design /
by: Hong, Y.-W. Peter., et al.
Published: (2010)

Theory and Applications of Satisfiability Testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings /
Published: (2017)

High Performance Computing for Computational Science - VECPAR 2016 : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers /
Published: (2017)

Self-Aware Computing Systems /
Published: (2017)

Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers /
Published: (2017)

Coding Theory and Applications : 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings /
Published: (2017)

Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings /
Published: (2017)

Electromagnetic Field Computation by Network Methods /
by: Felsen, Leopold B., et al.
Published: (2009)

Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /
Published: (2017)

Computed Tomography of the Body A Radiological and Clinical Approach /
Published: (1981)

Computer Graphics for Java Programmers /
by: Ammeraal, Leen., et al.
Published: (2017)

Pervasive Computing : Engineering Smart Systems /
by: Silvis-Cividjian, Natalia.
Published: (2017)

Space in Weak Propositional Proof Systems /
by: Bonacina, Ilario.
Published: (2017)

Hardware Software Co-Design of a Multimedia SOC Platform /
by: Chen, Sao-Jie., et al.
Published: (2009)

Rigid Finite Element Method in Analysis of Dynamics of Offshore Structures /
by: Wittbrodt, Edmund., et al.
Published: (2013)

Computer Games : 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers /
Published: (2017)

Principles of Computer Systems and Network Management
by: Verma, Dinesh Chandra.
Published: (2009)

IT Security Management : IT Securiteers - Setting up an IT Security Function /
by: Partida, Alberto., et al.
Published: (2010)

Reversible Computation : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings /
Published: (2017)

Computational Fluid Dynamics : An Introduction /
Published: (2009)

Progress on Meshless Methods
Published: (2009)

Linkage in Evolutionary Computation
Published: (2008)

Selected Aerothermodynamic Design Problems of Hypersonic Flight Vehicles /
by: Hirschel, Ernst Heinrich., et al.
Published: (2009)

Integration of Practice-Oriented Knowledge Technology: Trends and Prospectives /
Published: (2013)

Numerical Simulation of Turbulent Flows and Noise Generation Results of the DFG/CNRS Research Groups FOR 507 and FOR 508 /
Published: (2009)

Noise and Vibration Mitigation for Rail Transportation Systems Proceedings of the 9th International Workshop on Railway Noise, Munich, Germany, 4 - 8 September 2007 /
Published: (2008)

Computational Intelligence and Informatics : Principles and Practice /
Published: (2010)