Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
теория
Связанные издания:
Algorithm Theory - SWAT 98: Proc./6th Skandinavian Workshop on Algorithm Theory. Stockholm, Sweden, July 1998
Allgorithmic Number Theory: Proc./6th International Symposium,ANTS-VI. Burlington,VT,June 2004
A Logical Reconstruction of Reachability
Alternative Perspectives of User Participation: Practical Implications
A Maximum Path Lenght Pumping Lemma for Edge-Replacement Languages
A Method for Implementing Equational Theories as Logic Programs
A Model of Intuitionistic Affine Logic from Stable Domain Theory
A Model Parametric Real-Time Logic
A Model Theory for Generic Schema Management
An Algebraic Theory of Polymorphic Temporal Media
An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification
Analogical Type Theory
Analysis of a Guard Condition in Type Theory
Analysis of Downward Closed Properties of Logic Programs
An Analysis of the Longest Match and the Greedy Heuristics in Text Encoding
An Approach to Algebraic Theory of Discrete Signals
An architecture for workflow scheduling under resource allocation constraints
An Automata-Theoretic Approach to Branching-Time Model Checking
An Automata-Theoretic Approach to Linear Temporal Logic
An Effective Application of Net-Theory to Commuication Protocol Development
An Efficiency Preorder for Processes
A New Type Theory for Representing Logics
An Extended Duration Calculus for Hybrid Real-Time Systems
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory
An Implementation of the Heine-Borel Covering Theorem in Type Theory
An Information Measure of Retrieval Performance
An Introduction to Category-based Equational Logic
An Introduction to Dependent Type Theory
An Introduction to Dynamic Labeled 2-Structures
An Iteration Property of Lindenmayerian Power Series
A Nominal Theory of Objects with Dependent Types
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
A Note on Completeness of Patterns
An Overview of Computational Complexity
A Paradox in Database Theory
A Partially Deadlock-Free Typed Process Calculus
Application and Theory of Petri Nets 1993: Proc./14th Intern. Conf. Chicago, Illinois, USA, June 1993
Application and Theory of Petri Nets 1995: Proc./16th Intern. Conf. Turin, Italy, June 1995
Application and Theory of Petri Nets 1996: Proc./17th Intern. Conf. Osaka, Japan, June 1996
Application and Theory of Petri Nets 1998: Proc./19th Intern. Conf., ICATPN 98. Lisbon, Portugal, June 1998
Application and Theory of Petri Nets 1999: Proc./20th Intern. Conf., ICATPN 99. Williamsburg, Virginia, USA, June 1999
Application and Theory of Petri Nets 2000: Proc./21st Intern. Conf., ICATPN 2000. Aarhus, Denmark, June 2000
Application and Theory of Petri Nets 2002: Proc./23rd Intern. Conf., ICATPN 2002, Adelaide, Australia, June 2002
Application and Theory of Petri Nets and Concurrency: Proc./36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 2015
Application and Theory of Petri Nets and Concurrency: Proc./37th International Conference, PETRI NETS 2016, Torun, Poland, June 2016
Application and Theory of Petri Nets: Proc./9th European Workshop, vol II. Venice, Italy, 22-24 June 1988
Application and Theory of Petri Nets: Proc./9th European Workshop, vol I. Venice, Italy, 22-24 June 1988
Application of Measurements Theory to Software Metrics: Comments on the Bollmann-Zuse Approach
Application of OOP Type Theory: State, Decidability, Integration
Applications and Theory of Petri Nets
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »