Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
модель
Связанные издания:
A Formal Specifications Maturity Model
A Formal Study of Distributed Meeting Scheduling: Preliminary Results
A Formal Temporal Object-Oriented Data Model
A Form-Based Approach for Database Analysis and Design
A Four Dimensional Reuse Maturity Model
A Framework for Analyzing Locality and Portability Issues in Parallel Computing
A Framework for Automatic Clustering of Semantic Models
A Framework for Automatic Construction of Abstract Promela Models
A Framework for Developing and Analyzing Software Architecture Specifications in SAM
A Framework for Programming and Formalizing Concurrent Objects
A Framework for Temporal Object Databases
A Framework for the Classification and Description of Multidimensional Data Models
A Framework for Translating Models and Specifications
A Framework of Syntactic Models for the Implementation of Visual Languages
A Framework to Review Complex Experimental Knowledge
A Friendly Peer-to-Peer File Sharing System with Profit but without Copy Protection
A fully abstract model for concurrent nondeterministic processes based on posets with non-actions
A Functional Correctness Model of Program Verification
A Functional Specification of the Alpha AXP Shared Memory Model
A Functional Theory of Local Names
A Functorial Semantics for Observed Concurrency
A Future for Knowledge Acquisition: Proc./8th European Knowledge Acquisition Workshop, EKAW 94. Hoegaarden, Belgium, September 1994
A Fuzzy Model of Managerial Decision Making Incorporating Risk and Ambiguity Aversion
A Game-Theoretic, Concurrent and Fair Model of the Typed Lambda-calculus, with Full Recursion
A Gandy Theorem for Abstract Structures and Applications to First-Order Definability
"Agency Scheduling" A Model for Dynamic Task Sheduling
A Generalization of a Relational Structures Model of Concurrency
A Generalized Multi-View Approach
A Generalized Semantic Model for CSCW Systems
A General Model for Online Analytical Processing of Complex Data
A General Model for Reachability Testing of Concurrent Programs
A General Object-Oriented Model for Spatial Data
A Generic Data Model for the Support of Multiple User Interaction Facilities
A Generic Model for Assessing Process Quality
A Generic Model for Reusable Components
A Generic Role Model for Dynamic Objects
Agent Language NUML and Its Reduction Implementation Model Based on HO
Agent-Oriented Software Engineering
Agent-Oriented Software Engineering X: Revised Selected Papers/10th International Workshop, AOSE 2009, Budapest, Hungary, May 2009
Aggregation in a Behavior Oriented Object Model
Aggregation in Relational Databases: Controlled Disclosure of Sensitive Information
A Global Object Model for Accomodating Instance Heterogeneous
A Grammar Based Model for XML Schema Integration
A Grand Challenge Proposal for Formal Methods: A Verified Stack
A Graphical Data Modelling Program with Constraint Specification and Management
A Graphical Notation Editing System (AGNES). Support for Database Modeling Using the Extended E-R Model
A Graph Model for Object Oriented Programming
A Graph-Oriented Data Model
A Graph-Oriented Model for Articulation of Ontology Interdependencies
A Group Based Approach for Coordinating Active Objects
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »