Поиск книг                    Поиск по списку ISBN Расширенный поиск    
  Зарубежные издательства Российские издательства  
   Авторы    Каталог книг    Издательства    Новинки    Учебная литература    Специальные предложения  Бестселлеры
 
 
Книги    
Logobook
Книги зарубежных издательств на иностранных языках
Logobook
Книги российских издательств
Logobook
Представительство в Казахстане
 
Вход в систему   
 
Регистрация  Забыли?
 
Информация   
Контакты/Адрес/Проезд
Корзина
Ваши заказы
Доставка и Оплата
Заказ по телефону/email
Помощь
Есть вопрос?
О компании
LgBook.ru
FkBook.ru
 
Online Каталоги   
Cambridge University Press
Каталог учебной литературы
по английскому языку >>>

Oxford University Press
Каталог учебной литературы
по английскому языку >>>



Каталог учебной литературы
по английскому языку >>>

Pearson ELT

Читайте отзывы покупателей и оценивайте качество магазина logobook.ru на Яндекс.Маркете

Algebraic Theory of Automata Networks, P?l D?m?si

Algebraic Theory of Automata Networks

Автор: P?l D?m?si
Название:  Algebraic Theory of Automata Networks   (Алгебраическая теория автоматических сетей)
Издательство: Cambridge Academ
Классификация:
Основы математики

ISBN: 0898715695
ISBN-13(EAN): 9780898715699
ISBN: 0-89871-569-5
ISBN-13(EAN): 978-0-89871-569-9
Обложка/Формат: Hardback
Страницы: 270
Вес: 0.674 кг.
Дата издания: 01.01.2008
Серия: Monographs on discrete mathematics & applications s.
Издание: Illustrated ed
Иллюстрации: Illustrations
Размер: 260 x 183
Читательская аудитория: Professional & vocational
Поставляется из: Англии
Описание: Algebraic Theory of Automata Networks investigates automata networks as algebraic structures and develops their theory in line with other algebraic theories. Automata networks are investigated as products of automata, and the fundamental results in regard to automata networks are surveyed and extended, including the main decomposition theorems of Letichevsky, and of Krohn and Rhodes. The text summarizes the most important results of the past four decades regarding automata networks and presents many new results discovered since the last book on this subject was published. Several new methods and special techniques are discussed, including characterization of homomorphically complete classes of automata under the cascade product; products of automata with semi-Letichevsky criterion and without any Letichevsky criteria; automata with control words; primitive products and temporal products; network completeness for digraphs having all loop edges; complete finite automata network graphs with minimal number of edges; and emulation of automata networks by corresponding asynchronous ones.
Описание: This book investigates automata networks as algebraic structures and develops their theory in line with other algebraic theories.
Дополнительное описание: Subject: Mathematics / Discrete Mathematics, Information Theory and Coding Theory
Readership: discrete mathematics, information theory, coding, applied mathematics
Level: graduate students, academic researchers
Format: 228 x 152 mm 270pp
Chapter Titles: Preface and overview; 1. Preliminaries; 2. Directed graphs, automata, and automata networks; 3. Krohn-Rhodes theory and complete classes; 4. Without Letichevsky's criterion; 5. Letichevsky's criterion; 6. Primitive products and temporal products; 7. Finite state-homogeneous automata networks and asynchronous automata networks; Bibliography; Index.



 Варианты приобретения 
  Кол-во Наличие на складе Цена р. Купить / Отложить
1 Отсутствует. Возможна поставка под заказ.
При оформлении заказа до: 17 фев 2017
Ориентировочная дата поставки: 13 мар 2017
При условии наличия книги у поставщика.
6311.00
 о цене
Добавить в корзину
Add to Wish list

Отзывы покупателей.
Добавить отзыв.
Completeness and Reduction in Algebraic Complexity Theory

Автор: B?rgisser
Название: Completeness and Reduction in Algebraic Complexity Theory
ISBN: 3540667520 ISBN-13(EAN): 9783540667520
Издательство: Springer
Цена: 8082 р.
Наличие на складе: Нет в наличии.
Описание: Burgisser, a top expert on algebraic complexity theory, has written a monograph on current research in this field. This book gives new results in the theory of NP-completeness. It is written for mathematicians and computer scientists on both research and graduate level.
Купить

