Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
программное обеспечение
Связанные издания:
13-е ежегодные премии за техническое совершенство
16th World Computer Congress 2000. Proc. of Conference on Software: Theory and Practice
50 лет программирования: основные принципы качества
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification
A Case Study in Applying a Systematic Method for COTS Selection
A Causal Model for Software Cost Estimating Error
A Coding Scheme to Support Systematic Analysis of Software Comprehension
A Complete Software Engineering Environment
A Concurrent Process Model of Software Development
A Connectionist View on Document Classification
A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks
A Contingency Approach to the Application Software Generations
A Contract-Based Approach of Resource-Constrained Software Deployment
A Control-Construct Based Software Complexity Measure
A Controlled Experiment to Assess the Benefits of Estimating with Analogy and Regression Models
A Course in Software Portability
Acquiring COTS Software Selection Requirements
Active Software
Ada+B The Formula for Safety Critical Software Development
Ada Meets Giotto
A Decade of TAPSOFT: Aspects of Progress and Prospects in Theory and Practice of Software Development
A Discipline for Handling Feature Interaction
A Discussion of Two Major Benefits of Using Agents in Software Development
ADL - An Interface Definition Language for Specifying and Testing Software
A Domain Specific Software Architecture Style for CSCD System
Advanced Information Systems Engineering: Proc./17th International Conference, CAiSE 2005. Porto, Portugal, June 2005
Advanced Parallel Processing Technologies: Proc./11th International Symposium, APPT 2015, Jinan, China, August 2015
Advanced Parallel Processing Technologies: Proc./5th Intern. Workshop, APPT 2003, Xiamen, China, September 2003
Advances in Databases and Information Systems: Proc./9th East European Conference, ADBIS 2005. Tallinn, Estonia, September 2005
Advances Information Systems Engineering: Proc./22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 2010
Advances in Grid Computing - EGC 2005: Revised Selected Papers/European Grid Conference. Amsterdam, The Netherlands, February 2005
Advances in Learning Software Organizations: Proc./4th Intern. Workshop, LSO 2002, Chicago, IL, USA, August 2002
Advances in Learning Software Organizations: Proc./6th International Workshop, LSO 2004. Banff, Canada, June 2004
Advances in Learning Software Organizations: Proc./Third International Workshop,LSO 2001 Kaiserslautern,Germany,September 2001
Advances in Software Reuse: Proc./Selected Papers from the Second Intern. Workshop on Software Reusability. Lucca, Italy, March 24-26, 1993
Advances Lectures on Software Engineering: LASER Summer School 2007/2008
Advancing the Impact of Design Science: Moving from Theory to Practice: Proc./9th International Conference, DESRIST 2014, Miami,FL,USA, May 2014
A Dynamic C-Based Object-Oriented System for UNIX
A Feature Based Reuse Library
A Formal Approach to Requirements Engineering
A Formal Approach to Software Design: The Clepsydra Methodology
A Formal Method for Building Concurrent Real-Time Software
A Four Dimensional Reuse Maturity Model
A Framework-Based Approach to the Development of Network-Aware Applications
A Framework for Network Protocol Software
A Framework for Software Quality Evaluation
A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Pragrams
A Gentle Introduction to Multi-stage Programming
A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications
Agent-Oriented Modeling: Software versus the World
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »