Описание: The integration of logic and probability combines the capability of the first to represent complex relations among entities with the capability of the latter to model uncertainty over attributes and relations. Logic programming provides a Turing complete language based on logic and thus represent an excellent candidate for the integration.Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. One of most successful approaches to Probabilistic Logic Programming is the Distribution Semantics, where a probabilistic logic program defines a probability distribution over normal logic programs and the probability of a ground query is then obtained from the joint distribution of the query and the programs. Foundations of Probabilistic Logic Programming aims at providing an overview of the field of Probabilistic Logic Programming, with a special emphasis on languages under the Distribution Semantics. The book presents the main ideas for semantics, inference and learning and highlights connections between the methods.Many examples of the book include a link to a page of the web application http://cplint.eu where the code can be run online.
Автор: Billimoria Kaiwan Название: Hands-On System Programming with Linux ISBN: 1788998472 ISBN-13(EAN): 9781788998475 Издательство: Неизвестно Цена: 10666.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Twenty five years ago, as often happens in our industry, pundits laughed at and called Linux a joke. To say that view has changed is a massive understatement. This book will cement for you both the conceptual `why` and the practical `how` of systems programming on Linux, and covers Linux systems programming on the latest 4.x kernels.
Автор: Winkle Lewis Van Название: Hands-On Network Programming with C ISBN: 1789349869 ISBN-13(EAN): 9781789349863 Издательство: Неизвестно Рейтинг: Цена: 9010.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Network programming, a challenging topic in C, is made understandable through careful exposition of socket programming APIs. Keeping up with the current trends, you will gain an insight into web programming for IoT. Finally, you will learn how to monitor the network, troubleshoot problems, implement security, and understand best practices.
Автор: Harper Название: Practical Foundations for Programming Languages ISBN: 1107150302 ISBN-13(EAN): 9781107150300 Издательство: Cambridge Academ Рейтинг: Цена: 9978.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book defines and analyzes a full range of programming language concepts in a single unifying framework that isolates core abstractions and avoids irrelevant details of specific languages. It stresses the central role of types and teaches the use of rigorous mathematical techniques for proving properties of languages and programs.
Автор: Ahmed Название: Foundations of Software Engineering ISBN: 1498737595 ISBN-13(EAN): 9781498737593 Издательство: Taylor&Francis Рейтинг: Цена: 12861.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that are essential for becoming proficient in the field. The book devotes a complete chapter to each of the core areas. Several peripheral areas are also explained by assigning a separate chapter to each of them. Rather than using UML or other formal notations, the content in this book is explained in easy-to-understand language. Basic programming knowledge using an object-oriented language is helpful to understand the material in this book. The knowledge gained from this book can be readily used in other relevant courses or in real-world software development environments.This textbook educates students in software engineering principles. It covers almost all facets of software engineering, including requirement engineering, system specifications, system modeling, system architecture, system implementation, and system testing. Emphasizing practical issues, such as feasibility studies, this book explains how to add and develop software requirements to evolve software systems.This book was written after receiving feedback from several professors and software engineers. What resulted is a textbook on software engineering that not only covers the theory of software engineering but also presents real-world insights to aid students in proper implementation. Students learn key concepts through carefully explained and illustrated theories, as well as concrete examples and a complete case study using Java. Source code is also available on the book’s website. The examples and case studies increase in complexity as the book progresses to help students build a practical understanding of the required theories and applications.
Автор: Kent D. Lee Название: Foundations of Programming Languages ISBN: 3319707892 ISBN-13(EAN): 9783319707891 Издательство: Springer Рейтинг: Цена: 5487.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: introduces object-oriented languages through examples in Java, functional programming with Standard ML, and programming using the logic language Prolog;
Автор: Jan Newmarch Название: Foundations of Jini 2 Programming ISBN: 1430211830 ISBN-13(EAN): 9781430211839 Издательство: Springer Рейтинг: Цена: 5720.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This second edition is an expanded, updated version of the most popular online tutorial for Jini. It includes comprehensive Jini advancements, and other important topics, like how Enterprise JavaBeans blend with the Jini framework and how CORBA fits in as well.
Автор: Michael G. Main; Austin C. Melton; Michael W. Misl Название: Mathematical Foundations of Programming Semantics ISBN: 0387973753 ISBN-13(EAN): 9780387973753 Издательство: Springer Рейтинг: Цена: 10610.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Jan Newmarch Название: Foundations of Jini 2 Programming ISBN: 1590597168 ISBN-13(EAN): 9781590597163 Издательство: Springer Рейтинг: Цена: 5720.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This second edition is an expanded, updated version of the most popular online tutorial for Jini. It includes comprehensive Jini advancements, and other important topics, like how Enterprise JavaBeans blend with the Jini framework and how CORBA fits in as well.
Автор: Steffen H?lldobler Название: Foundations of Equational Logic Programming ISBN: 354051533X ISBN-13(EAN): 9783540515333 Издательство: Springer Рейтинг: Цена: 4268.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Equations play a vital role in many fields. This book presents the foundations of equational logic programming. Generalizing logic programming by augmenting programs with a conditional equational theory, it defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting.
Автор: Michael Main; Austin Melton; Michael Mislove; Davi Название: Mathematical Foundations of Programming Language Semantics ISBN: 3540190201 ISBN-13(EAN): 9783540190202 Издательство: Springer Рейтинг: Цена: 12196.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987.
Автор: Stephen Brookes; Michael Main; Austin Melton; Mich Название: Mathematical Foundations of Programming Semantics ISBN: 3540580271 ISBN-13(EAN): 9783540580270 Издательство: Springer Рейтинг: Цена: 14635.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume of conference proceedings focuses on the semantics of programming languages and the mathematics which support the study of semantics. Current research is also presented on denotational semantics and the application of semantics to category theory, logic and lattice theory.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
