Atjaunināt sīkdatņu piekrišanu

Reversible Computation: 13th International Conference, RC 2021, Virtual Event, July 78, 2021, Proceedings 1st ed. 2021 [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 275 pages, height x width: 235x155 mm, weight: 454 g, 57 Illustrations, color; 80 Illustrations, black and white; XII, 275 p. 137 illus., 57 illus. in color., 1 Paperback / softback
  • Sērija : Programming and Software Engineering 12805
  • Izdošanas datums: 23-Jun-2021
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030798364
  • ISBN-13: 9783030798369
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 46,91 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 55,19 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Reversible Computation: 13th International Conference, RC 2021, Virtual Event, July 78, 2021, Proceedings 1st ed. 2021Palielināt
  • Formāts: Paperback / softback, 275 pages, height x width: 235x155 mm, weight: 454 g, 57 Illustrations, color; 80 Illustrations, black and white; XII, 275 p. 137 illus., 57 illus. in color., 1 Paperback / softback
  • Sērija : Programming and Software Engineering 12805
  • Izdošanas datums: 23-Jun-2021
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030798364
  • ISBN-13: 9783030798369
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783030798369.html
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.

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.