Implementation and Application of Automata, Arnaud Carayol; Cyril Nicaud
Автор: Han Название: Implementation and Application of Automata ISBN: 331940945X ISBN-13(EAN): 9783319409450 Издательство: Springer Рейтинг: Цена: 52170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016. The 26 revised full papers presented were carefully reviewed and selected from49 submissions.
Автор: Markus Holzer; Martin Kutrib Название: Implementation and Application of Automata ISBN: 3319088459 ISBN-13(EAN): 9783319088457 Издательство: Springer Рейтинг: Цена: 52170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
FPsolve: A Generic Solver for Fixpoint Equations over Semirings.- Restarting Automata for Picture Languages: A Survey on Recent Developments.- Investigations on Automata and Languages over a Unary Alphabet.- Cellular Automata for Crowd Dynamics.- Counting Equivalent Linear Finite Transducers Using a Canonical Form.- On the Power of One-Way Automata with Quantum and Classical States.- On Comparing Deterministic Finite Automata and the Shuffle of Words.- Minimal Partial Languages and Automata.- Large Aperiodic Semigroups.- On the Square of Regular Languages.- Unary Languages Recognized by Two-Way One-Counter Automata.- A Type System for Weighted Automata and Rational Expressions.- Bounded Prefix-Suffix Duplication.- Recognition of Labeled Multidigraphs by Spanning Tree Automata.- Reset Thresholds of Automata with Two Cycle Lengths.- On the Ambiguity, Finite-Valuedness, and Lossiness Problems in Acceptors and Transducers.- Kleene Closure on Regular and Prefix-Free Languages.- Left is Better than Right for Reducing Nondeterminism of NFAs.- Analytic Functions Computable by Finite State Transducers.- Partial Derivative and Position Bisimilarity Automata.- The Power of Regularity-Preserving Multi Bottom-up Tree Transducers.- Pushdown Machines for Weighted Context-Free Tree Translation.- Weighted Variable Automata over Infinite Alphabets.- Implications of Quantum Automata for Contextuality.- Pairwise Rational Kernels Obtained by Automaton Operations.
Автор: Frank Drewes Название: Implementation and Application of Automata ISBN: 3319223593 ISBN-13(EAN): 9783319223599 Издательство: Springer Рейтинг: Цена: 52170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Ume , Sweden, in August 2015. The 22 revised full papers presented together with 4 invited papers and 2 toool demonstration papers were carefully reviewed and selected from 49 submissions. The papers cover all aspects of cover automata, counter automata, decision algorithms on automata, descriptional complexity, expressive power of automata, homing sequences, jumping finite automata, multi-dimensional languages, parsing and pattern matching, quantum automata, realtime pushdown automata, random generation of automata, regular expressions, security issues, sensors in automata, transducers, transformation of automata, and weighted automata.
Автор: Sheng Yu; Andrei Paun Название: Implementation and Application of Automata ISBN: 3540424911 ISBN-13(EAN): 9783540424918 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The topics addressed in this title form theoretical as well as application-oriented viewpoints and range from automata applications in software engineering and image processing to new representations and algorithms for efficient implementation of automata and related structures.
Автор: Stavros Konstantinidis Название: Implementation and Application of Automata ISBN: 3642392733 ISBN-13(EAN): 9783642392733 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The papers cover various topics such as complexity of automata;
Автор: Adrian-Horia Dediu; Carlos Mart?n-Vide; Jos?-Luis Название: Language and Automata Theory and Applications ISBN: 3319049208 ISBN-13(EAN): 9783319049205 Издательство: Springer Рейтинг: Цена: 97820.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 8th International Conference on Language and Automata Theory and Applications, LATA 2014, held in Madrid, Spain in March 2014.The 45 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 116 submissions. trees, tree languages and tree automata;
Автор: Javier Esparza; Pierre Fraigniaud; Thore Husfeldt; Название: Automata, Languages, and Programming ISBN: 3662439506 ISBN-13(EAN): 9783662439500 Издательство: Springer Рейтинг: Цена: 89440.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014.
Автор: M.A.L. Thathachar; P.S. Sastry Название: Networks of Learning Automata ISBN: 1461347750 ISBN-13(EAN): 9781461347750 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Networks of Learning Automata: Techniques for Online Stochastic Optimization is a comprehensive account of learning automata models with emphasis on multiautomata systems. It considers synthesis of complex learning structures from simple building blocks and uses stochastic algorithms for refining probabilities of selecting actions.
Introduction.- QCA Terminology.- Design of Basic Digital Circuits in QCA.- Design of Ripple Carry and Prefix Adders in QCA.- Design of A Hybrid Adder in QCA.- Design of a Multiplier in QCA.- Discrete Hadamard Transform Computation in QCA.- Study of Thermal Robustness of QCA Designs.- The Road Ahead.- A Tutorial on Qcadesigner.
Автор: Javier Esparza; Pierre Fraigniaud; Thore Husfeldt; Название: Automata, Languages, and Programming ISBN: 3662439476 ISBN-13(EAN): 9783662439470 Издательство: Springer Рейтинг: Цена: 89440.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014.
Автор: Jaroslaw Was; Georgios Sirakoulis; Stefania Bandin Название: Cellular Automata ISBN: 3319115197 ISBN-13(EAN): 9783319115191 Издательство: Springer Рейтинг: Цена: 81990.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, held in Krakow, Poland, in September 2014. The volume also contains contributions from ACRI 2014 workshops on crowds and cellular automata;
Автор: Adrian-Horia Dediu; Enrico Formenti; Carlos Mart?n Название: Language and Automata Theory and Applications ISBN: 3319155784 ISBN-13(EAN): 9783319155784 Издательство: Springer Рейтинг: Цена: 81990.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held in Nice, France in March 2015. algorithms for semi-structured data mining, algorithms on automata and words; trees, tree languages and tree automata;
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
