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

Representation Theorems in Computer Science: A Treatment in Logic Engineering, Ozcep Ozgur Lutfu


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

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

Автор: Ozcep Ozgur Lutfu
Название:  Representation Theorems in Computer Science: A Treatment in Logic Engineering
ISBN: 9783030257842
Издательство: Springer
Классификация:





ISBN-10: 3030257843
Обложка/Формат: Hardcover
Страницы: 190
Вес: 0.46 кг.
Дата издания: 17.08.2019
Язык: English
Издание: 1st ed. 2019
Иллюстрации: 2 illustrations, color; 24 illustrations, black and white; xiii, 187 p. 26 illus., 2 illus. in color.
Размер: 234 x 156 x 13
Читательская аудитория: Professional & vocational
Подзаголовок: A treatment in logic engineering
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание:
Formal specifications are an important tool for the construction, verification and analysis of systems, since without it is hardly possible to explain whether a system worked correctly or showed an expected behavior. This book proposes the use of representation theorems as a means to develop an understanding of all models of a specification in order to exclude possible unintended models, demonstrating the general methodology with representation theorems for applications in qualitative spatial reasoning, data stream processing, and belief revision.
For qualitative spatial reasoning, it develops a model of spatial relatedness that captures the scaling context with hierarchical partitions of a spatial domain, and axiomatically characterizes the resulting relations. It also shows that various important properties of stream processing, such as prefix-determinedness or various factorization properties can be axiomatized, and that the axioms are fulfilled by natural classes of stream functions. The third example is belief revision, which is concerned with the revision of knowledge bases under new, potentially incompatible information. In this context, the book considers a subclass of revision operators, namely the class of reinterpretation operators, and characterizes them axiomatically. A characteristic property of reinterpretation operators is that of dissolving potential inconsistencies by reinterpreting symbols of the knowledge base.
Intended for researchers in theoretical computer science or one of the above application domains, the book presents results that demonstrate the use of representation theorems for the design and evaluation of formal specifications, and provide the basis for future application-development kits that support application designers with automatically built representations.

Дополнительное описание: 1 Introduction.- 2 Preliminaries.- 3 Representing Spatial Relatedness.- 4 Scalable Spatio-Thematic Query Answering.- 5 Representation Theorems for Stream Processing.- 6 High-Level Declarative Stream Processing.- 7 Representation for Belief Revision.- 8 Co



New Trends in Computational Electromagnetics

Автор: Ergul Ozgur
Название: New Trends in Computational Electromagnetics
ISBN: 1785615483 ISBN-13(EAN): 9781785615481
Издательство: Неизвестно
Рейтинг:
Цена: 30577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Computational electromagnetics is an active research area concerned with the development and implementation of numerical methods and techniques for rigorous solutions to physical problems across the entire spectrum of electromagnetic waves - from radio frequencies to gamma rays. Numerical methods and techniques developed and implemented in this area are now used every day to solve complex problems in diverse application areas, including but not limited to antennas, telecommunications, biomedical imaging, sensing, energy harvesting, nanotechnology, and optics. The purpose of this book is to provide a broad overview of the recent efforts in computational electromagnetics to develop and implement more robust, stable, accurate, and efficient algorithms.

After an extensive overview of the main trends in computational electromagnetics, individual chapters written by international experts explore the state-of-the-art in frequency-domain surface integration; frequency-domain volume integral equations; time-domain integral equations; time-domain methods for plasmonic media; finite element methods; geometric modelling and discretization for integral equations; hierarchical vector basis functions; analysis of electromagnetic fields in multi-layered media; acceleration and parallelization techniques; periodic problems and determining related eigenvalues; algebraic preconditioning; high-frequency techniques and hybridizations; and uncertainty quantification for large-scale electromagnetic analysis.

The Foreign Policy of Modern Turkey: Power and the Ideology of Eurasianism

Автор: Ozgur Tufekci
Название: The Foreign Policy of Modern Turkey: Power and the Ideology of Eurasianism
ISBN: 178453742X ISBN-13(EAN): 9781784537425
Издательство: Bloomsbury Academic
Рейтинг:
Цена: 19008.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In the last three decades, Turkey has attempted to build close relationships with Russia, Iran and the Turkic World. As a result, there has been ongoing debate about the extent to which Turkey`s international relations axis is shifting eastwards.

Effects of Prior Aging at 316 C in Argon on Inelastic Deformation Behavior of Pmr-15 Polymer at 316 C: Experiment and Modeling

Автор: Ozmen Ozgur
Название: Effects of Prior Aging at 316 C in Argon on Inelastic Deformation Behavior of Pmr-15 Polymer at 316 C: Experiment and Modeling
ISBN: 1288405316 ISBN-13(EAN): 9781288405312
Издательство: Неизвестно
Рейтинг:
Цена: 10658.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.


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