عنوان
پدید آورنده
موضوع
رده
QA76.9.R48
QA76
.
9
.
R48
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3030215008
(Number (ISBN
9783030215002
Erroneous ISBN
9783030214999
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Reversible computation :
General Material Designation
[Book]
Other Title Information
11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, proceedings /
First Statement of Responsibility
Michael Kirkedal Thomsen, Mathias Soeken (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2019.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (viii, 247 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
11497
GENERAL NOTES
Text of Note
International conference proceedings.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index.
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019. The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
OTHER EDITION IN ANOTHER MEDIUM
Title
Reversible computation.
International Standard Book Number
9783030214999
PARALLEL TITLE PROPER
Parallel Title
RC 2019
TOPICAL NAME USED AS SUBJECT
Computer logic, Congresses.
Computer science-- Mathematics, Congresses.
Reversible computing, Congresses.
Computer logic.
Computer science-- Mathematics.
Reversible computing.
DEWEY DECIMAL CLASSIFICATION
Number
004
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
R48
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Soeken, Mathais
Thomsen, Michael Kirkedal
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
RC (Workshop : Reversible Computation)(11th :2019 :, Lausanne, Switzerland)
ORIGINATING SOURCE
Date of Transaction
20200823092034.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
