Пошуковий запит: (<.>K=ФОРМАЛЬН$<.>+<.>K=ПОДЗАГОЛОВК$<.>) |
Загальна кількість знайдених документів : 206
Представлено документи з 1 до 20
|
| |
1. |
Хван. Хапкидо. Практика формальных упражнений / Хван Джэ Юн. - Х. : Спорт-Пресс, 2003 . - (Боевые искусства). Кн. 1 : Техника формальных упражнений. - [Б. м.] : [б.и.], 2003. - 134 с.: рис. - ISBN 966-8472-00-4
|
2. |
Хван. Хапкидо. Практика формальных упражнений / Хван Джэ Юн. - Х. : Спорт-Пресс, 2003 . - (Боевые искусства). Кн. 2. - [Б. м.] : [б.и.], 2003. - 130 с.: рис. - ISBN 966-8472-01-2
|
3. |
Процик, Ірина Романівна. Футбольна лексика у формальному та неформальному дискурсах : автореф. дис. ... д-ра філол. наук : 10.02.01 / Процик Ірина Романівна ; Волин. нац. ун-т ім. Лесі Українки. - Луцьк, 2021. - 36 с.
Дод. точки доступу: Волинський національний університет імені Лесі Українки (Луцьк)
|
4. |
Попова, Ірина Степанівна. Фундаментальні категорії синтаксису української мови у формально-граматичному та метамовному аспектах : дис. ... д-ра філол. наук : 10.02.01 / Попова Ірина Степанівна ; Дніпропетр. нац. ун-т ім. Олеся Гончара. - Д., 2012. - 405 арк. - Бібліогр.: арк. 367-405.
Дод. точки доступу: Дніпропетровський національний університет імені Олеся Гончара
|
5. |
Попова, Ірина Степанівна. Фундаментальні категорії синтаксису української мови у формально-граматичному та метамовному аспектах : автореф. дис. ... д-ра філол. наук : 10.02.01 / Попова Ірина Степанівна ; Чернів. нац. ун-т ім. Юрія Федьковича. - Чернівці, 2012. - 40 с.
Дод. точки доступу: Чернівецький національний університет імені Юрія Федьковича
|
6. |
Бахтин, Михаил Михайлович. Фрейдизм. Формальный метод в литературоведении. Марксизм и философия языка. Статьи / М. М. Бахтин ; сост., текстолог. подгот. И. В. Пешков. - М. : Лабиринт, 2000. - 640 с. - (Бахтин под маской). - ISBN 5-87604-016-9
Дод. точки доступу: Пешков, текстолог. подгот.: Пешков, И. В. (сост., текстолог. подгот.); Фрейд, Зигмунд (о нём)
|
7. |
Яковишин, Владимир Семенович. Формальный язык. Теория. Грамматика. Применение / В. С. Яковишин ; НАН Беларуси, Институт технической кибернетики. - Минск : [б.и.], 2000. - 151 с. - Библиогр.: с. 145-151. - ISBN 985-6453-57-7
Дод. точки доступу: НАН Беларуси; Институт технической кибернетики (Минск)
|
8. |
Церлюкевич, Виталий Казимирович. Формальный и функциональый аспекты в анализе дифференциальных признаков простого предложения русского языка как лингвистической единицы : автореф. дис... канд. филол. наук: 10.02.01 / Церлюкевич Виталий Казимирович ; Белорусский гос. ун-т им. В.И.Ленина. - Минск, 1990. - 21 с.
Дод. точки доступу: Белорусский гос. университет имени В. И. Ленина
|
9. |
Лисовик, Леонид Петрович Формальные языки и трансдьюсеры : [В 4 т.] / Л. П. Лисовик. - К. : Феникс, 2006 . - ISBN 966-651-282-3. Т. 2, кн. 2 : Вычисления над размеченными деревьями. - [Б. м.] : [б.и.], 2006. - 440 с. - Библиогр.: с. 416-435. - ISBN 966-651-283-1(том 2). - ISBN 966-651-313-7(книга 2-я)
|
10. |
Лисовик, Леонид Петрович Формальные языки и трансдьюсеры : [В 4 т.] / Л. П. Лисовик. - К. : Феникс, 2006 . - ISBN 966-651-282-3. Т. 2, кн. 1 : Вычисления над размеченными деревьями. - [Б. м.] : [б.и.], 2006. - 400 с. - Библиогр.: с. 389-397. - ISBN 966-651-283-1 (т. 2). - ISBN 966-651-284-X (кн. 1)
|
11. |
Тарасюк, Ольга Михайловна. Формальные технологии разработки безопасных компьютерных систем = Formal methods-based technologies for safeware : практикум / О. М. Тарасюк, А. В. Горбенко ; под ред. В. С. Харченко ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ". - Х. : НАУ "ХАИ", 2012. - 74 с. : рис., табл. - Назва обкл. : Технологии дли ИТ-инженерии безопасности на основе формальных методов. - Бібліогр.: с. 64-65 . - 300 прим. - ISBN 978-966-662-276-4
Дод. точки доступу: Горбенко, Анатолий Викторович; Харченко, В. С. (ред.); "Харьковский авиационный институт", национальный аэрокосмический университет имени Н. Е. Жуковского
|
12. |
Тарасюк, Ольга Михайловна. Формальные методы разработки критического программного обеспечения : практикум / О. М. Тарасюк, А. В. Горбенко ; ред. В. С. Харченко ; Национальный аэрокосмический ун-т им. Н.Е.Жуковского "ХАИ", Проект TEMPUS-MASTAC (JEP_26008_2005) MSc and PhD Studies in Aerospace Critical Computing. - Х. : [б. и.], 2008. - 116 с.: рис., табл. - (TEMPUS. Education and Culture. PhD). - Библиогр.: с. 96-97. - ISBN 978-966-662-184-2
Дод. точки доступу: Горбенко, Анатолий Викторович; Харченко, Вячеслав Сергеевич (ред.); Национальный аэрокосмический университет имени Н. Е. Жуковского "ХАИ"; Проект TEMPUS-MASTAC (JEP_26008_2005) MSc and PhD Studies in Aerospace Critical Computing
|
13. |
Тарасюк, Ольга Михайловна. Формальные методы разработки критического программного обеспечения : лекцион. материал / О. М. Тарасюк, А. В. Горбенко ; ред. В. С. Харченко ; Национальный аэрокосмический ун-т им. Н.Е.Жуковского "ХАИ", Проект TEMPUS-MASTAC (JEP_26008_2005) MSc and PhD Studies in Aerospace Critical Computing. - Х. : [б. и.], 2009. - 214 с.: рис., табл. - (TEMPUS. Education and Culture. PhD). - Библиогр.: с. 201-206. - ISBN 978-966-96770-8-2
Дод. точки доступу: Горбенко, Анатолий Викторович; Харченко, Вячеслав Сергеевич (ред.); Национальный аэрокосмический университет имени Н. Е. Жуковского "ХАИ"; Проект TEMPUS-MASTAC (JEP_26008_2005) MSc and PhD Studies in Aerospace Critical Computing
|
14. |
Формальные методы построения параллельных программ : науч. моногр. / А. Е. Дорошенко [и др.] ; Киев. нац. ун-т им. Тараса Шевченко, Ин-т програм. систем НАН Украины. - Кропивницький : Александрова М. В., 2016. - 440 с. : рис., табл. - Бібліогр.: с. 407-417 . - 300 прим. - ISBN 978-966-2466-56-0
Дод. точки доступу: Дорошенко, А. Е.; Жереб, К. А.; Иванов, Е. В.; Никитченко, Н. С.; Яценко, Е. А.; Киевский национальный университет имени Тараса Шевченко; Национальная академия наук Украины; Институт программных систем (Киев)
|
15. |
Опалева, Эльвира Александровна. Формальные методы описания перевода : учеб. пособие / Э. А. Опалева [и др.] ; Санкт-Петербургский гос. электротехнический ун-т "ЛЭТИ". - СПб. : Издательство СПбГЭТУ "ЛЭТИ", 2000. - 64 с. - Библиогр.: с. 62. - ISBN 5-7629-0356-7
Дод. точки доступу: Самойленко, Владимир Петрович; Семенова, Оксана Николаевна; Санкт-Петербургский гос. электротехнический университет "ЛЭТИ"
|
16. |
Кратко, М. И. Формальные исчисления Поста и конечные автоматы / М. И. Кратко. - М. : [б. и.], 1966. - [24] с. - Бібліогр.: с. 65
|
17. |
Болибекян, Оганес Рафаелович. Формальные исчисления и аксиоматические системы в неклассических логиках : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Болибекян Оганес Рафаелович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2002. - 15 с.
Дод. точки доступу: Институт проблем информатики и автоматизации НАН РА
|
18. |
Формальные грамматики и их применение в распознавании образов : учеб. пособие для студ., обуч. по направлению 551100 и спец. 220500 и 200800 / О. И. Атакищев [и др.] ; Курский гос. технический ун-т. - Курск : [б.и.], 2000. - 115 с. - ISBN 5-7681-0077-6
Дод. точки доступу: Атакищев, Олег Игоревич; Волков, Александр Петрович; Титов, Виталий Семенович; Старков, Федор Александрович; Курский гос. технический университет
|
19. |
Формальное описание алгоритмического языка АЛГЭК - У / Моск. экон.-стат. ин-т, Отраслевая науч.-исслед. лаб. теории механизир. обраб. экон. информ. ; [подгот.: Королёв М. А. и др.]. - М. : [б. и.], 1966. - 59 с. - 800 прим.
Дод. точки доступу: Королёв, М. А. (подгот.); Алферова, З. В. (подгот.); Данелян, Т. Я. (подгот.); Московский экономико-статистический институт. Отраслевая научно-исследовательская лаборатория теории механизированной обработки экономической информации
|
20. |
Медведь, Марина Николаевна. Формальное и семантическое варьирование модели There-V-N(mod)-L в современном английском языке : дис... канд. филол. наук.: 10.02.04 / Медведь Марина Николаевна ; Харьковский гуманитарный ун-т "народная украинская академия". - Х., 2002. - 198 л. - Библиогр.: л. 171-195
Дод. точки доступу: Харьковский гуманитарный университет "народная украинская академия"
|
| |