Автор: Hinkin Jr David Название: Geometric Patterns - Adult Coloring Book Volume 2 ISBN: 1986327310 ISBN-13(EAN): 9781986327312 Издательство: Неизвестно Цена: 6890.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Hinkin Jr David Название: Geometric Patterns - Adult Coloring Book Vol. 10 ISBN: 1717054951 ISBN-13(EAN): 9781717054951 Издательство: Неизвестно Цена: 6890.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Baldina Tatiana Название: Chip Carving: Geometric Patterns to Draw and Chip Out of Wood ISBN: 1784945463 ISBN-13(EAN): 9781784945466 Издательство: Wiley Рейтинг: Цена: 17150.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This exciting new title from acclaimed chip carver, Tatiana Baldina, will show you how to create geometric patterns out of single pieces of timber.
Автор: Hinkin Jr David Название: Geometric Patterns - Adult Coloring Book Vol. 16 ISBN: 172163343X ISBN-13(EAN): 9781721633432 Издательство: Неизвестно Цена: 6890.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Amadio Название: Domains and Lambda-Calculi ISBN: 0521062926 ISBN-13(EAN): 9780521062923 Издательство: Cambridge Academ Рейтинг: Цена: 59130.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Wolfgang Bibel; P.H. Schmitt Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications ISBN: 0792351304 ISBN-13(EAN): 9780792351306 Издательство: Springer Рейтинг: Цена: 234790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Wolfgang Bibel; P.H. Schmitt Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications ISBN: 0792351290 ISBN-13(EAN): 9780792351290 Издательство: Springer Рейтинг: Цена: 266470.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
