Systems, Patterns and Data Engineering with Geometric Calculi, Xambу-Descamps Sebastiа
Автор: Hinkin Jr David Название: Geometric Patterns - Adult Coloring Book Vol. 1 - Inkcartel ISBN: 1986283607 ISBN-13(EAN): 9781986283601 Издательство: Неизвестно Цена: 1033.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Hinkin Jr David Название: Geometric Patterns - Adult Coloring Book Volume 2 ISBN: 1986327310 ISBN-13(EAN): 9781986327312 Издательство: Неизвестно Цена: 1033.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Hinkin Jr David Название: Geometric Patterns - Adult Coloring Book Vol. 10 ISBN: 1717054951 ISBN-13(EAN): 9781717054951 Издательство: Неизвестно Цена: 1033.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Hinkin Jr David Название: Geometric Patterns - Adult Coloring Book Vol. 16 ISBN: 172163343X ISBN-13(EAN): 9781721633432 Издательство: Неизвестно Цена: 1033.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This exciting new title from acclaimed chip carver, Tatiana Baldina, will show you how to create geometric patterns out of single pieces of timber.
Автор: Amadio Название: Domains and Lambda-Calculi ISBN: 0521062926 ISBN-13(EAN): 9780521062923 Издательство: Cambridge Academ Рейтинг: Цена: 8870.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.
Автор: Swartz Charles Название: Functional Calculi ISBN: 9814415979 ISBN-13(EAN): 9789814415972 Издательство: World Scientific Publishing Рейтинг: Цена: 12514.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A functional calculus is a construction which associates with an operator or a family of operators a homomorphism from a function space into a subspace of continuous linear operators, such as a method for defining "functions of an operator". This book contains an exposition of several such functional calculi.
Описание: Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
Описание: BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.
Описание: rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.
Описание: Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building.
