Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
иси
Связанные издания:
A Three-Level Approach to C# Program Verification
A Three-Level Approach to C# Program Verification
A three-stage method of C program verification
A three-stage method of C program verification
A Two-Level Approach for Modeling and Verification of Telecommunication Systems
A Two-Level Approach for Modeling and Verification of Telecommunication Systems
A Useful Undecidable Theory
A Useful Undecidable Theory
Automatic C Program Verification Based on Mixed Axiomatic Semantics
Automatic C Program Verification Based on Mixed Axiomatic Semantics
Back-end translator for Sisal 3.1 compiler
Back-end translator for Sisal 3.1 compiler
Back-Forth Equivalences for Design of Concurrent Systems
Background for formalisation of complex systems
Background for formalisation of complex systems
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems
Basis for program optimization
Behavioral Notions for Eager Data Flow Computing with I-structures
Bisimulation Equivalence for Hierarchical Petri Nets. Decision Problems
Bisimulation Equivalence for Hierarchical Petri Nets. Decision Problems
Bisimulation for fluid stochastic Petri nets
Bisimulation for fluid stochastic Petri nets
Branching Processes of Petri Nets
Branching Processes of Petri Nets
Building User-Environment Factories
Building User-Environment Factories
Business Rule Manager - средство восстановления бизнес-логики программ
Business Rule Manager - средство восстановления бизнес-логики программ
Case Study of Technology of Building Expert Systems
Categorical Modelling of trace equivalence for timed automata models with invariants
Categorical Modelling of trace equivalence for timed automata models with invariants
Causal trees and timed causal trees categorically
Causal trees and timed causal trees categorically
Characterizing Timed Net Processes Categorically
Characterizing Timed Net Processes Categorically
Colored Cause-Effect Structures
Colored Cause-Effect Structures
Coloured Petri net approach to modeling of SDL specifications with dynamic constructions
Coloured Petri net approach to modeling of SDL specifications with dynamic constructions
Coloured Petri nets approach to the validation of Estelle specifications
Coloured Petri nets approach to the validation of Estelle specifications
Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-Agent Systems
Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-Agent Systems
Combining Knowledge and Fixpoints
Combining Knowledge and Fixpoints
Common Knowledge in Well-structured Perfect Recall Systems
Common Knowledge in Well-structured Perfect Recall Systems
Communicative Structure of Complex Speech Act
Communicative Triad as Structural Element of Language Interaction
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »