Extensions of Logic Programming, Evelina Lamma; Paola Mello
Автор: 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.
Автор: 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.
Автор: Pierre Deransart; Jan Maluszynski Название: Programming Language Implementation and Logic Programming ISBN: 354053010X ISBN-13(EAN): 9783540530107 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This collection of papers presented at the PLILIP 90 workshop held in Sweden in August 1990 identify concepts and techniques used both in the implementation of programming languages and logic programming.
Автор: 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.
Автор: Eiiti Wada Название: Logic Programming `85 ISBN: 3540164790 ISBN-13(EAN): 9783540164791 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: John W. Lloyd Название: Foundations of Logic Programming ISBN: 3642831915 ISBN-13(EAN): 9783642831911 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. In the second edition, I discuss a larger class of programs than that discussed in the first edition.
Автор: 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.
Автор: Matthieu-P. Schapranow Название: Real-time Security Extensions for EPCglobal Networks ISBN: 3642447228 ISBN-13(EAN): 9783642447228 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book reviews the design of real-time security extensions for EPCglobal networks based on in-memory technology, presents authentication protocols for devices with low computational resources and outlines steps for implementing history-based access control.
Автор: 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.
Автор: Peter Barth Название: Logic-Based 0–1 Constraint Programming ISBN: 0792396634 ISBN-13(EAN): 9780792396635 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A logic view of 0-1 integer programming problems, providing insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class. Operations research techniques are integrated into a logic programming environment.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
