Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
системный
Связанные издания:
Ada and C: Differences as the Language for System Programming
Assurances for Self-Adaptive Systems. Principles, Models, and Techniques
A System Architecture for Fault Tolerance in Concurrent Software
CADS: системная среда САПР, базирую аяся на концепции гибкой интеграции
Computer-Aided Systems Technology: Its Role in Advanced Computerization
Coordination Models and Languages: Proc./18th IFIP WG 6.1 International Conference, COORDINATION 2016 Held as Part of the 11th International Federated Conference, DisCoTec 2016, Heraklion, Crete, Greece, June 2016
Delphi, Win32 и системные функции
FM 2011: Formal Methods: Proc./17th International Symposium on Formak Methods, Limerick, Ireland, June 2011
MANEVRO: A New Approach to Class Based Programming
On Requirements for a CAST-Tool for Complex, Reactive System Analysis, Design and Evaluation
Perspectives of System Informatics PSI'96: Proc./Second Intern. Andrei Ershov Memory Conf. Akademgorodok, Novosibirsk, Russia, June 1996
Program Optimization: State of the Art and Future Development
Prototyping a Visual Formalism for System Modelling
Reviving Systems Programming
System Dependability
System Support for Time-Critical Applications
Tests and Proofs: Proc./10th International Conference, TAP 2016 Held as Part of STAF 2016, Vienna, Austria, July 2016
The Essential System Model
Theory and Practice of Model Transformations: Proc./Third International Conference, ICMT 2010, Malaga, Spain, June 2010
TOOLHELP для Windows
Towards a Complete Conceptual Model: Petri Nets and Entity-Relationship Diagrams
Transactions on Computational Systems Biology VIII
Transactions on Petri Nets and Other Models of Concurrency IV
Transactions on Petri Nets and Other Models of Concurrency X
Uber die Notwendigkeit einer Systemtheorie in der Wissenschaftsdisziplin Informatik
Автоматизированное построение системного теста на случайных кодах
"Виктория" бросает вызов Нортону
Влияние регулярных системных прерываний на производительность параллельных трафаретных вычислений
Вопросы кибернетики. Приложения системного программирования. Выпуск 2
Вопросы кибернетики. Приложения системного программирования. Выпуск 3
Вопросы кибернетики. Приложения системного программирования. Выпуск 4
Вычислительные машины с нетрадиционной архитектурой. Супер-ВМ. Сборник научных трудов
Дирижеры программных ансамблей
Исследование и разработка системных компонент пакетов прикладных программ, ориентированных на пользователя-непрофессионала
Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам
Методическая и системная поддержка разработки пакетов прикладных программ
Метод реализации системных компонент пакетов над библиотеками программ
Методы теоретического и системного программирования
Молодая информатика: Сборник трудов аспирантов и молодых ученых
Молодая информатика: Сборник трудов аспирантов и молодых ученых: Выпуск 4
О работах по системному математическому обеспечению в странах советской Балтии (1960-1990)
Освой самостоятельно системное администрирование Unix за 21 день
Особенности анализа и моделирования систем гибридного интеллекта
Очередь системных обоб ений
Прикладные источники развития системного программного обеспечения
Принципы построения базового системного обеспечения пакетов прикладных программ
Разработка и внедрение в народное хозяйство персональных ЭВМ: Тезисы докладов I Всесоюзной школы-семинара. Часть I: Системное программное обеспечение, технические средства, периферийные устройства, элементарная база
Разработка системного программного обеспечения на основе принципа переиспользования
Российский рынок системной интеграции в 1995 году
Секрет ВИКТОРИИ
1
2
следующая ›
последняя »