Контакты/Адрес/Проезд   Доставка и Оплата
История
  +7(495) 980-12-10
  10:00-18:00 пн-сб
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Специальные предложения | Бестселлеры
 
Читайте отзывы покупателей и оценивайте качество магазина на Яндекс.Маркете
Информация
Online Каталоги
Каталог учебной литературы
по английскому языку >>>

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


Automata Theory and its Applications, Khoussainov Bakhadyr, Nerode Anil


Варианты приобретения
Цена: 7008р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Англия: 989 шт.  Склад Америка: 137 шт.  
При оформлении заказа до: 25 окт 2019
Ориентировочная дата поставки: конец Ноября

Добавить в корзину
в Мои желания
Автор: Khoussainov Bakhadyr, Nerode Anil
Название:  Automata Theory and its Applications
Издательство: Springer
Классификация:
Основы математики
Общая теория обработки данных
Математическая теория вычисления
Алгоритмы и процедуры
Языки программирования

ISBN: 0817642072
ISBN-13(EAN): 9780817642075
ISBN: 0-8176-4207-2
ISBN-13(EAN): 978-0-8176-4207-5
Обложка/Формат: Hardback
Страницы: 430
Вес: 0.807 кг.
Дата издания: 2001
Серия: Progress in Computer Science and Applied Logic (PCS)
Язык: ENG
Иллюстрации: 111 black & white illustrations, 2 black & white tables
Размер: 24.18 x 16.21 x 2.51 cm
Читательская аудитория: Undergraduate
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Automata Theory and its Applications is a uniform treatment of the theory of finite state machines on finite and infinite strings and trees. Many books deal with automata on finite strings, but there are very few expositions that prove the fundamental results of automata on infinite strings and trees. These results have important applications to modeling parallel computation and concurrency, the specification and verification of sequential and concurrent programs, databases, operating systems, computational complexity, and decision methods in logic and algebra. Thus, this textbook  fills an important gap in the literature by exposing early fundamental results in automata theory and its applications.The book is self-contained with numerous examples, illustrations, exercises, and is suitable for a two-semester undergraduate course for computer science or mathematics majors, or for a one-semester graduate course/seminar. Since no advanced mathematical background is required, the text is also useful for self-study by computer science professionals who wish to understand the foundations of modern formal approaches to software development, validation, and verification.
Дополнительное описание: Формат: 235x155
Илюстрации: 111
Круг читателей: Undergraduate and graduate students in computer science and mathematicsComputer scientists
Ключевые слова: applications of computer Science
computational complexity
formal languages
mathematics Logic
Язык: eng
Оглавление: Preface1. Basic Notions2. Finite Automata3. BГјchi Automata4. Games Played on Finite Graphs5. Rabin Automata6. Applications of Rabin AutomataBibliographyIndex





Cellular Automata / 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002, Proceedings

Автор: Bandini Stefania, Chopard Bastien, Tomassini Marco
Название: Cellular Automata / 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002, Proceedings
ISBN: 3540443045 ISBN-13(EAN): 9783540443049
Издательство: Springer
Рейтинг:
Цена: 7479 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, held in Geneva, Switzerland in October 2002.The 31 revised full papers presented together with 3 invited paper were carefully reviewed and selected from around 50 submissions. The topics covered range from theoretical issues to applications in various fields, including lattice gases, pattern recognition, cryptography, and authentication. Less known models receive attention as well, such as probabilistic, asynchronous, and multi-level automata. Among novel applications and models are highway traffic, population and growth dynamics, environmental applications, and collective intelligence.

Concurrency Theory / Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

Автор: Bowman Howard, Gomez Rodolfo
Название: Concurrency Theory / Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
ISBN: 1852338954 ISBN-13(EAN): 9781852338954
Издательство: Springer
Рейтинг:
Цена: 13557 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP.This book represents a comprehensive pass through the spectrum of concurrency theory research: From untimed to timed syntax and semantics and process calculi to automata. Researchers and practitioners in the field of concurrency theory, as well as MSc and PhD students, will find the comprehensive coverage in this book essential reading.

Second course in formal languages and automata theory

Автор: Shallit, Jeffrey
Название: Second course in formal languages and automata theory
ISBN: 0521865727 ISBN-13(EAN): 9780521865722
Издательство: Cambridge Academ
Рейтинг:
Цена: 4787 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Written for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free languages, parsing and recognition, Turing machines, and other language classes. Many topics often absent from other textbooks, such as repetitions in words, state complexity, the interchange lemma, 2DPDAs, and the incompressibility method, are covered here. The author places particular emphasis on the resources needed to represent certain languages. The book also includes a diverse collection of more than 200 exercises, suggestions for term projects, and research problems that remain open.

Theoretical Computer Science / Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography

Автор: Hromkovic Juraj
Название: Theoretical Computer Science / Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
ISBN: 3540140158 ISBN-13(EAN): 9783540140153
Издательство: Springer
Рейтинг:
Цена: 8414 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The aim of this textbook is not only to provide an elegant route through the theoretical fundamentals of computer science, but also to show that theoretical computer science is a fascinating discipline, full of spectacular contributions and miracles, and depth in research, and yet directly applicable. Thus, we aim to excite people about its study. To achieve these goals we do not hesitate to take a lot of space to present motivations, and especially to give the informal development of crucial ideas and concepts and their transparent, but rigorous presentation. An additional aim is to present the development of the computer scientist's way of thinking, so we do not restrict this book to the classic areas like computability and automata theory but we also present fundamental concepts such as approximation and randomization in algorithmics and we explain the basic ideas of cryptography and interconnection network design.

Implementation and Application of Automata / 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers

Автор: FarrГ© Jacques, Litovsky Igor, Schmitz Sylvain
Название: Implementation and Application of Automata / 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
ISBN: 3540310231 ISBN-13(EAN): 9783540310235
Издательство: Springer
Рейтинг:
Цена: 7012 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Implementation and Application of Automata, CIAA 2005, held in Sophia Antipolis, France, in June 2005.The 26 revised full papers and 8 revised poster papers presented together with 2 invited contributions were selected from 87 submissions and have gone through two rounds of reviewing and improvement. The topics covered show applications of automata in many fields, including mathematics, linguistics, networks, XML processing, biology and music.

A Course in Formal Languages, Automata and Groups

Автор: Ian Chiswell
Название: A Course in Formal Languages, Automata and Groups
ISBN: 1848009399 ISBN-13(EAN): 9781848009394
Издательство: Springer
Рейтинг:
Цена: 5142 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The study of formal languages and automata has proved to be a source of much interest and discussion amongst mathematicians. This book presents introduction into the connections between group theory and formal languages. It is suitable for undergraduate and postgraduate mathematicians with an interest in this field.

Implementation and Application of Automata / 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings

Автор: Ibarra Oscar H., Dang Zhe
Название: Implementation and Application of Automata / 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings
ISBN: 3540405615 ISBN-13(EAN): 9783540405610
Издательство: Springer
Рейтинг:
Цена: 7479 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other disciplines. In addition, there is a growing number of software systems designed to manipulate automata, regular expressions, grammars, and related structures.This volume contains 24 regular papers from the 8th International Conference on Implementation and Application of Automata (CIAA 2003) held in Santa Barbara, CA, USA, in July 2003 covering various topics in the theory, implementation, and application of automata and related structures. It also includes the abstracts of two invited lectures as well as the abstracts of the poster papers displayed during the conference.

Formal Models of Communicating Systems / Languages, Automata, and Monadic Second-Order Logic

Автор: Bollig Benedikt
Название: Formal Models of Communicating Systems / Languages, Automata, and Monadic Second-Order Logic
ISBN: 3540329226 ISBN-13(EAN): 9783540329220
Издательство: Springer
Цена: 5605 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows us to characterize many popular models of distributed computation in terms of the existential fragment of monadic second-order logic. In particular, the book covers finite automata, asynchronous (cellular) automata, communicating finite-state machines, and lossy channel systems. Model behavior is described using graphs and partial orders, leading to the notions of Mazurkiewicz traces, message sequence charts, and live sequence charts. This book is suitable for senior undergraduate and graduate courses on advanced automata theory, concurrency and communication issues. It can also be used as a reference by researchers concerned with the formal modeling of concurrent systems. Some knowledge of automata theory is a prerequisite. Numerous exercises, chapter summaries, and suggested reading allow for self-study, while the book is supported with a website containing course material and solutions.

Automata, Languages and Programming

Автор: Bugliesi
Название: Automata, Languages and Programming
ISBN: 3540359079 ISBN-13(EAN): 9783540359074
Издательство: Springer
Рейтинг:
Цена: 10752 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The two volume set "LNCS 4051" and "LNCS 4052" constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, held in Venice, Italy, in July 2006. The first volume ("LNCS 4051") presents 61 revised full papers together with 1 invited lecture that were carefully reviewed and selected from 230 submissions. Those papers have a special focus on algorithms, automata, complexity and games and are organized in topical sections on graph theory, quantum computing, randomness, formal languages, approximation algorithms, graph algorithms, algorithms, complexity, data structures and linear algebra, graphs, game theory, networks, circuits and regular expressions, fixed parameter complexity and approximation algorithms.

The second volume ("LNCS 4052") comprises 2 invited papers and 2 other conference tracks with 24 papers each - rigorously selected from 96 and 81 submissions - focusing on algorithms, automata, complexity and games as well as on security and cryptography foundation respectively. The papers are organized in topical sections on zero-knowledge and signatures, cryptographic protocols, secrecy and protocol analysis, cryptographic promitives, bounded storage and quantum models, foundations, multi-party protocols, games, semantics, automata, models, equations, and logics.

Implementation and Application of Automata / 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers

Автор: Champarnaud Jean-Marc, Maurel Denis
Название: Implementation and Application of Automata / 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers
ISBN: 3540403914 ISBN-13(EAN): 9783540403913
Издательство: Springer
Рейтинг:
Цена: 7012 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on Implementation and Application of Automata, CIAA 2002, held in Tours, France, in July 2002. The 28 revised full papers presented together with an invited paper and 4 short papers were carefully selected during two rounds of reviewing and revision. The topics addressed range from theoretical and methodological issues to automata applications in software engineering, natural language processing, speech recognition, and image processing, to new representations and algorithms for efficient implementation of automata and related structures.

Automata and Computability

Автор: Kozen
Название: Automata and Computability
ISBN: 0387949070 ISBN-13(EAN): 9780387949079
Издательство: Springer
Рейтинг:
Цена: 5886 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Aims to provide undergraduate students with an introduction to the basic theoretical models of computability, and to develop some of the model`s rich and varied structure.

Bayesian Theory and Methods with Applications

Автор: Savchuk
Название: Bayesian Theory and Methods with Applications
ISBN: 9491216139 ISBN-13(EAN): 9789491216138
Издательство: Springer
Рейтинг:
Цена: 5605 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Bayesian methods are growing more and more popular, finding new practical applications in the fields of health sciences, engineering, environmental sciences, business and economics and social sciences, among others. This book explores the use of Bayesian analysis in the statistical estimation of the unknown phenomenon of interest. The contents demonstrate that where such methods are applicable, they offer the best possible estimate of the unknown. Beyond presenting Bayesian theory and methods of analysis, the text is illustrated with a variety of applications to real world problems.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте  Мобильная версия