Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
процесс
Связанные издания:
Qualitative Operators and Process Engineer Semantics of Uncertainty
Qualitative und quantitative Aspekte prototyping-orientierter Software-Entwicklung - Ein Erfahrungsbericht
Quality Ensuring Development of Software Processes
Quelltextgenerierung fur Software-Entwurfsgraphen
Quod Iicet Jovi...
Random sprouts as Internet models. and Polya processes
Reactive, Generative, and Stratified Models of Probabilistic Processes
Readies and Failures in the Algebra of Communicating Processes
REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties
RealFlex - средство для создания современных АСУ ТП
Realization of Cooperative Agents Ussing an Active Object-Oriented Database Management System
Real Space Process Algebra
Real-Time Calculi and Expansion Theorems
Real Time Systems: A Tutorial
Reasoning about Higher-Order Processes
Reasoning about Interference in an Object-Based Design Method
Reasoning about Safety and Liveness Properties for Probabilistic Processes
Receptive Process Theory
Reconfigurable Ada Distributed Control System Software
Reengineering Processes in Public Administrations
Reengineering the New Product Introduction Process
Refinement and Simulation of Nets - a Саtegorical Characterisation
Refinement in Object-Z and CSP
Refinement of Actions in Event Structures and Causal Trees
Reflection and Reification in Process System Evolution: Experience and Opportunity
Reflections on the Relationship Between BPR and Software Process Modelling
Regularity is Decidable for Normed PA Processes in Polynomial Time
Regularity of BPA-Systems is Decidable
Reinventing Methodology: Who Reads It and Why?
Relating May and Must Testing Semantics for Discrete Timed Process Algebras
Relations and Kleene Algebra in Computer Sciece: Proc./10th Intl Conf on Relational Methods in CS & 5th Intl Conf on Applications of Kleene Algebra, RelMiCS/AKA 2008. Frauenwoerth, Germany, April 2008
Remarks on a Methodology for Implementing Highly Concurrent Data Objects
Reporting about the Mod Software Process
Representing CSP-like Systems as Cause-effect Structures
Requirements Engineering Process as an Emergent Process
Requirements of the Cornell Theory Center for Resource Management and Process Scheduling
Requirements on Software Process Technology from the Viewpoint of Commercial Software Development: Recommendations for Research Directions
Resource-Directed Loop Pipelining
Resourse allocation problem
Results of Applying the Personal Software Process
Reusing Software Processes
Reverse Engineering and Design Recovery: A Taxonomy
REX-Research and Education in Concurrent Systems (Event Structures: Basic Theory and Applications)
Rigorous Development Using RAISE
SA/CM/IM for Process Modelling
SafeDpi: A Language for Controlling Mobile Code
SCARLET: Integrated Process and Tool Support for Selecting Software Components
Scheduling Algebra
Scheduling Mechanisms Reducing Contention Situations in Multimedia Systems
Scheduling on AP/Linux for Fine and Coarse Grain Parallel Processes
« первая
‹ предыдущая
…
15
16
17
18
19
20
21
22
23
…
следующая ›
последняя »