Relational and Algebraic Methods in Computer Science, Wolfram Kahl; Michael Winter; Jos? Oliveira

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

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

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

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

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

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

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

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