Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
ада
Связанные издания:
Programming Hard Real-Time Systems with Optional Components in Ada
Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status
PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S.
Proof theory for exeption handling in a tasking environment
Proposed Standard for a Generic Package of Complex Elementary Functions
Proposed Standard for a Generic Package of Elementary Functions for Ada
Proposed Standard for a Generic Package of Primitive Functions for Ada
Proposed Standard for Packages of Real and Complex Type Declarations and Basic Operations for Ada (including Vector and Matrix Types)
Protected Kernels and Ada 9X Real-Time Facilities
Protected Records in Ada 9X
Quality-for-ASIS: A Portable Testing Facility for ASIS
Quasar: A New Tool for Concurrent Ada Programs Analysis
Railway Scale Model Simulator
Rationale for the Proposed Standard for a Generic Package of Complex Elementary Functions
Rationale for the Proposed Standard for a Generic Package of Elementary Functions for Ada
Rationale for the Proposed Standard for a Generic Package of Primitive Functions for Ada
Rationale for the Proposed Standard for Packades of Real and Complex Type Declarations and Basic Operations for Ada (including Vector and Matrix Types
Real and Virtual Interrupt Support: the Mapping of a Carts Feature to Two Different Architectures
Real Time Electronic Funds Transfer and Ada
Recommendations and Proposals for an Ada Strategy in the Space Software Development Environment
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT
Reengineering the Booch Component Library
Rehost of a Real-Time Interrupt-Driven Simulation onto a DOS/PC/ADA Environment Using OOD
Relaxing the Constraints on Ada s limited private Types Through Functional Expressions
Reliable Communication in Distributed Computer-Controlled Systems
Reliable Software Technologies Ada-Europe 2000: Proc./5th Ada-Europe Intern. Conf. Potsdam, Germany, June 2000
Reliable Software Technologies - Ada-Europe 2001: Proc./6th Ada-Europe Intern. Conf. on Reliable Software Technologies, Leuven, Belgium, May 2001
Reliable Software Technologies - Ada-Europe 2002: Proc./7th Ada-Europe Intern. Conf. on Reliable Software Technologies, Vienna, Austria, June 2002
Reliable Software Technologies - Ada-Europe 2003: Proc./8th Ada-Europe Intern. Conf. on Reliable Software Technologies, Toulouse, France, June 2003
Reliable Software Technologies - Ada-Europe 2004: Proc./9th Ada-Europe International Conference on Reliable Software Technologies. Palma de Mallorca,Spain,June 2004
Reliable Software Technologies - Ada-Europe 2015: Proc./20th Ada-Europe International Conference on RST, Madrid, Spain, June 2015
Reliable Software Technologies - Ada-Europe 96: Proc./1996 Ada-Europe International Conference on Reliable Software Technologies. Montreux,Switzerland,June 1996
Reliable Software Technologies - Ada-Europe 97: Proc./1997 Ada-Europe Intern. Conf. on Reliable Software Technologies. London, UK, June 1997
Reliable Software Technologies - Ada-Europe 98: Proc./1998 Ada-Europe Intern. Conf. on Reliable Software Technologies. Uppsala, Sweden, June 1998
Reliable Software Technologies - Ada-Europe 99: Proc./1999 Ada-Europe Intern. Conf. on Reliable Software Technologies. Santander, Spain, June 1999
Reliable Software Technologies - Ada-Eurupe 2010: Proc./15th Ada-Europe International Conference, Valencia, Spain, June 2010
Replacing Passive Tasks with Ada 9X Protected Records
Report on the VERA Experiment
Reusable Input/Output Paskages for Ada Avoinic Applications
Reusable Real-Time Executive in Ada
Reusable Software Components
Reuse Assessment
ROSE-ADA: a Method and a Tool to Help Reuse of Ada Codes
Running Ada on Real-Time Linux
Safe Ada Executive: An Executive for Ada Safety Critical Applications
Safety Aspects of the Ariane 5 On-Board Software
Safety Verification of Ada Programs Using Software Fault Trees
Safe Web Forms and XML Processing with Ada
SAMeDL - A Pilot Project
SA/SD vs OOD
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
следующая ›
последняя »