Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
анализ
Связанные издания:
A proof of the Rank Theorem for Extended Free Choise Nets
A Prototype Dependency Calculus
A Quantitative Analysis of Cache Policies for Scalable Network File Systems
A Quantitative Analysis of Loop Nest Locality
Architecting Dependable Systems
Architecturing for Domanin Variability
Architektur offener Umweltinformationssysteme
A Realization of the Negative Interpretation of the Axiom of Choice
A Reappraisal of Structured Analysis: Design in an Organizational Context
A Representation for Bit Section Based Analysis and Optimization
A Research Typology for Object-Oriented Analysis and Design
Array Data Flow Analysis for Load-Store Optimizations in Superscalap Architectures
ARTEMIS: A Process Modeling and Analysis Tool Environment
Articulated Motion and Deformable Objects: Proc./5th International Conference, AMDO 2008. Port d Andratx, Mallorca, Spain, July 2008
Artificial Immune Systems: Proc./5th International Conference, ICARIS 2006. Oieras, Portugal, September 2006
Artificial Intelligence in Medicine: Proc./13th Conference on AI in Medicine, AIME 2011, Bled, Slovenia, July 2011
A Safe Approximate Algorithm for Interprocedural Pointer Aliasing
ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis
A Scalable Nonuniform Pointer Analysis for Embedded Systems
A Scaleable, Automated Process for Year 2000 System Correction
A Semantics-Based Determinacy Analysis for Prolog with Cut
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages
A Sequential Algorithm for Training Text Classifiers
A Set of Performance and Dependability Analysis Components for CADP
A Simple Algorithm for Partial Redundancy Elimination
A Simple General Purpose Technique for Interfacing between Computer Algebra and Numerical Analysis Systems
A Simple Language for Real-Time Cryptographic Protocol Analysis
A Simpler Analysis of Algorithm 65 (Find)
A Specification-Based Approach to Concurrency Analysis
A Specification of the Cat and Mouse Problem
Aspect-Oriented Software Development III
A Spill Code Placement Framework for Code Scheduling
Assessing Software Review Meetings: Results of a Comparative Analysis of Two Experimental Studies
Assessting the Effects of Flow-Sensitivity on Pointer Alias Analyses
Assoziationsregeln - Analyse eines Data Mining Verfahrens
A Step Towards Understanding Papers Documents
A Still Better Performance Guarantee for Approximate Graph Coloring
A Strafunski Application Letter
A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings
A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation
A Study of the Allocation Bahavior of the SPECjvm98 Java Benchmarks
A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter
A Support Tool for Annotated Program Manipulation
A Survey of Object-Oriented Petri Nets and Analysis Methods
A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization
A Symbolic Constraint Solving Framework for Analysis of Logic Programs
Asymptotic Performance of a Buffer Model in a Data Sharing Environment
Asynchronous Behavior of Double-Quiescent Elementary Cellular Automata
A Synergistic Analysis for Sharing and Groundness which Traces Linearity
A Systematic Analysis of Splaying
« первая
‹ предыдущая
…
5
6
7
8
9
10
11
12
13
…
следующая ›
последняя »