quantum process calculi – Bücher zum Thema quantum process calculi finden und kaufen

Springer International Publishing
53.49 € · Paperback

algorithms automata theory circuit complexity formal Logic formal methods logic design model checking operational semantics process calculi programming languages quantum circuits quantum computing reversible computing reversible models software engineering

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...

Recent Trends in Algebraic Development Techniques

Springer International Publishing
128.39 € · Paperback

common meadows equational calculus modal semirings temporal logics operational semantics compositionality formal learning theory information topology institution theory bisimilarity quantum process calculi trace semantics

This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024. The 6 full papers presented in this volume were carefully reviewed and selected...

Reversible Computation

Springer International Publishing
53.49 € · eBook

array programming automata theory bidirectional transformation causal consistency debugging decision diagrams embedded systems formal logic formal semantics functional languages object-oriented programming parallel processing systems process algebras and calculi quantum circuit transformation quantum computing reversible cellular automaton

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...

Reversible Computation

Springer International Publishing
53.49 € · Paperback

array programming automata theory bidirectional transformation causal consistency debugging decision diagrams embedded systems formal logic formal semantics functional languages object-oriented programming parallel processing systems process algebras and calculi quantum circuit transformation quantum computing reversible cellular automaton

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...

Reversible Computation

Springer International Publishing
69.54 € · eBook

circuit design computational complexity concurrency decision problems deep neural networks energy complexity exact synthesis finite automata formal semantics pebble game process algebra and calculi program transformation quantum circuits quantum computing reaction system

This book constitutes the refereed proceedings of the 15th International Conference on Reversible Computation, RC 2023, held in  Giessen, Germany, during July 18–19, 2023.The 11 full papers and 3 short papers included in this book were carefully reviewed and selected ...

Reversible Computation

Springer International Publishing
69.54 € · Paperback

circuit design computational complexity concurrency decision problems deep neural networks energy complexity exact synthesis finite automata formal semantics pebble game process algebra and calculi program transformation quantum circuits quantum computing reaction system

This book constitutes the refereed proceedings of the 15th International Conference on Reversible Computation, RC 2023, held in  Giessen, Germany, during July 18–19, 2023.The 11 full papers and 3 short papers included in this book were carefully reviewed and selected ...

Reversible Computation

Springer International Publishing
53.49 € · eBook

algorithms automata theory circuit complexity formal Logic formal methods logic design model checking operational semantics process calculi programming languages quantum circuits quantum computing reversible computing reversible models software engineering

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...

Recent Trends in Algebraic Development Techniques

Springer International Publishing
128.39 € · eBook

common meadows equational calculus modal semirings temporal logics operational semantics compositionality formal learning theory information topology institution theory bisimilarity quantum process calculi trace semantics

This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024. The 6 full papers presented in this volume were carefully reviewed and selected...

Ergebnisse für: quantum process calculi

Hier findest Du Bücher, die sich mit quantum process calculi beschäftigen.