Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenh?ngende Automaten, W. Kn?del; Hans Juergen Schneider
Автор: Frank Drewes; Carlos Mart?n-Vide; Bianca Truthe Название: Language and Automata Theory and Applications ISBN: 3319537326 ISBN-13(EAN): 9783319537320 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umea, Sweden, in March 2017. The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions.
Автор: Tibor Grasser; Siegfried Selberherr Название: Simulation of Semiconductor Processes and Devices 2007 ISBN: 3709119111 ISBN-13(EAN): 9783709119112 Издательство: Springer Рейтинг: Цена: 25853.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of the 12th International Conference on Simulation of Semiconductor Processes and Devices, SISPAD 2007, held September 2007 in Vienna, Austria.
Описание: This book gathers 14 of the most promising papers presented at the 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2017), which was held on June 26-28, 2017 in Kanazawa, Japan.
Автор: Cl?ment Gosselin; Philippe Cardou; Tobias Bruckman Название: Cable-Driven Parallel Robots ISBN: 3319614304 ISBN-13(EAN): 9783319614304 Издательство: Springer Рейтинг: Цена: 32142.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents proceedings of the third international conference in this field, continuing the success of the previous events. The peer-reviewed and the selected papers are arranged to make the proposed book the most recent and complete overview on the State-of-the-Art in Cable-Driven Parallel Robots! The conference took place 2017 in Quebec, QC, Canada,
Автор: Renate A. Schmidt; Cl?udia Nalon Название: Automated Reasoning with Analytic Tableaux and Related Methods ISBN: 331966901X ISBN-13(EAN): 9783319669014 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017.
Автор: Youssef Hamadi; Lakhdar Sais Название: Handbook of Parallel Constraint Reasoning ISBN: 3319635158 ISBN-13(EAN): 9783319635156 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The goal in this book is to overview these achievements in a concise way, assuming the reader is familiar with the classical, sequential background. It presents work demonstrating the use of multiple resources from single machine multi-core and GPU-based computations to very large scale distributed execution platforms up to 80,000 processing units.
The contributions in the book cover the most important and recent contributions in parallel propositional satisfiability (SAT), maximum satisfiability (MaxSAT), quantified Boolean formulas (QBF), satisfiability modulo theory (SMT), theorem proving (TP), answer set programming (ASP), mixed integer linear programming (MILP), constraint programming (CP), stochastic local search (SLS), optimal path finding with A*, model checking for linear-time temporal logic (MC/LTL), binary decision diagrams (BDD), and model-based diagnosis (MBD).
The book is suitable for researchers, graduate students, advanced undergraduates, and practitioners who wish to learn about the state of the art in parallel constraint reasoning.
Автор: Fatos Xhafa; Santi Caball?; Leonard Barolli Название: Advances on P2P, Parallel, Grid, Cloud and Internet Computing ISBN: 3319698346 ISBN-13(EAN): 9783319698342 Издательство: Springer Рейтинг: Цена: 41925.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Adrian-Horia Dediu; Carlos Mart?n-Vide; Jos?-Luis Название: Language and Automata Theory and Applications ISBN: 3319049208 ISBN-13(EAN): 9783319049205 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 13416.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Javier Esparza; Pierre Fraigniaud; Thore Husfeldt; Название: Automata, Languages, and Programming ISBN: 3662439476 ISBN-13(EAN): 9783662439470 Издательство: Springer Рейтинг: Цена: 13416.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Markus Holzer; Martin Kutrib Название: Implementation and Application of Automata ISBN: 3319088459 ISBN-13(EAN): 9783319088457 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Автор: Massimo Cossentino; Vincent Hilaire; Ambra Molesin Название: Handbook on Agent-Oriented Design Processes ISBN: 3642399746 ISBN-13(EAN): 9783642399749 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The first comprehensive guide to the 13 most important agent-oriented software design processes uses standard formatting to enable a comparative assessment, and includes descriptions by their original creators as well as details on the OpenUP design process.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
