Вы здесь

Главная

метод

Связанные издания:

A Framework for the Analysis of Error in Global Illumination Algorithms
A Framework for the Specification of Reactive and Concurrent Systems in Z
A Framework for Using Formal Methods In Object-Oriented Software Development
A Front-End to HOOD - The Clyder Requirements Engineering Method
Agile Project Management Methods for ERP: How to Apply Agile Processes to Complex COTS Projects and Live to Tell about It
A Global Communication Optimization Technique Based on Data-Flow Analysis and Linear Algebra
A Goal-Oriented Approach to Computing Well Founded Semantics
A Heuristic Inductive Generalization Method and its Application to VLSI-Design
A Knowledge Acquisition Method Based on a Multi-Attribute Utility Model
A Language Implementation Framework in Java
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: Revised Lectures/Intern. Summer School and Workshop, Oxford, UK, April 2000
Algebraic Biology: Proc./Third International Conference, AB 2008. Castle of Hagenberg, Austria, July/August 2008
Algebraic Methods II: Theory, Tools and Applications
Algebraic Models and the Correctness of Microprocessors
Algebraic Specification of Empirical Inductive Learning Methods based on Rough Sets and Matroid Theory
Algebraic Techniques for Concurrency and their Application
Algebraic Techniques in Software Development
Algorithmic Methods for Railway Optimization: Revised Selected Papers/International Dagstuhl Workshop. Dagstuhl Castle, Germany, June 2004 & Bergen, Norway, September 2004
Algorithmic Methods for Railway Optimization: Revised Selected Papers/International Dagstuhl Workshop Railway Optimization 2004. Dagstuhl Castle, Germany, June 2004
Algorithms and Discrete Applied Mathematics: Proc./4th International Conference, CALDAM 2018, Guwahati, India, February 2018
Algorithms in Bioinformatics: Proc./13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2013
A Linear Temporal Logic Approach to Objects with Transactions
A Logic-Based Transformation System
A Loop Transformation Algorithm Based on Explicit Data Layout Representation for Optimizing Locality
A Message Passing Implementation of Lazy Task Creation
A Metaobject Architecture for Fault-Tolerant Distributed Systems: The FRIENDS Approach
A Method for Explaining the Behaviour of Conceptual Models
A Method for the Development of Correct Software
A Method to Adjust Conceptual Bias for Incremental Inductive Learning
A Multi-Threaded Architecture for Prefetching in Object Bases
An Access Method for Integrating Multi-scale Geometric Data
An Algebraic Development Technique for Information Systems
An Algebra of Regular Macronets for Formal Specification of Communication Protocols
An Alternative Analysis of the Algorithm for Separate Chaining Technique of the Hashing Method
Analyse von Methoden und Werkzeugen zur Entwicklung grosser Datenbank-Anwendungs-Systeme
Analysis of program optimization possibilities and further development
Analysis of program optimization possibilities and futher development
Analytical and Stochastic Modeling Techniques and Applications: Proc./15th International Conference, ASMTA 2008. Nicosia, Cyprus, June 2008
Analytical and Stochastic Modeling Techniques and Applications: Proc./16th International Conference, ASMTA 2009. Madrid, Spain, June 2009
Analytische Formfaktorberechnung mittels SVBSP-Baumen
An Approach for Supporting Aspect-Oriented Domain Modeling
An Architecture for a Cooperative Database System
An Assertional Verification Method for Z Specifications of Concurrent Systems
An Automated Rigorous Review Method for Verifying and Validating Formal Specifications
An Automatic Code Generation Process for Dynamic Specialization based on Design Patterns and Formal Techniques
An Automatic Test Data Generation System Based on the Integrated Classification-Tree Methodology
An Automatic Testing Environment for LArge-Scale Operating Systems
An Efficient and Flexible Method for Archiving a Data Base
An Efficient Antialiasing Techniqie
An Efficient Compiler Validation Method for Ada 9X