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

Description Logic, Theory Combination, and All That, Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Ya


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

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

Автор: Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Ya
Название:  Description Logic, Theory Combination, and All That
ISBN: 9783030221010
Издательство: Springer
Классификация:







ISBN-10: 3030221016
Обложка/Формат: Soft cover
Страницы: 662
Вес: 1.02 кг.
Дата издания: 2019
Серия: Theoretical Computer Science and General Issues
Язык: English
Издание: 1st ed. 2019
Иллюстрации: 14 illustrations, color; 1216 illustrations, black and white; xiii, 662 p. 1230 illus., 14 illus. in color.
Размер: 234 x 156 x 35
Читательская аудитория: Professional & vocational
Основная тема: Computer Science
Подзаголовок: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This Festschrift has been put together on the occasion of Franz Baaders 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franzs honour and appreciate the breadth and depth of his favourite areas of computer science.
Дополнительное описание: A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction.- Hierarchic Superposition Revisited.- Theory Combination: Beyond Equality Sharing.- Initial Steps Towards a Family of Regular-Like Plan Description Logics.- Reason



Towards a Synergistic Combination of Research and Practice in Software Engineering

Автор: Piotr Kosiuczenko; Lech Madeyski
Название: Towards a Synergistic Combination of Research and Practice in Software Engineering
ISBN: 3319652079 ISBN-13(EAN): 9783319652078
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book reports on recent advances in software engineering research and practice. Divided into 15 chapters, it addresses: languages and tools; development processes; modelling, simulation and verification; and education. In the first category, the book includes chapters on domain-specific languages, software complexity, testing and tools. In the second, it reports on test-driven development, processing of business rules, and software management. In turn, subsequent chapters address modelling, simulation and verification of real-time systems, mobile systems and computer networks, and a scrum-based framework. The book was written by researchers and practitioners, the goal being to achieve a synergistic combination of research results achieved in academia and best practices used in the industry, and to provide a valuable reference guide for both groups.

Robot Physical Interaction through the combination of Vision, Tactile and Force Feedback

Автор: Mario Prats; ?ngel P. del Pobil; Pedro J. Sanz
Название: Robot Physical Interaction through the combination of Vision, Tactile and Force Feedback
ISBN: 364244315X ISBN-13(EAN): 9783642443152
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents the framework for the versatile specification of physical interaction tasks, as well as the problem of autonomous planning of these tasks. It details novel grasp-task sensor-based control methods using vision, tactile and force feedback.

Towards a Synergistic Combination of Research and Practice in Software Engineering

Автор: Piotr Kosiuczenko; Lech Madeyski
Название: Towards a Synergistic Combination of Research and Practice in Software Engineering
ISBN: 331987974X ISBN-13(EAN): 9783319879741
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Поставка под заказ.

Описание: This book reports on recent advances in software engineering research and practice. Divided into 15 chapters, it addresses: languages and tools; development processes; modelling, simulation and verification; and education. In the first category, the book includes chapters on domain-specific languages, software complexity, testing and tools. In the second, it reports on test-driven development, processing of business rules, and software management. In turn, subsequent chapters address modelling, simulation and verification of real-time systems, mobile systems and computer networks, and a scrum-based framework. The book was written by researchers and practitioners, the goal being to achieve a synergistic combination of research results achieved in academia and best practices used in the industry, and to provide a valuable reference guide for both groups.

Combinations of Intelligent Methods and Applications

Автор: Ioannis Hatzilygeroudis; Vasile Palade; Jim Prentz
Название: Combinations of Intelligent Methods and Applications
ISBN: 3319268589 ISBN-13(EAN): 9783319268583
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Evolutionary Landscape and Management of Population Diversity.- Probabilistic Planning in AgentSpeak Using the POMDP -Framework.- Ant-Based System Analysis on the Traveling Salesman Problem Under Real_World Settings.- Verifying Compliance for Business Process Logs with a Hybrid Logic Model Checker.- Smarter Electricity and Argumentation Theory.- Online Argumentation-based Platform for Recommending Medical Literature.- Medical Image Processing: A brief Survey and a New Theoretical Hybrid ACO Model.- Smoke Detection in Environmental Regions by Means of Computer Vision.


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