Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Relational and Algebraic Methods in Computer Science, Jules Desharnais; Walter Guttmann; Stef Joosten


Варианты приобретения
Цена: 9222.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Jules Desharnais; Walter Guttmann; Stef Joosten
Название:  Relational and Algebraic Methods in Computer Science
ISBN: 9783030021481
Издательство: Springer
Классификация:




ISBN-10: 3030021483
Обложка/Формат: Soft cover
Страницы: 385
Вес: 0.62 кг.
Дата издания: 2018
Серия: Theoretical Computer Science and General Issues
Язык: English
Издание: 1st ed. 2018
Иллюстрации: 30 illustrations, black and white; xvi, 385 p. 30 illus.
Размер: 234 x 156 x 21
Читательская аудитория: Professional & vocational
Основная тема: Computer Science
Подзаголовок: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.
Дополнительное описание: Invited Paper.- Theoretical Foundations.- Reasoning about Computations and Programs.- Applications and Tools.



Relational and Algebraic Methods in Computer Science

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

Computer Age Statistical Inference

Автор: Bradley Efron and Trevor Hastie
Название: Computer Age Statistical Inference
ISBN: 1107149894 ISBN-13(EAN): 9781107149892
Издательство: Cambridge Academ
Рейтинг:
Цена: 9029.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The twenty-first century has seen a breathtaking expansion of statistical methodology, both in scope and in influence. 'Big data', 'data science', and 'machine learning' have become familiar terms in the news, as statistical methods are brought to bear upon the enormous data sets of modern science and commerce. How did we get here? And where are we going? This book takes us on an exhilarating journey through the revolution in data analysis following the introduction of electronic computation in the 1950s. Beginning with classical inferential theories - Bayesian, frequentist, Fisherian - individual chapters take up a series of influential topics: survival analysis, logistic regression, empirical Bayes, the jackknife and bootstrap, random forests, neural networks, Markov chain Monte Carlo, inference after model selection, and dozens more. The distinctly modern approach integrates methodology and algorithms with statistical inference. The book ends with speculation on the future direction of statistics and data science.

Relational Methods for Computer Science Applications

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

The theory of quantum information

Автор: Watrous, John (university Of Waterloo, Ontario)
Название: The theory of quantum information
ISBN: 1107180562 ISBN-13(EAN): 9781107180567
Издательство: Cambridge Academ
Рейтинг:
Цена: 11563.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Intended for graduate students and researchers, this book presents a formal development of the mathematical theory of quantum information. Largely self-contained, with clear proofs and a wide range of exercises, it will help the reader grasp the fundamental facts and techniques that form the mathematical foundations of the subject.

Extreme Value Theory-Based Methods for Visual Recognition

Автор: Walter J. Scheirer
Название: Extreme Value Theory-Based Methods for Visual Recognition
ISBN: 1627057005 ISBN-13(EAN): 9781627057004
Издательство: Turpin
Рейтинг:
Цена: 10340.00 р.
Наличие на складе: Невозможна поставка.

Описание: A common feature of many approaches to modeling sensory statistics is an emphasis on capturing the ""average."" From early representations in the brain, to highly abstracted class categories in machine learning for classification tasks, central-tendency models based on the Gaussian distribution are a seemingly natural and obvious choice for modeling sensory data. However, insights from neuroscience, psychology, and computer vision suggest an alternate strategy: preferentially focusing representational resources on the extremes of the distribution of sensory inputs. The notion of treating extrema near a decision boundary as features is not necessarily new, but a comprehensive statistical theory of recognition based on extrema is only now just emerging in the computer vision literature. This book begins by introducing the statistical Extreme Value Theory (EVT) for visual recognition. In contrast to central-tendency modeling, it is hypothesized that distributions near decision boundaries form a more powerful model for recognition tasks by focusing coding resources on data that are arguably the most diagnostic features. EVT has several important properties: strong statistical grounding, better modeling accuracy near decision boundaries than Gaussian modeling, the ability to model asymmetric decision boundaries, and accurate prediction of the probability of an event beyond our experience. The second part of the book uses the theory to describe a new class of machine learning algorithms for decision making that are a measurable advance beyond the state-of-the-art. This includes methods for post-recognition score analysis, information fusion, multi-attribute spaces, and calibration of supervised machine learning algorithms.

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

Автор: Janusz Czelakowski
Название: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
ISBN: 3030090744 ISBN-13(EAN): 9783030090746
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and discusses his impact on the development of science. The book both catalogues his works and offers an extensive profile of Pigozzi as a person, sketching the most important events, not only related to his scientific activity, but also from his personal life. It reflects Pigozzi's contribution to the rise and development of areas such as abstract algebraic logic (AAL), universal algebra and computer science, and introduces new scientific results. Some of the papers also present chronologically ordered facts relating to the development of the disciplines he contributed to, especially abstract algebraic logic. The book offers valuable source material for historians of science, especially those interested in history of mathematics and logic.

Relational and Algebraic Methods in Computer Science

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

Relational and Algebraic Methods in Computer Science

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

Ewa orlowska on relational methods in logic and computer science

Название: Ewa orlowska on relational methods in logic and computer science
ISBN: 3319978780 ISBN-13(EAN): 9783319978789
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is a tribute to Professor Ewa Or?owska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different authors and covers the most important areas of her research. Prof. Or?owska made significant contributions to many fields of logic, such as proof theory, algebraic methods in logic and knowledge representation, and her work has been published in 3 monographs and over 100 articles in internationally acclaimed journals and conference proceedings. The book also includes Prof. Or?owska’s autobiography, bibliography and a trialogue between her and the editors of the volume, as well as contributors' biographical notes, and is suitable for scholars and students of logic who are interested in understanding more about Prof. Or?owska’s work.

Geometric Algebra: An Algebraic System for Computer Games and Animation

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

Algebraic Logic and Universal Algebra in Computer Science

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

Algebraic Methods: Theory, Tools and Applications

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


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия