Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
метод
Связанные издания:
Applications of Reuse in Space and Industry
Applicattion and Benefits of Combining Object-Oriented Methods and Formal Techniques for Real-ttime Software Developments
Applied Formal Methods - FM-Trends 98: Proc./Intern. Workshop on Current Trends in Applied Formal Methods. Boppard, Germany, October 1998
Applied Parallel Computing: Industrial Computation and Optimization: Proc./Third Intern. Workshop, PARA 96. Lyngby, Denmark, August 1996
Applying a Concurrent Formal Framework to Process Modelling
Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods
Applying Low-Level Query Optimization Techniques by Rewriting
Applying Object-Oriented Software Engineering Methods to the Development of Call Center Software: A Case Study
Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application
Applying the Wizard of Oz Technique to the Study of Multimodal Systems
Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques: Proc./8th Intl Workshop on Approximation Algorithms for Combinatorial Optimization Problems
Approximation, Randomization and Combinatorial Optimization: Algorithms and Technologies: Proc./11th Intl WS APPROX 2008 & 12th Intl WS RANDOM 2008. Boston, MA, USA, August 2008
A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations
A Pragmatic Survey of Automated Debugging
A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification
A Precise Demand-Driven Def-Use Chaining Algorithm
A Precise Examination of the Behaviour of Process Models
A Query Evaluation Method for Abductive Logic Programming
A Query Evaluation Method for Stratified Programs under the Extended CWA
Architecture-Independent Meta-optimization by Aggressive Tail Splitting
A Reflexive Formal Software Process Model
A Requirement Elicitation Method in Collaborative Software Development Cpmmunity
A Review of Recent Work on Multi-attribute Access Methods
A Rewriting Technique for Implementing Active Object Systems
Arithmetische Operationen auf Bezierflachen
Arjuna and Voltan: Case Studies in Building Faut-Tolerant Distributed Systems Using Standard Components
Arrays and Pointers Considered Harmful
Articulated Motion and Deformable Objects: Proc./Third International Workshop, AMDO 2004. Palma de Mallorca, Spain, September 2004
Artificial Immune Systems: Proc./7th International Conference, ICARIS 2008. Phuket, Thailand, August 2008
Artificial Neural Networks and Machine Learning - ICANN 2011, Part I: Proc./21st International Conference on ANN, Espoo, Finland, June 2011
A Scheme for Building Visual Debugging Environment with Dynamic Debugging Method for Parallel Systems
A Semantic Comparison of Fusion and Syntropy
A Shape Matching Approach for Scheduling Fine-Grained Parallelism
A Simplified Approach to the Implementation of And-Parallelism in an Or-Parallel Environment
A Specification and Validation Technique Based on STATEMATE and FNLOG
A Specifier s Introduction to Formal Methods
Assembly Techniques for Method Engineering
Assessing the Fault-Detecting Ability of Testing Methods
A Statistical Learning Method for Logic Programs with Distribution Semantics
A Supplement to Sampling-Based Methods for Query Size Estimation in a Database System
A Survey of Current Method Usage for Software Development in the UK
A Survey of Distributed Garbage Collection Techniques
A Taxonomy of Software Development Methods
A Technique for Monitoring Run-Time Dynamics of an Operating System and a Microprocessor Executing User Applications
A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions
A three-stage method of C program verification
A Transformational Approach to Generating Application-Specific Environments
A Transformation System for Concurrent Processes
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques
A Two-Layered Approach to Support Systematic Software Development
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »