Foundations of probabilistic programming, Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
Автор: Billimoria Kaiwan Название: Hands-On System Programming with Linux ISBN: 1788998472 ISBN-13(EAN): 9781788998475 Издательство: Неизвестно Цена: 10114.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 Издательство: Неизвестно Рейтинг: Цена: 8642.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.
Автор: Kent D. Lee Название: Foundations of Programming Languages ISBN: 3319707892 ISBN-13(EAN): 9783319707891 Издательство: Springer Рейтинг: Цена: 6288.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: introduces object-oriented languages through examples in Java, functional programming with Standard ML, and programming using the logic language Prolog;
Автор: Michael G. Main; Austin C. Melton; Michael W. Misl Название: Mathematical Foundations of Programming Semantics ISBN: 0387973753 ISBN-13(EAN): 9780387973753 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Michael Main; Austin Melton; Michael Mislove; Davi Название: Mathematical Foundations of Programming Language Semantics ISBN: 3540190201 ISBN-13(EAN): 9783540190202 Издательство: Springer Рейтинг: Цена: 13974.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.
Автор: William B. Langdon; Riccardo Poli Название: Foundations of Genetic Programming ISBN: 3642076327 ISBN-13(EAN): 9783642076329 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Genetic programming (GP), one of the most advanced forms of evolutionary computation, has been highly successful as a technique for getting computers to automatically solve problems without having to tell them explicitly how. Since its inceptions more than ten years ago, GP has been used to solve practical problems in a variety of application fields. Along with this ad-hoc engineering approaches interest increased in how and why GP works. This book provides a coherent consolidation of recent work on the theoretical foundations of GP. A concise introduction to GP and genetic algorithms (GA) is followed by a discussion of fitness landscapes and other theoretical approaches to natural and artificial evolution. Having surveyed early approaches to GP theory it presents new exact schema analysis, showing that it applies to GP as well as to the simpler GAs. New results on the potentially infinite number of possible programs are followed by two chapters applying these new techniques.
Автор: 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 Рейтинг: Цена: 12248.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.
Автор: Jan Newmarch Название: Foundations of Jini 2 Programming ISBN: 1590597168 ISBN-13(EAN): 9781590597163 Издательство: Springer Рейтинг: Цена: 6555.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.
Описание: 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.
Описание: Graphical models (e.g., Bayesian and constraint networks, influence diagrams, and Markov decision processes) have become a central paradigm for knowledge representation and reasoning in both artificial intelligence and computer science in general. These models are used to perform many reasoning tasks, such as scheduling, planning and learning, diagnosis and prediction, design, hardware and software verification, and bioinformatics. These problems can be stated as the formal tasks of constraint satisfaction and satisfiability, combinatorial optimization, and probabilistic inference. It is well known that the tasks are computationally hard, but research during the past three decades has yielded a variety of principles and techniques that significantly advanced the state of the art. This book provides comprehensive coverage of the primary exact algorithms for reasoning with such models. The main feature exploited by the algorithms is the model's graph. We present inference-based, message-passing schemes (e.g., variable-elimination) and search-based, conditioning schemes (e.g., cycle-cutset conditioning and AND/OR search). Each class possesses distinguished characteristics and in particular has different time vs. space behavior. We emphasize the dependence of both schemes on few graph parameters such as the treewidth, cycle-cutset, and (the pseudo-tree) height. The new edition includes the notion of influence diagrams, which focus on sequential decision making under uncertainty. We believe the principles outlined in the book would serve well in moving forward to approximation and anytime-based schemes. The target audience of this book is researchers and students in the artificial intelligence and machine learning area, and beyond.
Описание: Graphical models (e.g., Bayesian and constraint networks, influence diagrams, and Markov decision processes) have become a central paradigm for knowledge representation and reasoning in both artificial intelligence and computer science in general. These models are used to perform many reasoning tasks, such as scheduling, planning and learning, diagnosis and prediction, design, hardware and software verification, and bioinformatics. These problems can be stated as the formal tasks of constraint satisfaction and satisfiability, combinatorial optimization, and probabilistic inference. It is well known that the tasks are computationally hard, but research during the past three decades has yielded a variety of principles and techniques that significantly advanced the state of the art. This book provides comprehensive coverage of the primary exact algorithms for reasoning with such models. The main feature exploited by the algorithms is the model's graph. We present inference-based, message-passing schemes (e.g., variable-elimination) and search-based, conditioning schemes (e.g., cycle-cutset conditioning and AND/OR search). Each class possesses distinguished characteristics and in particular has different time vs. space behavior. We emphasize the dependence of both schemes on few graph parameters such as the treewidth, cycle-cutset, and (the pseudo-tree) height. The new edition includes the notion of influence diagrams, which focus on sequential decision making under uncertainty. We believe the principles outlined in the book would serve well in moving forward to approximation and anytime-based schemes. The target audience of this book is researchers and students in the artificial intelligence and machine learning area, and beyond.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
