| 청구기호 |
QA76.9.L63 |
| 판사항 |
1st ed. 2021.
|
| 형태사항 |
XII, 275 p. 137 illus., 57 illus. in color. online resource.
|
| 총서명 |
Programming and Software Engineering, 2945-9168 ; 12805
|
| 언어 |
English |
| 내용 |
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.
|
| 주제 |
Logic design.
Computers, Special purpose.
Computer science.
Microprogramming .
Natural language processing (Computer science).
Logic Design.
Special Purpose and Application-Based Systems.
Theory of Computation.
Control Structures and Microprogramming.
Natural Language Processing (NLP).
|
| 보유판 및 특별호 저록 |
Springer Nature eBook
Printed edition: 9783030798369
Printed edition: 9783030798383
|
| ISBN |
9783030798376 |
| 기타 표준번호 |
10.1007/978-3-030-79837-6 |
| QR CODE |
|
