Refine your search
Availability
-
Bibliographic level
- Книги (7)
-
Authors
- Матросова, Анжела Юрьевна [x]
- Останин, Сергей Александрович (3)
- Буторина, Наталья Борисовна (2)
- Андреева, Валентина Валерьевна (1)
- Буркатовская, Юлия Борисовна (1)
- Седов, Юрий Владимирович (1)
- Сибирякова, Валентина Александровна (1)
- Show more
- Show less
-
Topics
- учебные пособия для вузов (5)
- электронные учебники (5)
- булевы функции (2)
- тесты (2)
- электронные учебно-методические комплексы (2)
- электронные экзамены (2)
- C++ (1)
- CGI-стандарт (1)
- CSS (1)
- CTL-верификация (1)
- HTML (1)
- HTTP (1)
- JavaScript (1)
- PHP (1)
- TCP/IP (1)
- Visual Prolog, среда разработки (1)
- Web (1)
- k-значные логики (1)
- Бауера-Мура поиск данных (1)
- Интернет-приложения (1)
- Интернет-программирование (1)
- Кнута-Мориса-Пратта поиск данных (1)
- Крипке модель (1)
- Мили автомат (1)
- Пролог, язык логического программирования (1)
- Пролог-программы (1)
- Хоара сортировка данных (1)
- Шелла сортировка данных (1)
- автоматные программы (1)
- алгебра логики (1)
- алгоритмы манипулирования (1)
- анализ дискретных систем (1)
- библиотека стандартных шаблонов C++ (1)
- бинарные деревья Пролог (1)
- верификация программ (1)
- виртуальные функции C++ (1)
- гипертекст динамический (1)
- гипертекстовая информация (1)
- деструкторы C++ (1)
- диаграммы решающие (1)
- дизъюнктивные нормальные формы (1)
- дискретные системы (1)
- дискретные системы, анализ и синтез (1)
- исчисление высказываний (1)
- исчисление предикатов (1)
- классы C++ (1)
- кодирование алфавитное (1)
- комбинаторные задачи (1)
- конструкторы C++ (1)
- контейнеры C++ (1)
- Show more
- Show less