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

Resolution Proof Systems, Z. Stachniak


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

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

Автор: Z. Stachniak
Название:  Resolution Proof Systems
ISBN: 9780792340171
Издательство: Springer
Классификация:
ISBN-10: 0792340175
Обложка/Формат: Hardcover
Страницы: 208
Вес: 0.50 кг.
Дата издания: 30.04.1996
Серия: Automated Reasoning Series
Язык: English
Размер: 234 x 156 x 14
Основная тема: Computer Science
Подзаголовок: An Algebraic Theory
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This text develops an algebraic theory of resolution proof systems, focusing on the problems of proof theory, representation and efficiency of the deductive process.


Iterative-Interpolation Super-Resolution Image Reconstruction

Автор: Vivek Bannore
Название: Iterative-Interpolation Super-Resolution Image Reconstruction
ISBN: 3642101453 ISBN-13(EAN): 9783642101458
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents a novel, hybrid, computationally-efficient reconstruction scheme for solving the problem of super-resolution restoration of high-resolution images from sequences of geometrically warped, aliased and under-sampled low-resolution images.

Dynamics of Information Systems

Автор: Hirsch
Название: Dynamics of Information Systems
ISBN: 1441956883 ISBN-13(EAN): 9781441956880
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: "Dynamics of Information Systems" presents state-of-the-art research explaining the importance of information in the evolution of a distributed or networked system. This book presents techniques for measuring the value or significance of information within the context of a system. Each chapter reveals a unique topic or perspective from experts in this exciting area of research.

Conflict Resolution and its Context

Автор: Davide Carneiro; Paulo Novais; Jos? Neves
Название: Conflict Resolution and its Context
ISBN: 3319062387 ISBN-13(EAN): 9783319062389
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book studies how technological solutions can be used to alleviate the current state of legal systems, with their clogged up courtrooms and inefficient conflict resolution methods.

Fuzzy and Multiobjective Games for Conflict Resolution

Автор: Ichiro Nishizaki; Masatoshi Sakawa
Название: Fuzzy and Multiobjective Games for Conflict Resolution
ISBN: 379082481X ISBN-13(EAN): 9783790824810
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Decision makers in managerial and public organizations often encounter de- cision problems under conflict or competition, because they select strategies independently or by mutual agreement and therefore their payoffs are then affected by the strategies of the other decision makers.

Conflict Resolution in Decision Making

Автор: Reyhan Aydo?an; Tim Baarslag; Enrico Gerding; Cath
Название: Conflict Resolution in Decision Making
ISBN: 3319572849 ISBN-13(EAN): 9783319572840
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes thoroughly revised selected papers of the Second International Workshop on Conflict and Resolution in Decision Makrung, COREDEMA 2016, held in The Hague, The Netherlands, in August 2016.

High-Resolution Methods for Incompressible and Low-Speed Flows

Автор: D. Drikakis; W. Rider
Название: High-Resolution Methods for Incompressible and Low-Speed Flows
ISBN: 364206051X ISBN-13(EAN): 9783642060519
Издательство: Springer
Рейтинг:
Цена: 26120.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Laminar ?ows are governed by a balance between the inertial and viscous forces in the ?ow that provides the stability. Even though laminar ?ows are organized in an orderly manner, the ?ows may exhibit instabilities and bifurcation phenomena which may eventually lead to transition and turbulence.


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