Automata, Languages and Programming, Lars Arge; Christian Cachin; Tomasz Jurdzinski
Автор: Susanne Albers; Alberto Marchetti-Spaccamela; Yoss Название: Automata, Languages and Programming ISBN: 3642029299 ISBN-13(EAN): 9783642029295 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 36th International Colloquium ICALP 2009 Rhodes Greece July 512 2009 Proceedings Part II. .
Автор: Susanne Albers; Alberto Marchetti-Spaccamela; Yoss Название: Automata, Languages and Programming ISBN: 3642029264 ISBN-13(EAN): 9783642029264 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 36th International Colloquium ICALP 2009 Rhodes Greece July 512 2009 Proceedings Part I. .
Автор: Samson Abramsky; Cyril Gavoille; Claude Kirchner; Название: Automata, Languages and Programming ISBN: 3642141641 ISBN-13(EAN): 9783642141645 Издательство: Springer Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The study of nonlinear dynamical systems has advanced tremendously in the last 20 years, making a big impact on science and technology. This book provides all the techniques and methods used in nonlinear dynamics. The concepts and underlying mathematics are discussed in detail. The numerical and symbolic methods are implemented in C++, SymbolicC++ and Java. Object-oriented techniques are also applied. The book contains more than 150 ready-to-run programs. The text has also been designed for a one-year course at both the junior and senior levels in nonlinear dynamics. The topics discussed in the book are part of e-learning and distance learning courses conducted by the International School for Scientific Computing.
Автор: Luca Aceto; Ivan Damgaard; Leslie Ann Goldberg; Ma Название: Automata, Languages and Programming ISBN: 3540705740 ISBN-13(EAN): 9783540705741 Издательство: Springer Рейтинг: Цена: 20263.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. This work is grouped in three tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations.
The Nonlinear Workbook provides a comprehensive treatment of all the techniques in nonlinear dynamics together with C]+, Java and SymbolicC++ implementations. The book not only covers the theoretical aspects of the topics but also provides the practical tools. To understand the material, more than 100 worked out examples and 160 ready to run programs are included. Each chapter provides a collection of interesting problems. New topics added to the 6th edition are Swarm Intelligence, Quantum Cellular Automata, Hidden Markov Model and DNA, Birkhoff's ergodic theorem and chaotic maps, Banach fixed point theorem and applications, tau-wavelets of Haar, Boolean derivatives and applications, and Cartan forms and Lagrangian.
Описание: Provides a comprehensive treatment of all the techniques in nonlinear dynamics together with C++, Java and SymbolicC++ implementations. This book not only covers the theoretical aspects of the topics but also provides the practical tools. To understand the material, it includes more than 100 worked out examples and 150 ready to run programs.
The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as that initiated by J.R. Buchi) or between combinatorics on words and number theory has paved the way to recent dramatic developments, for example, the transcendence results for the real numbers having a "simple" binary expansion, by B. Adamczewski and Y. Bugeaud.
This book is at the heart of this interplay through a unified exposition. Objects are considered with a perspective that comes both from theoretical computer science and mathematics. Theoretical computer science offers here topics such as decision problems and recognizability issues, whereas mathematics offers concepts such as discrete dynamical systems.
The main goal is to give a quick access, for students and researchers in mathematics or computer science, to actual research topics at the intersection between automata and formal language theory, number theory and combinatorics on words.
The second of two volumes on this subject, this book covers regular languages, numeration systems, formal methods applied to decidability issues about infinite words and sets of numbers.
Автор: Holt, Derek F. Rees, Sarah Rover, Claas E. Название: Groups, languages and automata ISBN: 1107152356 ISBN-13(EAN): 9781107152359 Издательство: Cambridge Academ Рейтинг: Цена: 17424.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many connections exist between group theory and automata theory, and a wide variety of them are discussed in this text. Any necessary background material is provided, and connections are explored along a number of strands that lead to the forefront of current research in geometric group theory.
Описание: Consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics. This book covers the areas such as automata and grammars, languages and codes, and logics and trees.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
