Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
определение
Связанные издания:
Abstract Interpretation of Constraints on Order-Sorted Domains
A Classification and Comparison Framework for Software Architecture Description Languages
A Critique of UML s Definition of the Use-Case Class
A Definition of an ISWIM-like Language Via Scheme
A Formal Definition of Hierarchical Predicate Transition Nets
A Framework for Classifying and Comparing Architecture Description Languages
A HOL Package for Reasoning about Relations Defined by Mutual Induction
An Algebraic Framework for Abstract Interpretation of Definite Programs
An Architecture for Building Reliable Distributed Object-Based Systems
A New Definition of the Subtype Relation
An Executable Language Definition
An Improved Definition of Multidimensional Inter-transaction Association Rule
Application of Composition Development Method for definition of SYNTHESIS information resource query language semantics
Aspect-Oriented Compilers
Assertion of Consistency within a Complex Object Database Using a Relationship Construct
A Technique for Transforming Logic Programs by Fold-Unfold Transformations
Attantion in Cognitive Systems: Revised Selected Papers/5th International Workshop, WAPCV 2008, Fira, Santorini, Grees, May 2008
Attribute-Oriented View Definitions in Relational and Deductive Databases
Cache-Conscious Structure Definition
CASSANDRA. Ein System zur Leitungsvorhersage bei Datenbanksystemen mit Hilfe analytischer Modelle
Comparing Approaches to Data Reification
Conceptual Structures for Recursion
Definition and Classification of COTS: A Proposal
Determinacy Analysis for Full Prolog
Dynamic Objects
Editor Definition Language and Its Implementation
Engineering the SDL Formal Language Definition
Flick: A Flexible, Optimizing IDL Compiler
Inductive Definitions and Type Theory an Introduction
Language Interoperability for High-Performance Parallel Scientific Components
MIS as a Discipline: A Structured Definition
Modula-3 Language Definition
Object Protocols as Functional Parsers
Objektorientierte Konzepte in Smalltalk, C++, Objective-C, Eiffel und Modula-3
Recursive Definitions Revisited
Recursive Programs as Definitions in First Order Logic
Relation algebraic domain constructions
The Definition of Standart ML Version 3
The Effect of Defitional Variations on Users Evaluations of Information Systems
TINA Computational Modeling Concepts and Object Definition Language
Towards an OMG IDL Mapping for Common Lisp
Two Flaws of the Current C++ Language Definition
Using the Quantum Data Model to Develop Shareable Definitions
View Specification and Manipulation for a Semantic Data Model
W-Lisp- Definition und Implementierung
Введение в Микро-Пролог
Классификация программ, ориентированная на технологию программирования
Метавидовые определения
О возможности точного определения что такое "хорошая программа"
О классификации парадигм и языков программирования
1
2
следующая ›
последняя »