Reversible Computation: 13th International Conference, Rc 2021, Virtual Event, July 7-8, 2021, Proceedings, Yamashita Shigeru, Yokoyama Tetsuo

Автор: Devitt
Название: Reversible Computation
ISBN: 3319405772 ISBN-13(EAN): 9783319405773
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi;

Автор: Robert Gl?ck; Tetsuo Yokoyama
Название: Reversible Computation
ISBN: 3642363148 ISBN-13(EAN): 9783642363146
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 4th International Workshop on Reversible Computation, RC 2012, held in Copenhagen, Denmark, in July 2012. The papers cover theoretical considerations, reversible software and reversible hardware, and physical realizations and applications in quantum computing.

Автор: Michael Kirkedal Thomsen; Mathias Soeken
Название: Reversible Computation
ISBN: 3030214990 ISBN-13(EAN): 9783030214999
Издательство: Springer
Рейтинг:
Цена: 8104.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Gerhard W. Dueck; D. Michael Miller
Название: Reversible Computation
ISBN: 3642389856 ISBN-13(EAN): 9783642389856
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. The 19 contributions presented together with one invited paper were carefully reviewed and selected from 37 submissions.

Автор: Stephanidis Constantine, Antona Margherita, Ntoa Stavroula
Название: Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II
ISBN: 3030786412 ISBN-13(EAN): 9783030786410
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.

Автор: de Mol Liesbeth, Weiermann Andreas, Manea Florin
Название: Connecting with Computability: 17th Conference on Computability in Europe, Cie 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings
ISBN: 3030800482 ISBN-13(EAN): 9783030800482
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021.

Автор: Stephanidis Constantine, Antona Margherita, Ntoa Stavroula
Название: Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I
ISBN: 303078634X ISBN-13(EAN): 9783030786342
Издательство: Springer
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.

Автор: Lanese Ivan, Rawski Mariusz
Название: Reversible Computation: 12th International Conference, Rc 2020, Oslo, Norway, July 9-10, 2020, Proceedings
ISBN: 3030524817 ISBN-13(EAN): 9783030524814
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in the following topical sections: theory and foundation;

Автор: Jean Krivine; Jean-Bernard Stefani
Название: Reversible Computation
ISBN: 3319208594 ISBN-13(EAN): 9783319208596
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.

Автор: Kari
Название: Reversible Computation
ISBN: 3319994972 ISBN-13(EAN): 9783319994970
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions.

Автор: Shigeru Yamashita; Shin-ichi Minato
Название: Reversible Computation
ISBN: 3319084933 ISBN-13(EAN): 9783319084930
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Automata for reversible computation.- Notation and languages for reversible computation.- Synthesis and optimization for reversible circuits.- Validation and representation of quantum logic.

Автор: Ulidowski Irek, Lanese Ivan, Schultz Ulrik Pagh
Название: Reversible Computation: Extending Horizons of Computing: Selected Results of the Cost Action Ic1405
ISBN: 3030473600 ISBN-13(EAN): 9783030473600
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Foundations of Reversible Computation.- Software and Reversible Systems: A Survey of Recent Activities.- Simulation and Design of Quantum Circuits.- Research on Reversible Functions Having Component Functions with Specified Properties - An Overview.- A Case Study for Reversible Computing: Reversible Debugging.- Towards Choreographic-Based Monitoring.- Reversibility in Chemical Reactions.- Reversible Control of Robots.- Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation.- Reversible Computation in Wireless Communications.- Error Reconciliation in Quantum Key Distribution Protocols.