Reversible Computation : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / edited by Gerhard W. Dueck, D. Michael Miller.

Format:

Book

Contributor:

Dueck, Gerhard W., editor.

Miller, D. Michael, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 7948.

Programming and Software Engineering ; 7948

Language:

English

Subjects (All):

Logic design.

Computer logic.

Computers.

Algorithms.

Software engineering.

Logic Design.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Software Engineering.

Local Subjects:

Logic Design.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Software Engineering.

Physical Description:

1 online resource (X, 263 pages) : 92 illustrations.

Edition:

First edition 2013.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.

System Details:

text file PDF

Summary:

This book constitutes the refereed proceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. The 19 contributions presented together with one invited paper were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on physical implementation; arithmetic; programming and data structures; modelling; synthesis and optimization; and alternative technologies.

Contents:

Physical implementation

Arithmetic

Programming and data structures

Modelling

Synthesis and optimization

Alternative technologies.

Other Format:

Printed edition:

ISBN:

978-3-642-38986-3

9783642389863

Access Restriction:

Restricted for use by site license.