Non-Monotonic Extensions of Logic Programming, Juergen Dix; Luis Moniz Pereira; Teodor C. Przymus
Автор: 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.
Автор: Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heis Название: Extensions of Logic Programming ISBN: 3540609830 ISBN-13(EAN): 9783540609834 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings discuss such topics as: categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning and proof search.
Автор: 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.
Автор: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
