東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Reversible computation = 13th Intern...

RC (Workshop : Reversible Computation) (2021 :)

FindBook

Google Book

Amazon

博客來

Reversible computation = 13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Reversible computation/ edited by Shigeru Yamashita, Tetsuo Yokoyama.
其他題名:	13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings /
其他題名:	RC 2021
其他作者:	Yamashita, Shigeru.
團體作者:	RC (Workshop : Reversible Computation)
出版者:	Cham :Springer International Publishing : : 2021.,
面頁冊數:	xii, 275 p. :ill., digital ;24 cm.
內容註:	Invited Talks -- How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton -- Variational Quantum Eigensolver and Its Applications -- Programming and Programming Languages -- Reversible Functional Array Programming -- Compiling Janus to RSSA -- Causal-Consistent Debugging of Distributed Erlang Programs -- Towards a Unified Language Architecture for Reversible Object-Oriented Programming -- Reversible Concurrent Computation -- Towards a truly concurrent semantics for reversible CCS -- Forward-Reverse Observational Equivalences in CCSK -- Explicit Identifiers and Contexts in Reversible Concurrent Calculus -- Reversibility and predictions -- Theory and Foundations -- A Tangled Web of 12 Lens Laws -- Splitting recursion schemes into reversible and classical interacting threads -- Reversibility of Executable Interval Temporal Logic Specifications -- Circuit Synthesis -- Efficient Construction of Functional Representations for Quantum Algorithms -- Finding Optimal Implementations of Non-native CNOT Gates using SAT -- Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network -- OR-Toffoli and OR-Peres Reversible Gates.
Contained By:	Springer Nature eBook
標題:	Reversible computing - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-030-79837-6
ISBN:	9783030798376

Reversible computation = 13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings /
Reversible computation13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings /[electronic resource] :RC 2021edited by Shigeru Yamashita, Tetsuo Yokoyama. - Cham :Springer International Publishing :2021. - xii, 275 p. :ill., digital ;24 cm. - Lecture notes in computer science,128050302-9743 ;. - Lecture notes in computer science ;12805..

Invited Talks -- How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton -- Variational Quantum Eigensolver and Its Applications -- Programming and Programming Languages -- Reversible Functional Array Programming -- Compiling Janus to RSSA -- Causal-Consistent Debugging of Distributed Erlang Programs -- Towards a Unified Language Architecture for Reversible Object-Oriented Programming -- Reversible Concurrent Computation -- Towards a truly concurrent semantics for reversible CCS -- Forward-Reverse Observational Equivalences in CCSK -- Explicit Identifiers and Contexts in Reversible Concurrent Calculus -- Reversibility and predictions -- Theory and Foundations -- A Tangled Web of 12 Lens Laws -- Splitting recursion schemes into reversible and classical interacting threads -- Reversibility of Executable Interval Temporal Logic Specifications -- Circuit Synthesis -- Efficient Construction of Functional Representations for Quantum Algorithms -- Finding Optimal Implementations of Non-native CNOT Gates using SAT -- Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network -- OR-Toffoli and OR-Peres Reversible Gates.

This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this book were carefully reviewed and selected from 21 submissions. The book also contains 2 invited talks in full-paper length, 3 work-in-progress papers and 1 tool paper. They were organized in topical sections named: programming and programming languages; reversible concurrent computation; theory and foundations; and circuit synthesis.

ISBN: 9783030798376

Standard No.: 10.1007/978-3-030-79837-6doiSubjects--Topical Terms:

3409844
Reversible computing
--Congresses.

LC Class. No.: QA76.9.R48 / R3 2021

Dewey Class. No.: 004

Reversible computation = 13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings /
LDR:02910nmm a2200361 a 4500 001 2244389
003 DE-He213
005 20210626204450.0
006 m d
007 cr nn 008maaau
008 211207s2021 sz s 0 eng d
020 $a 9783030798376 $q (electronic bk.)
020 $a 9783030798369 $q (paper)
024 7 $a 10.1007/978-3-030-79837-6 $2 doi
035 $a 978-3-030-79837-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.R48 $b R3 2021
072 7 $a UYF $2 bicssc
072 7 $a COM036000 $2 bisacsh
072 7 $a UYF $2 thema
082 0 4 $a 004 $2 23
090 $a QA76.9.R48 $b R279 2021
111 2 $a RC (Workshop : Reversible Computation) $n (13th : $d 2021 : $c Online) $3 3505223
245 1 0 $a Reversible computation $h [electronic resource] : $b 13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings / $c edited by Shigeru Yamashita, Tetsuo Yokoyama.
246 3 $a RC 2021
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a xii, 275 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12805
490 1 $a Programming and software engineering
505 0 $a Invited Talks -- How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton -- Variational Quantum Eigensolver and Its Applications -- Programming and Programming Languages -- Reversible Functional Array Programming -- Compiling Janus to RSSA -- Causal-Consistent Debugging of Distributed Erlang Programs -- Towards a Unified Language Architecture for Reversible Object-Oriented Programming -- Reversible Concurrent Computation -- Towards a truly concurrent semantics for reversible CCS -- Forward-Reverse Observational Equivalences in CCSK -- Explicit Identifiers and Contexts in Reversible Concurrent Calculus -- Reversibility and predictions -- Theory and Foundations -- A Tangled Web of 12 Lens Laws -- Splitting recursion schemes into reversible and classical interacting threads -- Reversibility of Executable Interval Temporal Logic Specifications -- Circuit Synthesis -- Efficient Construction of Functional Representations for Quantum Algorithms -- Finding Optimal Implementations of Non-native CNOT Gates using SAT -- Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network -- OR-Toffoli and OR-Peres Reversible Gates.
520 $a This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this book were carefully reviewed and selected from 21 submissions. The book also contains 2 invited talks in full-paper length, 3 work-in-progress papers and 1 tool paper. They were organized in topical sections named: programming and programming languages; reversible concurrent computation; theory and foundations; and circuit synthesis.
650 0 $a Reversible computing $v Congresses. $3 3409844
650 0 $a Computer science $x Mathematics $x Congresses. $3 678603
650 0 $a Computer logic $x Congresses. $3 726280
650 1 4 $a Logic Design. $3 892735
650 2 4 $a Special Purpose and Application-Based Systems. $3 892492
650 2 4 $a Theory of Computation. $3 892514
650 2 4 $a Control Structures and Microprogramming. $3 895886
650 2 4 $a Natural Language Processing (NLP) $3 3381674
700 1 $a Yamashita, Shigeru. $3 2072408
700 1 $a Yokoyama, Tetsuo. $3 3505224
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 12805. $3 3505225
830 0 $a Programming and software engineering. $3 3382571
856 4 0 $u https://doi.org/10.1007/978-3-030-79837-6
950 $a Computer Science (SpringerNature-11645)