Model Theory and Algebraic Geometry

Автор: Bouscaren
Название: Model Theory and Algebraic Geometry
ISBN: 3540648631 ISBN-13(EAN): 9783540648635
Издательство: Springer
Цена: 3462 р.
Наличие на складе: Нет в наличии.
Описание: This introduction to the recent exciting developments in the applications of model theory to algebraic geometry, illustrated by E. Hrushovski's model-theoretic proof of the geometric Mordell-Lang Conjecture starts from very basic background and works up to the detailed exposition of Hrushovski's proof, explaining the necessary tools and results from stability theory on the way. The first chapter is an informal introduction to model theory itself, making the book accessible (with a little effort) to readers with no previous knowledge of model theory.

The authors have collaborated closely to achieve a coherent and self- contained presentation, whereby the completeness of exposition of the chapters varies according to the existence of other good references, but comments and examples are always provided to give the reader some intuitive understanding of the subject.

Купить

Algebraic Complexity Theory

Автор: B?rgisser
Название: Algebraic Complexity Theory
ISBN: 3540605827 ISBN-13(EAN): 9783540605829
Издательство: Springer
Цена: 9237 р.
Наличие на складе: Нет в наличии.
Описание: Assuming a basic understanding of algebra, this text includes 350 exercises divided into 21 chapters. It aims to enable the reader to quickly familiarize themselves with the topic.
Купить

Quantum cellular automata: theory, experimentation and prospects

Название: Quantum cellular automata: theory, experimentation and prospects
ISBN: 1860946321 ISBN-13(EAN): 9781860946325
Издательство: World Scientific Publishing
Цена: 3784 р.
Наличие на складе: Поставка под заказ.
Купить

Automata Theory with Modern Applications

Автор: James A. Anderson
Название: Automata Theory with Modern Applications
ISBN: 0521848873 ISBN-13(EAN): 9780521848879
Издательство: Cambridge Academ
Цена: 5785 р.
Наличие на складе: Поставка под заказ.
Описание: Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductory book to cover such applications. It begins with a clear and readily understood exposition of the fundamentals that assumes only a background in discrete mathematics. The first five chapters give a gentle but rigorous coverage of basic ideas as well as topics not found in other texts at this level, including codes, retracts and semiretracts. Chapter 6 introduces combinatorics on words and uses it to describe a visually inspired approach to languages. The final chapter explains recently-developed language theory coming from developments in bioscience and DNA computing. With over 350 exercises (for which solutions are available), many examples and illustrations, this text will make an ideal contemporary introduction for students; others, new to the field, will welcome it for self-learning.
Купить

Automata Theory with Modern Applications

Автор: James A. Anderson
Название: Automata Theory with Modern Applications
ISBN: 0521613248 ISBN-13(EAN): 9780521613248
Издательство: Cambridge Academ
Цена: 2541 р.
Наличие на складе: Поставка под заказ.
Описание: Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductory book to cover such applications. It begins with a clear and readily understood exposition of the fundamentals that assumes only a background in discrete mathematics. The first five chapters give a gentle but rigorous coverage of basic ideas as well as topics not found in other texts at this level, including codes, retracts and semiretracts. Chapter 6 introduces combinatorics on words and uses it to describe a visually inspired approach to languages. The final chapter explains recently-developed language theory coming from developments in bioscience and DNA computing. With over 350 exercises (for which solutions are available), many examples and illustrations, this text will make an ideal contemporary introduction for students; others, new to the field, will welcome it for self-learning.
Купить

Topological and Algebraic Structures in Fuzzy Sets / A Handbook of Recent Developments in the Mathematics of Fuzzy Sets

