Conceptual Structures: Standards and Practices, William M. Tepfenhart; Walling Cyre

Автор: Sebastian Rudolph; Frithjof Dau; Sergei O. Kuznets
Название: Conceptual Structures: Leveraging Semantic Technologies
ISBN: 3642030785 ISBN-13(EAN): 9783642030789
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 17th International Conference on Conceptual Structures ICCS 2009 Moscow Russia July 2631 2009 Proce. .

Автор: Burkhard Monien; Thomas Ottmann
Название: Data Structures and Efficient Algorithms
ISBN: 3540554882 ISBN-13(EAN): 9783540554882
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains a series of research papers which address fundamental data structures, computational geometry, graph algorithms, computer graphics, spatial databases, the design of parallel architectures and routeing strategies and the design of distributed algorithms for solving problems.

Автор: Andrej Brodnik; Alejandro Lopez-Ortiz; Venkatesh R
Название: Space-Efficient Data Structures, Streams, and Algorithms
ISBN: 3642402720 ISBN-13(EAN): 9783642402722
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: ГЇВїВЅ This Festschrift volume, published in honor of J. Ian Munro, presents a good overall perspective of the last 40 years of research in algorithms and data structures. It also explores the future prospects in algorithm research.

Автор: Harry S. Delugach; Gerd Stumme
Название: Conceptual Structures: Broadening the Base
ISBN: 3540423443 ISBN-13(EAN): 9783540423447
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume constitutes the refereed proceedings of the 9th International Conference on Conceptual Structures, ICCS 2001, held in Stanford, in July/August 2001. The book covers such topics as language and knowledge structures, and logical and mathematical foundations of conceptual structures.

Автор: Jan Mycielski; Grzegorz Rozenberg; Arto Salomaa
Название: Structures in Logic and Computer Science
ISBN: 3540632468 ISBN-13(EAN): 9783540632467
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday, the essays in this volume centre around Ehrenfeucht`s scientific work. The book is organized in topical sections on model theory, games and logic, graphs and algorithms, pattern matching and learning, and combinatorics of word.

Автор: Elzbieta Hajnicz
Название: Time Structures
ISBN: 3540609415 ISBN-13(EAN): 9783540609414
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work investigates the relationship between classic, first-order theories of point- and interval-based time structures, modal logics of corresponding structures and their algorithmic representations. It analyzes logical descriptions and algorithmic representions of time structures.

Автор: Bernhard Ganter; Guy W. Mineau
Название: Conceptual Structures: Logical, Linguistic, and Computational Issues
ISBN: 354067859X ISBN-13(EAN): 9783540678595
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers cover sections on concepts and language, conceptual onthology, conceptual graphs, formal semantics of conceptual structures, contextual logic and formal concept analysis, conceptual structures in practice, and computational aspects of conceptual structures.

Автор: Mogens Nielsen; Uffe Engberg
Название: Foundations of Software Science and Computation Structures
ISBN: 354043366X ISBN-13(EAN): 9783540433668
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures held in France in 2002. The 28 full papers cover algebraic, logical and geometric theories and methods supporting the analysis and transformation of programs and software systems.

Автор: J?rg Desel
Название: Structures in Concurrency Theory
ISBN: 3540199829 ISBN-13(EAN): 9783540199823
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was held from 11 th to l3th May 1995 in Berlin, Germany. Concurrency Theory deals with formal aspects of concurrent systems. Original papers had been sought from all scientists in the field of Concurrency Theory.

Автор: 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.

Автор: Frank Pfenning
Название: Foundations of Software Science and Computation Structures
ISBN: 3642370748 ISBN-13(EAN): 9783642370748
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Pattern Graphs and Rule-Based Models: The Semantics of Kappa.- History-Register Automata.- Fatal Attractors in Parity Games.- On Unique Decomposition of Processes in the Applied π-Calculus.- Bounded Context-Switching and Reentrant Locking.- Reachability of Communicating Timed Processes.- Modular Bisimulation Theory for Computations and Values.- Checking Bisimilarity for Attributed Graph Transformation.- Comodels and Effects in Mathematical Operational Semantics.- Preorders on Monads and Coalgebraic Simulations.- A Proof System for Compositional Verification of Probabilistic Concurrent Processes.- Partiality and Recursion in Higher-Order Logic.- Some Sahlqvist Completeness Results for Coalgebraic Logics.- Cut Elimination in Nested Sequents for Intuitionistic Modal Logics.- On Monadic Parametricity of Second-Order Functionals.- Deconstructing General References via Game Semantics.- Separation Logic for Non-local Control Flow and Block Scope Variables.- The Parametric Ordinal-Recursive Complexity of Post Embedding Problems.- Deciding Definability by Deterministic Regular Expressions.- Type-Based Complexity Analysis for Fork Processes.- Pure Pointer Programs and Tree Isomorphism.- A Language for Differentiable Functions.- Computing Quantiles in Markov Reward Models.- Parameterized Weighted Containment.- Weighted Specifications over Nested Words.- An Algebraic Presentation of Predicate Logic.- Strategies as Profunctors.- Generalised Name Abstraction for Nominal Sets.