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

Automata Theory and its Applications, Khoussainov Bakhadyr, Nerode Anil



Варианты приобретения
Цена: 11130р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Англия: 370 шт.  Склад Америка: 137 шт.  
При оформлении заказа до: 27 май 2022
Ориентировочная дата поставки: Июнь

Заказ пока невозможен
в Мои желания

Автор: Khoussainov Bakhadyr, Nerode Anil
Название:  Automata Theory and its Applications
ISBN: 9780817642075
Издательство: Springer
Классификация:
ISBN-10: 0817642072
Обложка/Формат: Hardback
Страницы: 430
Вес: 0.807 кг.
Дата издания: 2001
Серия: Progress in Computer Science and Applied Logic (PCS)
Язык: English
Иллюстрации: 111 black & white illustrations, 2 black & white tables
Размер: 24.18 x 16.21 x 2.51
Читательская аудитория: Undergraduate
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Дополнительное описание: Формат: 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





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
Рейтинг:
Цена: 21531 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

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
Рейтинг:
Цена: 13364 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

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
Рейтинг:
Цена: 9941 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

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
Рейтинг:
Цена: 11136 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 8166 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 11879 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Цена: 8903 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

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
Рейтинг:
Цена: 11879 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

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
Рейтинг:
Цена: 11136 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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, Languages and Programming

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

Описание: 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 / 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings

Автор: Ibarra Oscar H., Yen Hsu-Chun
Название: Implementation and Application of Automata / 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
ISBN: 354037213X ISBN-13(EAN): 9783540372134
Издательство: Springer
Рейтинг:
Цена: 9948 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of Automata, CIAA 2006, held in Taipei, Taiwan, in August 2006.The 22 revised full papers and 7 revised poster papers presented together with the extended abstracts of 3 invited lectures were carefully reviewed and selected from 76 submissions. The papers cover various topics in the theory, implementation, and applications of automata and related structures.

Bayesian Theory and Methods with Applications

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

Описание: 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
   В Контакте     В Контакте Мед  Мобильная версия