Refine your search
Availability
-
Bibliographic level
- Книги (3)
-
Authors
-
Locations
- Книгохранилище (2)
-
Item types
- Выдается в читальный зал (2)
- 1 месяц (1)
-
Topics
- программирование в ограничениях (3)
- Basic-REAL. (1)
- REAL-программы (1)
- REAL. (1)
- Range-тест (1)
- cad-система (1)
- cad-системы (1)
- cae-системы (1)
- cam-системы (1)
- capp-системы (1)
- pdm-системы (1)
- plm-системы (1)
- БЭСМ (1)
- Банержи тест (1)
- Всесибирская Открытая олимпиада по программированию им. И. В. Поттосина (1)
- Ершов, Андрей Петрович (1)
- ИФИП, конгрессы (1)
- Институт систем информатики им. А. П. Ершова (новосибирск) (1)
- Интернет академгородка Новосибирска (1)
- Лавров, Святослав Сергеевич (1)
- Ляпунов, Алексей Андреевич (1)
- НОД-тест (1)
- Омега-тест (1)
- Сибирский межрегиональный фонд "Информатика: развитие и образование" (1)
- Хоара логика (1)
- автоматизация (1)
- автоматизация машиностроительного предприятия (1)
- автоматизация машиностроительных производств (1)
- автоматизация проектирования (1)
- автоматизация производства (1)
- автоматизация промышленных процессов (1)
- автоматизация черчения (1)
- автоматическое распараллеливание (1)
- алгебра языков процессов (1)
- алгебраические спецификации (1)
- алгебраическое моделирование (1)
- алгоритмы выявления зависимостей (1)
- анализ динамики механизмов (1)
- анализ кинематики (1)
- анализ процессов (1)
- архивные материалы (1)
- аффинные пространства (1)
- безопасность (1)
- вариационное моделирование (1)
- воспоминания (1)
- высокопараллельные алгоритмы (1)
- вычисления с динамической длиной операндов (1)
- вычислительная математика (1)
- геометрические данные (1)
- геометрические объекты (1)
- Show more
- Show less
-
Places
- ЭБС Лань (1)