Вы здесь

Главная

метод

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

6. Access Methods and Query Processing Techniques
Abotec: An Automatic Back-of-the-Envelope Calculator
A Bounds Inference Method for Vector-Based Memoization
Abstract Interpretation Based Formal Methods and Future Challenges
Abstractions for Continuous-Media Programming
Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs
A Case Study of Feature Location in Unstructured Legacy Fortran Code
Access Support Relations: An Indexing Method for Object Bases
Achieving CMMI Level 2 with Enhanced Extreme Programming Approach
Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for Ada95 and C++ Targets
A Clustering Technique for Object-Oriented Databases
A comparative study of different technics of semi-flows computation in High Level Nets
A Comparison of Two Model-Based Performance-Prediction Techniques for Message-Passing Parallel Programs
A Compilation Technique for Varying Communication Cost NUMA Architectures
A Compiler Generator for Constraint Logic Programs
A Compiler Optimization Algorithm for Shared-Memory Multiprocessors
A Compressed Diagonals Remapping Technique for Dynamic Data Redistribution on Banded Sparse Matrix
A Conceptual Model for Megaprogramming
A Concrete Method for Developing and Applying Product Line Architectures
A Concurrent Compiler for Modula-2+
A Configurable Framework for Method and Tool Integration
A Configuration Approach to Reuse
A Course on Formal Methods in Software Engineering: Matching Requirements with Design
Adaptions- und Akquisitionstechniken fur Fuzzy-Systeme, Teil II
Adaptive Load Balancing in Disk Arrays
Adaptive Object-Models and Metamodeling Techniques
Adaptive Selectivity Estimation Using Query Feedback
A Decomposition Method for General Queueing Networks Subject to Blocking
ADIFOR - Generating Derivative Codes from Fortran Programs
Advanced Data Mining and Applications: Proc./4th International Conference, ADMA 2008. Chengdu, China, October 2008
Advanced Intelligent Computing Theories and Applications, Part III: Proc./11th International Conference, ICIC 2015, Fuzhou, China, August 2015
Advanced Machine Learning Techniques for Computer Vision
Advanced Traffic Control Techniques for Global Telecommunication Networks
Advances in Bioinformatics and Computational Biology: Proc./Second Brazilian Symposium on Bioinformatics, BSB 2007. Angra dos Reis, Brazil, August 2007
Advances in Computational Intelligence, Part I: Proc./13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 2015
Advances in Conceptual Modeling: Revised Selected Papers/ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 2013
Advances in Cryptology - EUROCRYPT 92: Proc./Workshop on the Theory and Application of Cryptographic Techniques. Balatonfured, Hungary, May 1992
Advances in Information Retrieval: Proc./27th European Conference on IR Research, ECIR 2005. Santiago de Compostela, Spain, March 2005
Advances in Knowledge Discovery and Data Mining, Part III: Proc./25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 2021
Advances in Knowledge Discovery and Data Mining, Part II: Proc./25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 2021
Advances in Knowledge Discovery and Data Mining, Part I: Proc./25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 2021
Advances in Nonlinear Speech Processing: Revised Selected Papers/ International Conference, NOLISP 2009, Vic, Spain, June 2009
Advances in Nonlinear Speech Processing: Revised Selected Papers/International Conference on Nonlinear Speech Processing, NOLISP 2007. Paris, France, May 2007
A Flexible and Adaptable Tool Kit Approach for Concurrency Control in Non Standard Database Systems
A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL
A Formal Approach to the Error Localization
A Formal Basis for Some Dependability Notions
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects
A Formal OO Method Inspired by Fusion and Object-Z
A Framework for Access Methods for Versioned Data