Current Trends in Transformation Groups, Anthony Bak; Masaharu Morimoto; Fumihiro Ushitaki

Автор: Albert Elvira
Название: Logic-based Program Synthesis and Transformation
ISBN: 3642381960 ISBN-13(EAN): 9783642381966
Издательство: Springer
Рейтинг:
Цена: 42860.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.

Автор: Bob Coecke; David Moore; Alexander Wilce
Название: Current Research in Operational Quantum Logic
ISBN: 9048154375 ISBN-13(EAN): 9789048154371
Издательство: Springer
Рейтинг:
Цена: 121890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The present volume has its origins in a pair of informal workshops held at the Free University of Brussels, in June of 1998 and May of 1999, named "Current Research 1 in Operational Quantum Logic".