Theory of Reversible Computing

Theory of Reversible Computing

This book describes reversible computing from the standpoint of the theory of automata and computing. It investigates how reversibility can be effectively utilized in computing. A reversible computing system is a “backward deterministic” system such that every state of the system has at most one pre...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Morita, Kenichi (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Tokyo : Springer Japan : Imprint: Springer, 2017.
Σειρά:	Monographs in Theoretical Computer Science. An EATCS Series,
Θέματα:	Computer science. Computers. Computer engineering. Computer Science. Theory of Computation. Computer Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Elements of Computation Theory
ανά: Singh, Arindama
Έκδοση: (2009)

Concise Guide to Computation Theory
ανά: Maruoka, Akira
Έκδοση: (2011)

Theory of Computation
ανά: Kozen, Dexter C.
Έκδοση: (2006)

Models of Computation
ανά: Bruni, Roberto, κ.ά.
Έκδοση: (2017)

The Puzzle of Granular Computing
ανά: Apolloni, Bruno, κ.ά.
Έκδοση: (2008)

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings /
Έκδοση: (2014)

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /
ανά: Bowman, Howard, κ.ά.
Έκδοση: (2006)

Reverse Engineering
Έκδοση: (1996)

New Frontiers for Entertainment Computing
Έκδοση: (2008)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /
Έκδοση: (2013)

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
Έκδοση: (2015)

Information Theory and Network Coding
ανά: Yeung, Raymond W.
Έκδοση: (2008)

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /
ανά: Kurki-Suonio, Reino
Έκδοση: (2005)

Reliable and Autonomous Computational Science International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010 /
Έκδοση: (2010)

Intelligent Engineering Systems and Computational Cybernetics
Έκδοση: (2009)

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings /
Έκδοση: (2013)

Nano, Quantum and Molecular Computing Implications to High Level Design and Validation /
Έκδοση: (2004)

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers /
Έκδοση: (2013)

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings /
Έκδοση: (2013)

Theoretical Aspects of Distributed Computing in Sensor Networks
Έκδοση: (2011)

Mathematical and Computer Programming Techniques for Computer Graphics
ανά: Comninos, Peter
Έκδοση: (2006)

Reverse Engineering An Industrial Perspective /
Έκδοση: (2008)

Computation Engineering Applied Automata Theory and Logic /
ανά: Gopalakrishnan, Ganesh
Έκδοση: (2006)

Introduction to Concurrency Theory Transition Systems and CCS /
ανά: Gorrieri, Roberto, κ.ά.
Έκδοση: (2015)

Tools for High Performance Computing Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart /
Έκδοση: (2008)

Identifying Malicious Code Through Reverse Engineering
Έκδοση: (2009)

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings /
Έκδοση: (2005)

Introduction to Bayesian Scientific Computing Ten Lectures on Subjective Computing /
ανά: Calvetti, Daniela, κ.ά.
Έκδοση: (2007)

Tools for High Performance Computing 2009 Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden /
Έκδοση: (2010)

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows /
ανά: Prodan, Radu, κ.ά.
Έκδοση: (2007)

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /
Έκδοση: (2016)

Computer and Information Science
Έκδοση: (2008)

Computer-Aided Design of User Interfaces VI
Έκδοση: (2009)

Advances in Computer and Information Sciences and Engineering
Έκδοση: (2008)

Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks
Έκδοση: (2016)

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I /
Έκδοση: (2009)

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II /
Έκδοση: (2009)

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /
Έκδοση: (2013)

A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components /
ανά: Caromel, Denis, κ.ά.
Έκδοση: (2005)

Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings /
Έκδοση: (2005)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_743upk25is9j0p51plu3on8fjh