Algebraic Logic and Universal Algebra in Computer Science, Clifford H. Bergman; Roger D. Maddux; Don L. Pigoz

Автор: Wolfgang Wechler
Название: Universal Algebra for Computer Scientists
ISBN: 3642767737 ISBN-13(EAN): 9783642767739
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A new model-theoretic approach to universal algebra is offered in this book. The book concerns the algebraic characterization of axiomatic classes of algebras (equational, implicational, and universal Horn classes) by closure operators generalizing the famous Birkhoff Variety Theorem, and the algebraic characterization of the related theories.

Автор: Marc Fossorier; Hideki Imai; Shu Lin; Alain Poli
Название: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
ISBN: 3540667237 ISBN-13(EAN): 9783540667230
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 19th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-13, held in Honolulu, Hawaii, USA in November 1999.
The 42 revised full papers presented together with six invited survey papers were carefully reviewed and selected from a total of 86 submissions. The papers are organized in sections on codes and iterative decoding, arithmetic, graphs and matrices, block codes, rings and fields, decoding methods, code construction, algebraic curves, cryptography, codes and decoding, convolutional codes, designs, decoding of block codes, modulation and codes, Gr bner bases and AG codes, and polynomials.

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

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

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

Автор: R.S. Freese; O.C. Garcia
Название: Universal Algebra and Lattice Theory
ISBN: 3540123296 ISBN-13(EAN): 9783540123293
Издательство: Springer
Рейтинг:
Цена: 4884.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Teo Mora; Harold F. Mattson
Название: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
ISBN: 3540631631 ISBN-13(EAN): 9783540631637
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume features 27 revised full papers from the 12th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes held in 1997. The papers address a broad range of issues in coding theory and computer algebra spanning polynomials.

Автор: Teo Mora
Название: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
ISBN: 3540510834 ISBN-13(EAN): 9783540510833
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: B. Plotkin
Название: Universal Algebra, Algebraic Logic, and Databases
ISBN: 0792326652 ISBN-13(EAN): 9780792326656
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Deals with the development of an algebraic model of databases. This book, in its first chapter, presents a general introduction. The following chapters deal with various aspects of universal algebra. It closes with a discussion and conclusions, and a bibliography. It is useful for mathematicians, computer scientists and database engineers.

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

Автор: Peter Benner; Matthias Bollh?fer; Daniel Kressner;
Название: Numerical Algebra, Matrix Theory, Differential-Algebraic Equations and Control Theory
ISBN: 3319152599 ISBN-13(EAN): 9783319152592
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This edited volume highlights the scientific contributions of Volker Mehrmann, a leading expert in the area of numerical (linear) algebra, matrix theory, differential-algebraic equations and control theory.