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

Computing in Horn Clause Theories, Peter Padawitz


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

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

Автор: Peter Padawitz
Название:  Computing in Horn Clause Theories
ISBN: 9783642738265
Издательство: Springer
Классификация:




ISBN-10: 3642738265
Обложка/Формат: Paperback
Страницы: 322
Вес: 0.54 кг.
Дата издания: 03.12.2011
Серия: Monographs in Theoretical Computer Science. An EATCS Series
Язык: English
Размер: 244 x 170 x 18
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems.


Clause and Effect

Автор: Clocksin
Название: Clause and Effect
ISBN: 3540629718 ISBN-13(EAN): 9783540629719
Издательство: Springer
Рейтинг:
Цена: 9362.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way around a reference manual. This book is therefore not concerned about the particular features of the language nor about Prolog programming skills or techniques in general.

Advanced Intelligent Computing. Theories and Applications

Автор: De-Shuang Huang; Martin McGinnity; Laurent Heutte;
Название: Advanced Intelligent Computing. Theories and Applications
ISBN: 3642148301 ISBN-13(EAN): 9783642148309
Издательство: Springer
Рейтинг:
Цена: 17468.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intel- gence, machine learning, pattern recognition, image processing, bioinformatics, and computational biology.

Bio-inspired Computing – Theories and Applications

Автор: Maoguo Gong; Linqiang Pan; Tao Song; Gexiang Zhang
Название: Bio-inspired Computing – Theories and Applications
ISBN: 9811036101 ISBN-13(EAN): 9789811036101
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The two-volume set, CCIS 681 and CCIS 682, constitutes the proceedings of the 11th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2016, held in Xi`an, China, in October 2016.The 115 revised full papers presented were carefully reviewed and selected from 343 submissions.

Bio-inspired Computing – Theories and Applications

Автор: Maoguo Gong; Linqiang Pan; Tao Song; Gexiang Zhang
Название: Bio-inspired Computing – Theories and Applications
ISBN: 9811036136 ISBN-13(EAN): 9789811036132
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The two-volume set, CCIS 681 and CCIS 682, constitutes the proceedings of the 11th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2016, held in Xi`an, China, in October 2016.The 115 revised full papers presented were carefully reviewed and selected from 343 submissions.

Intelligent Computing Theories and Methodologies

Автор: De-Shuang Huang; Kang-Hyun Jo; Abir Hussain
Название: Intelligent Computing Theories and Methodologies
ISBN: 331922185X ISBN-13(EAN): 9783319221854
Издательство: Springer
Рейтинг:
Цена: 13416.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This two-volume set LNCS 9225 and LNCS 9226 constitutes - in conjunction with the volume LNAI 9227 - the refereed proceedings of the 11th International Conference on Intelligent Computing, ICIC 2015, held in Fuzhou, China, in August 2015. intelligent computing and knowledge discovery and data mining;

Intelligent Computing Theories and Methodologies

Автор: De-Shuang Huang; Vitoantonio Bevilacqua; Prashan P
Название: Intelligent Computing Theories and Methodologies
ISBN: 3319221795 ISBN-13(EAN): 9783319221793
Издательство: Springer
Рейтинг:
Цена: 13416.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This two-volume set LNCS 9225 and LNCS 9226 constitutes - in conjunction with the volume LNAI 9227 - the refereed proceedings of the 11th International Conference on Intelligent Computing, ICIC 2015, held in Fuzhou, China, in August 2015. intelligent computing and knowledge discovery and data mining;

Intelligent Computing Theories

Автор: De-Shuang Huang; Vitoantonio Bevilacqua; Juan Carl
Название: Intelligent Computing Theories
ISBN: 3642394787 ISBN-13(EAN): 9783642394782
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Neural Networks.- Nature Inspired Computing and Optimization.- Cognitive Science and Computational Neuroscience.- Knowledge Discovery and Data Mining.- Evolutionary Learning and Genetic Algorithms.- Machine Learning Theory and Methods.- Natural Language Processing and Computational Linguistics.- Fuzzy Theory and Models.- Fuzzy Systems and Soft Computing.- Unsupervised and Reinforcement Learning.- Intelligent Computing in Finance/Banking.- Intelligent Computing in Communication Networks.- Intelligent Computing in Network Software/Hardware.- Intelligent Image/Document Retrievals.- Intelligent Data Fusion and Information Security.- Intelligent Prediction and Time Series Analysis.- Intelligent Sensor Networks.- Intelligent Fault Diagnosis.- Virtual Reality and Human-Computer Interaction.- Intelligent Computing in Robotics.- Intelligent Computing in Computer Vision.

Programming Distributed Computing Systems

Автор: Varela Carlos A
Название: Programming Distributed Computing Systems
ISBN: 0262018985 ISBN-13(EAN): 9780262018982
Издательство: MIT Press
Рейтинг:
Цена: 5775.00 р.
Наличие на складе: Нет в наличии.

Описание: An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.

Introduction to High Performance Computing for Scientists and Engineers

Автор: Hager
Название: Introduction to High Performance Computing for Scientists and Engineers
ISBN: 143981192X ISBN-13(EAN): 9781439811924
Издательство: Taylor&Francis
Рейтинг:
Цена: 12095.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Written by HPC experts, this book provides a solid introduction to current mainstream computer architecture, dominant parallel programming models, and useful optimization strategies for scientific HPC. It facilitates an intuitive understanding of performance limitations without relying on heavy computer science knowledge.

Applications of Evolutionary Computing

Автор: Franz Rothlauf; J?rgen Branke; Stefano Cagnoni; Da
Название: Applications of Evolutionary Computing
ISBN: 3540253963 ISBN-13(EAN): 9783540253969
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In contrast to other large conferences in the EC ?eld, the EvoWorkshops focus solely on application aspects of EC and are an important link between EC research and the application of EC in a large variety of di?erent domains.

Intelligent Computing Theories and Application

Автор: De-Shuang Huang; Vitoantonio Bevilacqua; Prashan P
Название: Intelligent Computing Theories and Application
ISBN: 3319633082 ISBN-13(EAN): 9783319633084
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This three-volume set LNCS 10361, LNCS 10362, and LNAI 10363 constitutes the refereed proceedings of the 13th International Conference on Intelligent Computing, ICIC 2017, held in Liverpool, UK, in August 2017. The 212 full papers and 20 short papers of the three proceedings volumes were carefully reviewed and selected from 612 submissions.

Intelligent Computing Theories and Application

Автор: De-Shuang Huang; Kang-Hyun Jo; Juan Carlos Figuero
Название: Intelligent Computing Theories and Application
ISBN: 3319633112 ISBN-13(EAN): 9783319633114
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This three-volume set LNCS 10361, LNCS 10362, and LNAI 10363 constitutes the refereed proceedings of the 13th International Conference on Intelligent Computing, ICIC 2017, held in Liverpool, UK, in August 2017. Applications of Machine Learning Techniques to Computational Proteomics, Genomics, and Biological Sequence Analysis;


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