Автор: Rodabaugh S.E., Klement E.P
Название: Topological and Algebraic Structures in Fuzzy Sets / A Handbook of Recent Developments in the Mathematics of Fuzzy Sets
ISBN: 1402015151 ISBN-13(EAN): 9781402015151
Издательство: Springer
Цена: 12317 р.
Наличие на складе: Нет в наличии.
Описание: Topological and Algebraic Structures in Fuzzy Sets has these unique features: -strategically located at the juncture of fuzzy sets, topology, algebra, lattices, foundations of mathematics; -major studies in uniformities and convergence structures, fundamental examples in lattice-valued topology, modifications and extensions of sobriety, categorical aspects of lattice-valued subsets, logic and foundations of mathematics, t-norms and associated algebraic and ordered structures; -internationally recognized authorities clarify deep mathematical aspects of fuzzy sets, particularly those topological or algebraic in nature; -comprehensive bibliographies and tutorial nature of longer chapters take readers to the frontier of each topic; -extensively referenced introduction unifies volume and guides readers to chapters closest to their interests; -annotated open questions direct future research in the mathematics of fuzzy sets; -suitable as a text for advanced graduate students.
Купить

Computational Methods for Algebraic Spline Surfaces / ESF Exploratory Workshop

Автор: Dokken Tor, JГјttler Bert
Название: Computational Methods for Algebraic Spline Surfaces / ESF Exploratory Workshop
ISBN: 3540232745 ISBN-13(EAN): 9783540232742
Издательство: Springer
Цена: 7158 р.
Наличие на складе: Нет в наличии.
Описание: The papers included in this volume provide an overview of the state of the art in approximative implicitization and various related topics, including both the theoretical basis and the existing computational techniques. The novel idea of approximate implicitization has strengthened the existing link between Computer Aided Geometric Design and classical algebraic geometry. There is a growing interest from researchers and professionals both in CAGD and Algebraic Geometry, to meet and combine knowledge and ideas, with the aim to improve the solving of  industrial-type challenges, as well as to initiate new directions for basic research. This volume will support this exchange of ideas between the various communities.
Купить

Recent Trends in Algebraic Development Techniques / 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers

Автор: Cerioli Maura, Reggio Gianna
Название: Recent Trends in Algebraic Development Techniques / 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers
ISBN: 3540431594 ISBN-13(EAN): 9783540431596
Издательство: Springer
Цена: 3696 р.
Наличие на складе: Нет в наличии.
Описание: This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001.The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems.
Купить

Algebraic Foundations of Many-Valued Reasoning

Автор: Cignoli
Название: Algebraic Foundations of Many-Valued Reasoning
ISBN: 0792360095 ISBN-13(EAN): 9780792360094
Издательство: Springer
Цена: 7312 р.
Наличие на складе: Нет в наличии.
Описание: States and proves various theorems of many-valued propositional logic. This text provides developments and trends, including applications to adaptive error-correcting binary search. It contains material, such as a simple proof of completeness theorem and of the equivalence between Chang`s MV algebras and Abelian lattice-ordered groups with unit.
Купить

Universal Algebraic Logic

Автор: Hajnal Andr?ka; Istv?n N?meti; Ildik? Sain
Название: Universal Algebraic Logic
ISBN: 3764385057 ISBN-13(EAN): 9783764385057
Издательство: Springer
Цена: 4617 р.
Наличие на складе: Нет в наличии.
Купить

Foundations of Algebraic Specification and Formal Software Development

Автор: Sannella
Название: Foundations of Algebraic Specification and Formal Software Development
ISBN: 3642173357 ISBN-13(EAN): 9783642173356
Издательство: Springer
Цена: 6157 р.
Наличие на складе: Нет в наличии.
Описание: This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical toolbox provides a convenient language for precisely formulating the concepts involved in software specification and development. Once formally defined, these notions become subject to mathematical investigation, and this interplay between mathematics and software engineering yields results that are mathematically interesting, conceptually revealing, and practically useful. The theory presented by the authors has its origins in work on algebraic specifications that started in the early 1970s, and their treatment is comprehensive. This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal specification and development; and proof methods. While the book is self-contained, mathematical maturity and familiarity with the problems of software engineering is required; and in the examples that directly relate to programming, the authors assume acquaintance with the concepts of functional programming. The book will be of value to researchers and advanced graduate students in the areas of programming and theoretical computer science.
Купить


 
ООО "Логосфера " Тел:(495) 748-51-16 Факс: (495) 689-73-83 доб.116 www.logobook.ru
Visa, Master Card, Diners, AMEX, JCB, Web Money, Yandex Money Сбербанк онлайн | | | | | | | | | | - - - - - - - - - - - - - - - - - - - -