Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
оценка
Связанные издания:
Performance-Oriented Formal Specifications - the LotoTis Approach
Performance Supplement to Operating Systems Nears Publication
Perspectives in Conceptual Modeling: Proc./ER 2005 Workshops AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS. Klagenfurt, Austria, October 2005
Persuasive Technology: Persuasive, Motivating, Empowering Videogames: Proc./9th International Conference, PERSUASIVE 2014, Padua, Italy, May 2014
Petri Net Performance Models of Parallel Systems - Methodology and Case Study
Pfaffian Hybrid Systems
Polymorphic Time Systems for Estimating Program Complexity
PopSPY: A PowerPC Instrumentation Tool for Multiprocessor Simulation
Portability Effort Estimates for Real Time Applications Written in Ada through Static Code Analysis
Post Mortem - An Assessment of Two Approaches
Practical Behavior of Parallelization Strategies for Datalog
Predictably Dependable Computing Systems: Summary Report
Predicting Source-Code Complexity at the Design Stage
Probabilistic Loop Scheduling Considering Communication Overhead
Process Metrics for Requirements Analysis
Product-Focused Software Process Improvement: Proc./8th International Conference, PROFES 2007. Riga, Latvia, July 2007
Product-Focused Software Process Improvement: Proc./9th International Conference, PROFES 2008. Monte Porzio Catone, Italy, June 2008
Programming Languages and Systems: Proc./26th European Symposium on Programming, ESOP 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017
Program Reversals for Evolutions with Non-uniform Step Costs
Program Understading Behavior During Estimation of Enhancement Effort on Small Java Programs
ProPolyne: A Fast Wavelet-Based Algorithm for Prgressive Evaluation of Polynomial Range-Sum Queries
Propositional Logic Representations for Documents and Queries: A Large-Scale Evaluation
Qualitative and Quantitative Reliability Assessment
Quality Characteristics for Software Components: Hierarchy and Quality Guides
Quality Estimination of Software Applications for Banking
Quality of Software Architecture: Revised Papers/2nd International Conference on Quality of Software Architectures, QoSA 2006. Vasteras, Sweden, June 2006
Quality of Software Architectures and Software Quality: Proc./First International Conference on the Quality of Software Architectures, QoSA 2005, and Second Intl Workshop on Software Quality, SOQUA 2005. Erfurt, Germany, September 2005
Quality of Software Architectures: Proc./4th International Conference on the Quality of Software Architectures, QoSA 2008. Karlsruhe, Germany, October 2008
Quantitative Evaluation of Computing and Communication Systems: Proc./ 8th International Conference Performance Tools 95 and 8th GI/ITG Conference MMB 95. Heidelberg, Germany, September 1995
Quantitative Evaluations of Software Quality Built in with Domain-specific Disciplines
Query-Based Document Skimming: A User-Centred Evaluation of Relevance Profiling
Query Evaluation as Constraint Search; An Overview of Early Results
Query Evaluation in CROQUE - Calculus and Algebra Coincide
Query Evaluation Techniques for Large Databases
Query Evaluation via Tree-Decompositions. Extended Abstract
Query Restricted Bottom-Up Evaluation of Normal Logic Programs
Question Answering System for Incomplete and Noisy Data: Methods and Measures for Its Evaluation
Randomized Cache Placement for Eliminating Conflicts
RATCHET: Real-time Address Trace Compression Hardware for Extended Traces
Recent Findings in Software Process Maturity
Reducing and Estimating the Cost of Test Coverage Criteria
Reliability Index Evaluations of Integrated Software Systems (Internet) for Insufficient Software Failure and Recovery Data
Repository Based Software Cost Estimation
Requirements Engineering: Foundations for Software Quality: Proc./18th International Working Conference, REFSQ 2012, Essen, Germany, March 2012
Resolving Ambiguities caused by Multiple Inheritance
Results of Applying Probabilistic IR to OCR Text
REVENG: A Cost-Effective Approach to Reverse-Engineering
Rule Evaluations in a KDD system
Safe Computation of the Well-Founded Semantics of Datalog Queries
Scenario-Based Generation and Evaluation of Software Architectures
« первая
‹ предыдущая
…
7
8
9
10
11
12
13
14
15
…
следующая ›
последняя »