Reversible Computation, Michael Kirkedal Thomsen; Mathias Soeken

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

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

Автор: Kutz J Nathan
Название: Data-Driven Modeling & Scientific Computation
ISBN: 0199660344 ISBN-13(EAN): 9780199660346
Издательство: Oxford Academ
Рейтинг:
Цена: 7443.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Combining scientific computing methods and algorithms with modern data analysis techniques, including basic applications of compressive sensing and machine learning, this book develops techniques that allow for the integration of the dynamics of complex systems and big data. MATLAB is used throughout for mathematical solution strategies.

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

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

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

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

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

Автор: Kenichi Morita
Название: Theory of Reversible Computing
ISBN: 443156604X ISBN-13(EAN): 9784431566045
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 1. Introduction.- 2. Reversible Logic Elements with Memory.- 3. Classification of Reversible Logic Elements with Memory and Their Universality.- 4. Reversible Logic Gates.- 5. Reversible Turing Machines.- 6. Making Reversible Turing Machines from Reversible Primitives.- 7. Universal Reversible Turing Machines.- 8. Space-Bounded Reversible Turing Machines.-9. Other Models of Reversible Machines.- 10. Reversible Cellular Automata.- 11. One-Dimensional Universal Reversible Cellular Automata.- 12. Two-Dimensional Universal Reversible Cellular Automata.- 13. Reversible Elementary Triangular Partitioned Cellular Automata.- 14. Self-reproduction in Reversible Cellular Automata.

Автор: Saleem Mohammed Ridha Taha
Название: Reversible Logic Synthesis Methodologies with Application to Quantum Computing
ISBN: 3319373838 ISBN-13(EAN): 9783319373836
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies.

Автор: T. Strzalkowski
Название: Reversible Grammar in Natural Language Processing
ISBN: 079239416X ISBN-13(EAN): 9780792394167
Издательство: Springer
Рейтинг:
Цена: 34799.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains papers which present a range of approaches to reversible, bi-directional, and non-directional grammar systems. This volume focuses on the problems of reversibility in natural language processing. It is suitable for researchers in linguistics and computer science with interests in computational linguistics, and natural language processing.