Logic Synthesis for Control Automata, Samary Baranov

Автор: Samary Baranov
Название: Logic Synthesis for Control Automata
ISBN: 1461361583 ISBN-13(EAN): 9781461361589
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Steeb Willi-Hans
Название: Nonlinear workbook, the: chaos, fractals, cellular automata, neural networks, genetic algorithms, gene expression programming, support vector machine, wavelets, hidden markov models fuzzy logic with c++, java and symbolicc++ programs (3rd edition)
ISBN: 9812562788 ISBN-13(EAN): 9789812562784
Издательство: World Scientific Publishing
Цена: 8237.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.

Автор: GrГ¤del Erich, Thomas Wolfgang, Wilke Thomas
Название: Automata, Logics, and Infinite Games / A Guide to Current Research
ISBN: 3540003886 ISBN-13(EAN): 9783540003885
Издательство: Springer
Рейтинг:
Цена: 9776.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems.For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games.The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises.

Автор: V. G. Lazarev
Название: Synthesis of Digital Automata / Problemy Sinteza Tsifrovykh Avtomatov / ???????? ??????? ???????? ?????????
ISBN: 1468490354 ISBN-13(EAN): 9781468490350
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Steeb Willi-Hans
Название: Nonlinear Workbook, The: Chaos, Fractals, Cellular Automata, Genetic Algorithms, Gene Expression Programming, Support Vector Machine, Wavelets, Hidden Markov Models, Fuzzy Logic With C++, Java And Symbolicc++ Programs (5Th Edition)
ISBN: 9814335770 ISBN-13(EAN): 9789814335775
Издательство: World Scientific Publishing
Рейтинг:
Цена: 17899.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Howard Straubing
Название: Finite Automata, Formal Logic, and Circuit Complexity
ISBN: 1461266955 ISBN-13(EAN): 9781461266952
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Steeb Willi-Hans
Название: Nonlinear Workbook, The: Chaos, Fractals, Cellular Automata, Genetic Algorithms, Gene Expression Programming, Support Vector Machine, Wavelets, Hidden Markov Models, Fuzzy Logic With C++, Java And Symbolicc++ Programs (6Th Edition)
ISBN: 9814583464 ISBN-13(EAN): 9789814583466
Издательство: World Scientific Publishing
Цена: 14414.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

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.

Автор: Paul Rosin; Andrew Adamatzky; Xianfang Sun
Название: Cellular Automata in Image Processing and Geometry
ISBN: 3319064304 ISBN-13(EAN): 9783319064307
Издательство: Springer
Рейтинг:
Цена: 20896.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book presents findings, views and ideas on what exact problems of image processing, pattern recognition and generation can be efficiently solved by cellular automata architectures.

Автор: Kozen, Dexter
Название: Automata and computability
ISBN: 1461273099 ISBN-13(EAN): 9781461273097
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course. Plenty of exercises are provided, ranging from the easy to the challenging.