Reversible Computation: 12th International Conference, Rc 2020, Oslo, Norway, July 9-10, 2020, Proceedings, Lanese Ivan, Rawski Mariusz

Автор: Iain Phillips; Hafizur Rahaman
Название: Reversible Computation
ISBN: 3319599356 ISBN-13(EAN): 9783319599359
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017. The 13 full and 5 short papers included in this volume together with one invited paper were carefully reviewed and selected from 47 submissions. reversible circuit synthesis;

Автор: 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.

Автор: 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;

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: Rahman M. Sohel, Sadakane Kunihiko, Sung Wing-Kin
Название: Walcom: Algorithms and Computation: 14th International Conference, Walcom 2020, Singapore, Singapore, March 31 - April 2, 2020, Proceedings
ISBN: 3030398803 ISBN-13(EAN): 9783030398804
Издательство: Springer
Рейтинг:
Цена: 9222.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Conference on Algorithms and Computation, WALCOM 2020, held in Singapore in March/April 2020. The 23 full and 4 short papers presented were carefully reviewed and selected from 66 submissions.

Автор: Gadducci Fabio, Kehrer Timo
Название: Graph Transformation: 13th International Conference, Icgt 2020, Held as Part of Staf 2020, Bergen, Norway, June 25-26, 2020, Proceedings
ISBN: 3030513718 ISBN-13(EAN): 9783030513719
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions.

Автор: Lahiri Shuvendu K., Wang Chao
Название: Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part II
ISBN: 3030532909 ISBN-13(EAN): 9783030532901
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Model Checking.- Software Verification.- Stochastic Systems.- Synthesis.

Автор: S. Barbosa Luнs, Ali Abam Mohammad
Название: Topics in Theoretical Computer Science: Third Ifip Wg 1.8 International Conference, Ttcs 2020, Tehran, Iran, July 1-2, 2020, Proceedings
ISBN: 3030578518 ISBN-13(EAN): 9783030578510
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Third IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2020, held in Tehran, Iran, in July 2020.