Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
модель
Связанные издания:
Algorithms and Models for the Web-Graph: Proc./5th International Workshop, WAW 2007. San Diego, CA, USA, December 2007
Algorithms and Models for the Web Graph: Proc./7th International Workshop, WAW 2010, Stanford,CA,USA, December 2010
Algorithms and Models for the Web-Graph: Proc./Third International Workshop, WAW 2004. Rome, Italy, October 2004
Algorithms and Models for the Web-Graph: Revised Papers/Fourth International Workshop, WAW 2006. Banff, Canada, November/December 2006
Algorithms for Memory Hierarchies: Advanced Lectures
Algorithms in Bioinformatics: Proc./5th International Workshop, WABI 2005. Mallorca, Spain, October 2005
Algorithms, Software and Hardware of Parallel Computers
Aliasing Models for Object Migration
A Lifecycle for Models of Larfe Multi-agent Systems
A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness
A Lightweight Coordination Middleware for Mobile Computing
Alignment of Software Quality and Service Quality
A Linear Local Model Checking Algorithm for CTL
A Linguistic Approach to the Development of Object-Oriented Systems using the NL System LOLITA
A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols
Allegories of Circuits
All from One, One for All: on Model Cheking Using Representatives
A Logical Approach for Distributed Truth Maintenance
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution
A Logical Framework for Evolution of Specifications
A Logical Interface Description Language for Components
A Logical Model for Information Retrieval based on Propositional Logic and Belief Revision
A Logical Reconstruction of Reachability
A Logic-based Framework for Reasoning Support in Software Evolution
A Logic-Based Model of the Evolutionary Development of Knowledge
A Logic for Rule-Based Query Optimization in Graph-Based Data Models
A Logic Framework for a Semantics of Object Oriented Data Modeling
ALPHA du Centaur: A Prototype Environment for the Design of Parallel Regular Algorithms
A Machine for Uncoupled Coordination and Its Concurrent Behavior
A Machine Model for NP-approximation Problems and the Revenge of the Boolean Hierarchy
A Managers Guide to Introduction of Reuse
A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models
A Markov-Modulated Bernoulli Process Approximation for the Analysis of Banyan Networks
A Mathematical Model of Uncertain Information
A Metalanguage for the Formal Requirement Specification of Reactive Systems
A Metamodel Approach for the Management of Multiple Models and the Translation of Schemes
A Metamodel-Based Approach for the Dynamic Reconfiguration of Component-Based Software
A Meta-model Facility for a Family of UML Constraint Languages
A Meta-Model for Business Rules in Systems Analysis
A Metamodel for OCL
A Meta-model for Representing Variability in Product Family Development
A Metamodel for the Runtime Architecture of an Interactive System
A Metaphor and a Conceptual Architecture for Software Development Environments
A Method for Analyzing the Mutual Exclusion Overhead of Tightly Coupled Multiprocessors
A Method for Explaining the Behaviour of Conceptual Models
A Method for Using Object-Oriented Frameworks to Support Various High-level Parallel Computing Models
A Method of Constraint Propagation Applied to Planning Route in GIS
A Methodology and Tool for Derivation of Functional Dependencies from Business Forms
A Methodology for Clustering Entity Relationship Models - A Human Information Processing Approach
A Methodology for Deriving Parallel Programs with a Family of Parallel Abstract Machines
« первая
‹ предыдущая
…
3
4
5
6
7
8
9
10
11
…
следующая ›
последняя »