Categorical Methods in Computer Science, Hartmut Ehrig; Horst Herrlich; Hans-J?rg Kreowski;

Автор: Andr?s Bruhn; Thomas Pock; Xue-Cheng Tai
Название: Efficient Algorithms for Global Optimization Methods in Computer Vision
ISBN: 3642547737 ISBN-13(EAN): 9783642547737
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the International Dagstuhl-Seminar on Efficient Algorithms for Global Optimization Methods in Computer Vision, held in Dagstuhl Castle, Germany, in November 2011.

Автор: V. Bykov; A. Kytmanov; M. Lazman; Mikael Passare
Название: Elimination Methods in Polynomial Computer Algebra
ISBN: 9401062307 ISBN-13(EAN): 9789401062305
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The subject of this book is connected with a new direction in mathematics, which has been actively developed over the last few years, namely the field of polynomial computer algebra, which lies at the intersection point of algebra, mathematical analysis and programming.

Автор: Wolfram Kahl; Michael Winter; Jos? Oliveira
Название: Relational and Algebraic Methods in Computer Science
ISBN: 3319247034 ISBN-13(EAN): 9783319247038
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions.

Автор: Marcello M. Bonsangue
Название: Coalgebraic Methods in Computer Science
ISBN: 3662441233 ISBN-13(EAN): 9783662441237
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

Автор: Peter H?fner; Peter Jipsen; Wolfram Kahl; Martin E
Название: Relational and Algebraic Methods in Computer Science
ISBN: 3319062506 ISBN-13(EAN): 9783319062501
Издательство: Springer
Рейтинг:
Цена: 11598.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.The 25 revised full papers presented were carefully selected from 37 submissions.

Автор: Hasuo
Название: Coalgebraic Methods in Computer Science
ISBN: 3319403699 ISBN-13(EAN): 9783319403694
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Fixed Points of Functors - A Survey.- Compositional Coinduction with Sized Types.- Lawvere Theories as Composed PROPs.- Transitivity and Difunctionality of Bisimulations.- Affine Monads and Side-Effect-Freeness.- Duality of Equations and Coequations via Contravariant Adjunctions.- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness.- Product Rules and Distributive Laws.- On the Logic of Generalised Metric Spaces.- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors.- Coalgebraic Completeness-via-Canonicity: Principles and Applications.- Relational Lattices via Duality.- On Local Characterization of Global Timed Bisimulation for Abstract.

Автор: Peter H?fner; Damien Pous; Georg Struth
Название: Relational and Algebraic Methods in Computer Science
ISBN: 3319574175 ISBN-13(EAN): 9783319574172
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017. The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions.