Extensions of Logic Programming, Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heis
Автор: Louis M. Pereira; Teodor C. Przymusinski Название: Non-Monotonic Extensions of Logic Programming ISBN: 3540594671 ISBN-13(EAN): 9783540594673 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is based on papers presented during the ICLP `94 Workshop on Nonmonotonic Extensions of Logic Programming. Ten papers are included which discuss the interdependence of non-monotonic formalisms and logic programming.
Автор: John L. Nazareth Название: DLP and Extensions ISBN: 3642625029 ISBN-13(EAN): 9783642625022 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: DLP denotes a dynamic-linear modeling and optimization approach to computational decision support for resource planning problems that arise, typically, within the natural resource sciences and the disciplines of operations research and operational engineering.
Автор: James Cussens; Alessandra Russo Название: Inductive Logic Programming ISBN: 3319633414 ISBN-13(EAN): 9783319633411 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Conference on Inductive Logic Programming, ILP 2016, held in London, UK, in September 2016. The 10 full papers presented were carefully reviewed and selected from 29 submissions.
Автор: Agostino Dovier; Enrico Pontelli Название: A 25-Year Perspective on Logic Programming ISBN: 3642143083 ISBN-13(EAN): 9783642143083 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book celebrates the 25th anniversary of GULP - the Italian Association for Logic Programming. Authored by Italian researchers, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students.
Автор: Jacques Garrigue; Manuel Hermenegildo Название: Functional and Logic Programming ISBN: 3540789685 ISBN-13(EAN): 9783540789680 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008, held in Ise, Japan, in April 2008. This book includes papers that are organized in topical sections on constraints, constructive arithmetic, dependent types, rewriting, program transformation, and logic and lambda-calculus.
Автор: Ford Beverley Название: Logic Programming with Prolog ISBN: 144715486X ISBN-13(EAN): 9781447154860 Издательство: Springer Рейтинг: Цена: 5589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Assuming no programming experience on the reader`s part, this book starts from scratch and aims to arrive at the point where quite powerful programs can be written in the Prolog language. This second edition is revised to be fully compatible with SWI-Prolog.
Автор: Evelina Lamma; Paola Mello Название: Extensions of Logic Programming ISBN: 3540564543 ISBN-13(EAN): 9783540564546 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of research papers which investigates how to extend logic programming towards the areas of artificial intelligence and software engineering. The contributors cover both practical and theoretical aspects of the subject.
Автор: Juergen Dix; Luis Moniz Pereira; Teodor C. Przymus Название: Non-Monotonic Extensions of Logic Programming ISBN: 3540628436 ISBN-13(EAN): 9783540628439 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The nine full papers presented in this volume in revised version address theoretical, applicational and implementational issues of non-monotonic extensions of logic programming. An introductory survey by the volume editors contains a bibliography listing 136 entries.
Автор: Mehta Название: Creating Google Chrome Extensions ISBN: 1484217748 ISBN-13(EAN): 9781484217740 Издательство: Springer Рейтинг: Цена: 3492.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Transform your existing web applications into Google Chrome browser extensions and create brand new extensions that improve your own browsing experience and that of your users. This book shows you how Google Chrome browser extensions are extremely useful tools for enhancing the functionality of the Google Chrome web browser. For example, you can create extensions to summarize the current page you are reading, or to save all of the images in the page you are browsing. They have access to almost all of the features provided by the Google Chrome browser, and they can encapsulate such features in the form of a bundled application providing targeted functionality to users. Extensions also run in a sandboxed environment, making them secure – which is a huge plus in the modern web!The APIs provided by the Chrome Extensions framework help you empower web applications by coupling them with amazing features provided by the Google Chrome web browser, such as bookmarks, history, tabs, actions, storage, notifications, search, and a lot more – facilitating increased productivity on the Google Chrome web browser.
What You Will Learn:
Transform your web application ideas into Google Chrome Extensions.Choose the recommended components for creating your kind of extension.Leverage the power of a Google Chrome browser by making use of the extensions API.Showcase your existing web-development skills in a modern way by creating useful extensions.
Who This Book is For
Creating Google Chrome Extensions is for existing web developers, experienced in creating simple web pages (using HTML, CSS, and JavaScript), to help them create browser extensions for Google Chrome. After understanding the examples and lessons in this book, you will be able to transform your existing web applications into Google Chrome browser extensions, as well as create brand new extensions.
Автор: Artur Laksberg; Siva Challa Название: Essential Guide to Managed Extensions for C++ ISBN: 1893115283 ISBN-13(EAN): 9781893115286 Издательство: Springer Рейтинг: Цена: 5449.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "Essential Guide to Managed Extensions for C++" proves a comprehensive look at the possibilities available to programers writing code in managed extensions for C++ (MC++). With the help of these experienced authors, developers can harness the power of native C++ code to the flexibility of managed code for optimal effect.
Автор: Patricia M. Hill; David S. Warren Название: Logic Programming ISBN: 3642028454 ISBN-13(EAN): 9783642028458 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 25th International Conference ICLP 2009 Pasadena CA USA July 1417 2009 Proceedings. .
Автор: Iliano Cervesato; Helmut Veith; Andrei Voronkov Название: Logic for Programming, Artificial Intelligence, and Reasoning ISBN: 3540894381 ISBN-13(EAN): 9783540894384 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. This book contains the papers that address issues in automated reasoning, computational logic, and programming languages.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
