Переглянути архів Інформація
Назва
|
Автор
- » Резолюція, ухвалена міськими головами та лідерами громадських організацій, про...
- » Голлізм як взірець концепції переходу від залежного стану до національного піднесення
- » Проведення в Україні реформи місцевого самоврядування та реформи виборчого...
- » Рецензия на монографию
- » Авторы номера 4 за 2010 г.
- » Полиномиальные инварианты линейных циклов
- » Параллельный поиск вывода в логическом исчислении на основе системы алгебраического...
Летичевский, А.А.; Герман, В.Н.; Мороховец, М.К.; Щеголева, Н.Н.
2024-08-07
Переглянути запис |
Переглянути оригінал
- » Международный симпозиум «Автоматы, алгоритмы и информационные технологии»
- » План дій щодо членства в НАТО як механізм формування в Україні євроатлантичної системи...
- » Роль вищих навчальних закладів у процесі євроатлантичної інтеграції України
- » Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с...
Дорошенко, А.Е.; Котюк, Н.В.; Николаев, С.С.; Цейтлин, Г.Е.; Яценко, Е.А.
2024-08-07
Переглянути запис |
Переглянути оригінал
- » Формальные основы интероперабельности компонентов в программировании
- » Решение линейных ограничений над полем вещественных и рациональных чисел
- » Інститут трансформації суспільства у 2008 році: плідна діяльність заради впровадження...
- » Расширение языка Scala средствами параллелизма и распределенности с помощью...
Глибовец, Н.Н.; Гороховский, С.С.; Стукало, М.С.
2024-08-07
Переглянути запис |
Переглянути оригінал
- » Как изменить отношение общества к членству в НАТО: опыт Румынии
- » Стан і перспективи євроатлантичної інтеграції України
- » Співробітництво Україна - ЄС: особливості сучасного етапу та можливості для...
- » Domain science and engineering from computer science to the sciences of informatics....
- » Предикатные преобразователи в контексте символьного моделирования транзиционных систем
- » Бюджет-2009 потрібно переглянути
- » Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в...
- » Автоматический метод динамического построения абстракций состояний формальной модели
- » Быстрые гибридные алгоритмы умножения матриц
- » Проверка эквивалентности программ с помощью двухленточных автоматов
17326 - 17350 з 137976 результатів
<< < 689 690 691 692 693 694 695 696 697 698 > >>