Автор: Gabriele Puppis Название: Automata for Branching and Layered Temporal Structures ISBN: 3642118801 ISBN-13(EAN): 9783642118807 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a fresh method for deciding Monadic Second Order theories of trees.
Автор: Luca de Alfaro Название: Foundations of Software Science and Computational Structures ISBN: 3642005950 ISBN-13(EAN): 9783642005954 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains topics that include semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics.
Автор: Maria Augusta Neto; Ana Amaro; Luis Roseiro; Jos? Название: Engineering Computation of Structures: The Finite Element Method ISBN: 3319177095 ISBN-13(EAN): 9783319177090 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Engineering Computation of Structures: The Finite Element Method
Автор: Madalina Croitoru; Sebastian Rudolph; Stefan Woltr Название: Graph Structures for Knowledge Representation and Reasoning ISBN: 3319045334 ISBN-13(EAN): 9783319045337 Издательство: Springer Рейтинг: Цена: 8803.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2013, held in Beijing, China, in August 2013, associated with IJCAI 2013, the 23rd International Joint Conference on Artificial Intelligence.
Автор: Peter Eklund; Ollivier Haemmerl? Название: Conceptual Structures: Knowledge Visualization and Reasoning ISBN: 3540705953 ISBN-13(EAN): 9783540705956 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. This book includes papers that present Conceptual Structure approaches that build on techniques derived from artificial intelligence, knowledge representation, and computational linguistics.
Автор: Javier Esparza; Andrzej S. Murawski Название: Foundations of Software Science and Computation Structures ISBN: 3662544571 ISBN-13(EAN): 9783662544570 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Coherence Spaces and Higher-Order Computation.- Coherence Spaces and Uniform Continuity.- The Free Exponential Modality of Probabilistic Coherence Spaces.- From Qualitative to Quantitative Semantics by Change of Base.- Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence.-Algebra and Coalgebra.- Algebra, coalgebra, and minimization in polynomial differential equations.- Equational Theories of Abnormal Termination Based on Kleene Algebra.- Companions, Codensity and Causality.- Nominal Automata with Name Binding.- Games and Automata.- On the existence of weak subgame perfect equilibria.- Optimal Reachability in Divergent Weighted Timed Games.- Bounding Average-energy Games.- Logics of repeating values on data trees and branching counter systems.- Automata, Logic and Formal Languages.- Degree of sequentiality of weighted automata.- Emptiness under isolation and the value problem for hierarchical probabilistic automata.- Partial Derivatives for Context-Free Languages.- Dynamic Complexity of the Dyck Reachability.- Proof Theory.- Cyclic Arithmetic is Equivalent to Peano Arithmetic.- Martin-Lof's Inductive Definitions are Not Equivalent to Cyclic Proofs.- Probability.- On the relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context.- Computing continuous time Markov chains as transformers of unbounded observation functions.- Pointless Learning.- On Higher-Order Probabilistic Subrecursion. - Concurrency.- A Truly Concurrent Game Model of the Asynchronous ᴨ-Calculus.- Local Model Checking in a Logic for True Concurrency.- The Paths to Choreography Extraction.- On the Undecidability of Asynchronous Session Subtyping.- Lambda Calculus and Constructive Proof.- A Lambda-Free Higher-Order Recursive Path Order.- Automated Constructivization of Proofs.- Semantics and Category Theory.- A Light Modality for Recursion.- Unifying Guarded and Unguarded Iteration.- Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type.- On the Semantics of Intensionality.
Автор: Faith Ellen; Antonina Kolokolova; J?rg-R?diger Sac Название: Algorithms and Data Structures ISBN: 3319621262 ISBN-13(EAN): 9783319621265 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 15th Algorithms and Data Structures Symposium, WADS 2017, held in St. John`s, NL, Canada, in July/August 2017. The 49 full papers presented together with 3 abstracts of invited talks were carefully reviewed and selected from 109 submissions.
Автор: Anca Muscholl Название: Foundations of Software Science and Computation Structures ISBN: 3642548296 ISBN-13(EAN): 9783642548291 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014.
Автор: Gordon J. Pace Название: Mathematics of Discrete Structures for Computer Science ISBN: 3642429882 ISBN-13(EAN): 9783642429880 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers the foundational mathematics necessary for courses in computer science.The common approach to presenting mathematical concepts and operators is to define them in terms of properties they satisfy, and then based on these definitions develop ways of computing the result of applying the operators and prove them correct.
Автор: Abel Gomes; Irina Voiculescu; Joaquim Jorge; Brian Название: Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms ISBN: 1447158776 ISBN-13(EAN): 9781447158776 Издательство: Springer Рейтинг: Цена: 9776.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In presenting the mathematics, computational methods and data structures, as well as the algorithms needed to render implicit curves and surfaces, the authors show how implicit objects can easily describe smooth, intricate, and shapes that articulate.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
