| № | Дата |
Автор |
Заглавие |
|---|
|
2007 |
Бурдонов, Игорь Борисович (род. 1948) |
Теория конформности для функционального тестирования программных систем на основе формальных моделей : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.11 / Бурдонов Игорь Борисович ; [Институт системного программирования Российской академии наук] |
|
1996 |
Савенкова, Елена Дмитриевна |
Этрусская морфемика : Опыт формал. моделирования / С.-Петерб. гос. ун-т |
|
2001 |
|
Формальные методы в лингвистической поэтике : Сб. науч. тр., посвящ. 60-летию проф. С.-Петерб. гос. ун-та М.А.Красноперовой / Сост. и общ. ред. Б.Шерра, Е.В.Казарцева |
|
1998 |
Бакулин, Александр Владимирович (информатика) |
Формализованный подход к разработке программного обеспечения / А. В. Бакулин |
|
2001 |
Гуковский, Григорий Александрович (доктор филологических наук ; 1902—1950) |
Ранние работы по истории русской поэзии XVIII века / Г.А.Гуковский ; Общ. ред. и вступ. ст., [с. 7-31], В.М.Живова |
|
2006 |
|
Modern formal methods and applications [Electronic resource] / ed. by Hossam A. Gabbar |
|
2015 |
Арсланов, Виктор Григорьевич (доктор искусствоведения ; род. 1947) |
Теория и история искусствознания : [учебное пособие для вузов : в 5 т.] / Виктор Арсланов ; Российская академия художеств, НИИ теории и истории изобразительных искусств. — [Т. 3]: XX век. Формальная школа |
|
1997 |
Горных, Андрей Анатольевич (кандидат философских наук ; род. 1968) |
Проблема текста в формальной традиции XX века : (социально-философский анализ эстетической и антропологической парадигм) : автореферат диссертации на соискание ученой степени кандидата философских наук : специальность 09.00.11 Социальная философия / Горных Андрей Анатольевич ; Белорусский государственный университет |
|
2001 |
|
Current issues in formal Slavic linguistics / editors: Gerhild Zybatow [et al.] |
|
2009 |
Бонч-Осмоловская, Татьяна Борисовна (кандидат филологических наук ; род. 1963) |
Введение в литературу формальных ограничений : литература формы и игры от античности до наших дней / Т. Б. Бонч-Осмоловская |
|
2002 |
Тютюнов, Алексей Дмитриевич |
Способ и специализированные устройства коллективного доступа распределенных машин баз данных : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.05 / Тютюнов Алексей Дмитриевич ; Курс. гос. техн. ун-т |
|
2006 |
Протас, Дмитрий Владимирович (кандидат технических наук) |
Математическое и алгоритмическое обеспечение сервисно-ориентированной среды поддержки управления качеством программных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Протас Дмитрий Владимирович ; [Московский государственный университет им. М.В.Ломоносова] |
|
???? |
|
Seminar on computer science, 2000 / Univ. "Babes-Bolyai", Cluj-Napoca. Fac. of Mathematics a. Computer Science |
|
2004 |
|
Computer safety, reliability, and security : 23rd Intern. conf., SAFECOMP 2004, Potsdam, Germany, Sept. 21-24, 2004 : proceedings / ed. Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann |
|
2004 |
Фомичев, Владимир Александрович |
Метод формального описания содержания сложных естественно-языковых текстов и его применение к проектированию лингвистических процессоров : автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.11 / Фомичев Владимир Александрович ; Министерство образования и науки Российской Федерации, Московский государстенный институт электроники и математики (Технический университет) |
|
1924 |
Багрий, Александр Васильевич (1891—1949) |
Формальный метод в литературе : (библиография) / А. В. Багрий |
|
2004 |
|
Системная информатика / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова. — [Вып.] 9: Формальные методы и модели информатики : сб. науч. тр. / под ред. А.Г. Марчука |
|
2005 |
Чулков, Сергей Павлович |
О сходимости и существовании формальных решений систем квазилинейных дифференциальных уравнений в частных производных : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.04 / Чулков Сергей Павлович ; [Московский государственный университет им. М.В.Ломоносова] |
|
2003 |
Budyta-Budzynska, Malgorzata |
Mniejszosci narodowe - bogactwo czy problem? : instytucjonalizacja mniejszosci narodowych w Polsce w latach 1989-2002 / Malgorzata Budyta-Budzynska ; redaktor: B. Stefanczak |
|
2003 |
Арсланов, Виктор Григорьевич (доктор искусствоведения ; род. 1947) |
История западного искусствознания XX века : Учеб. пособие для вузов / В.Г.Арсланов |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