Relational and Algebraic Methods in Computer Science, Peter H?fner; Peter Jipsen; Wolfram Kahl; Martin E

Автор: H. Crapo; D. Senato
Название: Algebraic Combinatorics and Computer Science
ISBN: 8847021596 ISBN-13(EAN): 9788847021594
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book, dedicated to the memory of Gian-Carlo Rota, is the result of a collaborative effort by his friends, students and admirers. The book opens with a heartfelt piece by Henry Crapo in which he meticulously pieces together what Gian-Carlo Rota`s untimely demise has bequeathed to science.

Автор: Martin Wirsing; Jan A. Bergstra
Название: Algebraic Methods: Theory, Tools and Applications
ISBN: 3540516980 ISBN-13(EAN): 9783540516989
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

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

Автор: Chris Brink; Wolfram Kahl; Gunther Schmidt
Название: Relational Methods in Computer Science
ISBN: 3211829717 ISBN-13(EAN): 9783211829714
Издательство: Springer
Рейтинг:
Цена: 10760.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The calculus of relations turned into an important conceptual and methodological tool in computer science. This book presents methods that include questions of relational databases, applications to program specification, resource-conscious linear logic, nonclassical logics for reasoning about programs, and more.

Автор: Ewa Orlowska; Andrzej Szalas
Название: Relational Methods for Computer Science Applications
ISBN: 3662003627 ISBN-13(EAN): 9783662003626
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: John A. Vince
Название: Geometric Algebra: An Algebraic System for Computer Games and Animation
ISBN: 144716878X ISBN-13(EAN): 9781447168782
Издательство: Springer
Рейтинг:
Цена: 7680.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Geometric algebra is still treated as an obscure branch of algebra and most books have been written by competent mathematicians in a very abstract style.

Автор: Clifford H. Bergman; Roger D. Maddux; Don L. Pigoz
Название: Algebraic Logic and Universal Algebra in Computer Science
ISBN: 0387972889 ISBN-13(EAN): 9780387972886
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation copyright Book News, Inc. Portland, Or.

Автор: Emilio Spedicato
Название: Computer Algorithms for Solving Linear Algebraic Equations
ISBN: 3642767192 ISBN-13(EAN): 9783642767197
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Study Institute on Computer Algorithms for Solving Linear Equations: The State of the Art, held at Il Ciocco, Barga, Italy, September 9-21, 1990