Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
методология
Связанные издания:
Comparative Evaluation of XML Information Retrieval Systems: Revised & Selected Papers/5th Intl WS of the Initiative for the Evaluation of XML Retrieval, INEX. Dagstuhl Castle, Germany, Dec. 2006
Comparison of CMM Level 2 and eXtreme Programming
Comparison of OOA and Real-Time SA - From the Experiment of Analyzing an Image Filing System
Complexity of the CFP, a Method for Classification Based on Feature Partitioning
Compositional and Quantitative Model Checking (Extended Abstract)
Composition and Refinement of Discrete Real-Time Systems
Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems: Proc./1st Intl Conf. ICCCI 2009. Wroclav, Poland, October 2009
Computer Science - Theory and Applications: Proc./13th International Computer Science Symposium i Russia, CSR 2018, Moscow, Russia, June 2018
Conceptual Modeling - ER 2004: Proc./23rd International Conference on Conceptial Modeling. Shanghai, China, November 2004
Configuring Business Objects from Legacy Systems
Conflict Resolution in Decision Making: Revised Selected Papers/2nd International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 2016
Constructing List Homomorphisms
Control Properties in Object-Oriented Specifications
Coping with Crosscutting Software Changes using Information Transparency
Correctness of Automated Distribution of Sequential Programs
Creating a Ptactical Object-Oriented Methodology
Data Management in a Connected World: Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday
Data Mining and Knowledge Management: Revised Papers/Chinese Academy of Sciences Symposium, CASDMKM 2004. Beijing, China, July 2004
Deriving Efficient Parallel Programs by Systemating Coarsing Specification Parallelism
Deriving Use Cases from Business Process Models
Design Methodologies for Microelectronics and Signal Processing: Proc./Workshop on Design Methodologies for Microelectronics and Signal Processing. Gliwice-Cracow, Poland, 20-23 October 1993
Design Principles for Process Modeling in Enterprise Application Integration
Detection of Concurrency-Related Errors in Joyce
DIE realisierung des ESRA-Rechnernetz-Baukaster Systems: ein Ansatz zu einer Methodologie fur zuverlassige Software
Distributed Computing and Internet Technology: Proc./14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 2018
Distributed Computing In A NUMP (Non-Uniform Message-Passing) Enironment
Dynamic Dependency Analysis of Ordinary Programs
eColabra. An Enterprise Collaboration & Reuse Environment
Educating Model-Based Software Engineers
Embodying Parallel Functional Skeletons: An Experimental Implementation on Top of MPI
Engineering JADE Agents with the Gaia Methodology
Engineering Multi-Agent Systems: Revised Selected Papers/5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 2017
Engineering Multi-Agent Systems: Revised Selected Papers/7th International Workshop, EMAS 2019, Montreal,QC,Canada, May 2019
Enhancing Parallelism by Removing Cyclic Data Dependencies
ESPRIT BRA 3104: Provably Correct Systems ProCos Interim Deliverable
Evaluating the Mediator Method: Prism as a Case Study
Evaluation of Vendor Products: CASE Tools as Methodology Companions
Evolutionary Computation in Combinatorial Optimization: Proc./17th European Conference, EvoCOP, Amsterdam, The Netherlands, April 2017
Experiences in Object-Oriented Re-Engineering
Experiments with Program Parallelization Using Archetypes and Stepwise Refinement
Explicit Data Placement (XDP): A Methdology for Explicit Compile-Time Representation and Optimization of Data Movement
Explicit Data Placement (XDP): A Methodology for Explicit Compile-Time Representation and Optimization of Data Movement
Exploratory Sequential Data Analysis: Traditions, Techniques and Tools
Exploring Web-Based Information System Design: A Discrete-Stage Methodology and the Corresponding Model
Extensible Programming for the 21st Century
Extension of Macrostep Debugging Methodology Towards Metacomputing Applications
Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism
Extreme Programming and Agile Processes in Software Engineering: Proc./4th Intern. Conf., XP 2003, Genova, Italy, May 2003
Fast Testing of Critical Properties through Passive Testing
Flow Grammars - a Flow Analysis Methodology
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
следующая ›
последняя »