Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
алгебра
Связанные издания:
2-Categorical Specification of Partial Algebras
A Basic-Net Algebra for Program Semantics and its Application to OCCAM
A Belief-Consistent Multilevel Secure Relational Data Model
A Bounded True Concurrency Process Algebra for Performance Evaluation
Abstract Data Types for the Logical Modeling of Comlex Data
Abstract Data Types in Computer Algebra
Abstraction in Real Time Process Algebra
A Calculus of Countable Broadcasting Systems
Acceptance Trees for Probabilistic Processes
Accomodating Subjective Vagueness Through a Fuzzy Extension to the Relational Data Model
A Class of Composable High Level Petri Nets
A Complete Finite Prefix for Process Algebra
A Complete Indentity Set for Codd Algebras
A Complete Modal Proof System For HAL: The Herbrand Agent Language
A Completeness Theorem for Nondeterministic Kleene Algebras
A Complete Theory of Deterministic Event Structures
A Constraint Solver in Finite Algebras and its Combination with Unification Algorithms
ACP with Signals
ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities
Action Calculi, or Syntactic Action Structures
A Data Model for Flexible Querying
A Data Parallel Scientific Computing Introduction
Adding Action Refinement to a Finite Process Algebra
Advanced Mathematics: Computations and Applications: Proc./Intern. Conf. AMCA-95. Novosibirsk, Russia, 20-24 June, 1995
Advances in Neural Networks - ISNN 2017, Part I: Proc./14th International Symposium, ISNN 2017, Sapporo, Japan, June 2017
A Fifo-Net Model for Processes with Asynchronous Communication
A Front-End Generator for Verification Tools
A Fully Abstract Semantics for Causality in the Pi-calculus
A Functional Method of Data Processing based on Relational Algebra
A Generic Algebra for Data Collections Based on Constructive Logic
A Graph-Oriented Model for Articulation of Ontology Interdependencies
A HOL Decision Procedure for Elementary Real Algebra
A Hybrid Model for Reasoning about Composed Hardware Systems
A Knowledge-Based Data Model and Query Algebra for the Next-Generation Web
Algebra AFP for concurrent nondeterministic processes: Fully abstract model and complete axiomatization
Algebra and Coalgebra in Computer Science: Proc./First International Conference, CALCO 2005. Swansea, UK, September 2005
Algebra and Coalgebra in Computer Science: Proc./Second International Conference, CALCO 2007. Bergen, Norway, August 2007
Algebra and Models
Algebraic Acpects of the Relational Knowledge Representation: Modal Relation Algebras
Algebraic and Algorithmic Aspects of Differential and Integral Operators: Selected and Invited Papers/5th International Meeting, AADIOS 2012 Held at the Applications of ACA 2012, Sofia, Bulgaria, June 2012
Algebraic and Proof-Theoretical Aspects of Non-classical Logics: Papers in Honor o Daniele Mundici on the Occasion of His 60th Birthday
Algebraic Approaches for Nets Using Formulas to Describe Practical Software Systems
Algebraic characterization of bihavioural equivalences over event structures
Algebraic Identities and Query Optimization in a Parametric Model for Relational Temporal Databases
Algebraic Informatics: Revised Selected and Invited Papers/Second International Conference, CAI 2007. Thessaloniki, Greece, May 2007
Algebraic Methodology and Software Technology: Proc./12th International Conference, AMAST 2008. Urbana, IL, USA, July 2008
Algebraic Methodology and Software Technology: Proc./4th International Conference, AMAST 95 Montreal,Canada,July 1995
Algebraic Methods in the Compositional Analysis of Logic Programs
Algebraic operation on encrypted relation databases
Algebraic Simplification of Multiple-Valued Functions
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »