Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
LNCS
Связанные издания:
A Categorical View of Timed Weak Bisimulation
A Gandy Theorem for Abstract Structures and Applications to First-Order Definability
A Polynomial Time Delta-Decomposition Algorithm for Positive DNFs
Archival Information Systems: New Opportunities for Historians
Causality-Based Testing in Time Petri Nets
Computable Topology for Reliable Computations
Definability in the Infix Order on Words
Open Maps Bisimulations for Higher Dimensional Automata Models
Parallel Factorization of Boolean Polynomials
Providing the Sharing of Heterogeneous Ontology Design Patterns in the Development of the Ontologies of Scientific Subject Domains
Towards Automatic Deductive Verification of C Programs over Linear Arrays
Two-Step Deductive Verification of Control Software Using Reflex