Reversible Computation: Extending Horizons of Computing (Record no. 6439)

MARC details
000 -LEADER
fixed length control field 03678naaaa2200781uu 4500
003 - CONTROL NUMBER IDENTIFIER
control field BUT
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230413103140.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr|mn|---annan
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 20210210s2020 xx |||||o ||| eng|| d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783030473617
040 ## - CATALOGING SOURCE
Original cataloging agency oapen
Transcribing agency oapen
041 0# - LANGUAGE CODE
Language code of text/sound track or separate title eng
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 004
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Ulidowski, Irek
Relationship edt
245 10 - TITLE STATEMENT
Title Reversible Computation: Extending Horizons of Computing
Remainder of title Selected Results of the COST Action IC1405
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Springer Nature
Date of publication, distribution, etc. 2020
300 ## - PHYSICAL DESCRIPTION
Extent 1 electronic resource (237 p.)
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
506 0# - RESTRICTIONS ON ACCESS NOTE
Terms governing access Open Access
Source of term star
Standardized terminology for access restriction Unrestricted online access
520 ## - SUMMARY, ETC.
Summary, etc. This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.
540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE
Terms governing use and reproduction Creative Commons
Use and reproduction rights by/4.0/
Source of term cc
546 ## - LANGUAGE NOTE
Language note English
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Сигналы и системы
Source of heading or term bicssc
9 (RLIN) 4531
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Компьютерная инженерия
Source of heading or term bicssc
9 (RLIN) 4537
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Операционные системы
Source of heading or term bicssc
9 (RLIN) 2232
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Logic Design
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Computer System Implementation
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Computer Communication Networks
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Special Purpose and Application-Based Systems
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Software Engineering
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Operating Systems
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term open access
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term reversible computation
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term semantics of reversible computation
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term formal methods
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term models of computation
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term circuit design
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term simulation
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term robotics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term debugging
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term quantum computing
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term wireless communications
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term programming languages
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term dependability
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term modelling of biochemical systems
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term computer networks
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term engineering
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term software engineering
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term parallel processing systems
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term theoretical computer science
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Computer architecture & logic design
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Systems analysis & design
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Network hardware
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Expert systems / knowledge-based systems
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Operating systems
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Lanese, Ivan
Relationship edt
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Schultz, Ulrik Pagh
Relationship edt
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ferreira, Carla
Relationship edt
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ulidowski, Irek
Relationship oth
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Lanese, Ivan
Relationship oth
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Schultz, Ulrik Pagh
Relationship oth
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ferreira, Carla
Relationship oth
830 ## - SERIES ADDED ENTRY--UNIFORM TITLE
9 (RLIN) 4517
Uniform title Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
856 40 - ELECTRONIC LOCATION AND ACCESS
Host name www.oapen.org
Uniform Resource Identifier <a href="https://directory.doabooks.org/handle/20.500.12854/38350">https://directory.doabooks.org/handle/20.500.12854/38350</a>
Access status 0
Public note Description
909 ## - Составили записи
-- 4
-- Darya Shvetsova
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Универсальная десятичная классификация
Koha item type Electronic edition
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type Public note
    Универсальная десятичная классификация     Computers Bucheon University Library Bucheon University Library OAPEN 13.04.2023   004 L45 1010730 13.04.2023 13.04.2023 Electronic edition Download (pdf)