| № | Дата |
Автор |
Заглавие |
|---|
|
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 |
|
2002 |
Абрамова, Нина Александровна (доктор технических наук) |
Методология повышения надежности проектирования программно-технических средств на основе формализации знаний : автореферат диссертации на соискание ученой степени доктора технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей / Абрамова Нина Александровна ; [Институт проблем управления им. В. А. Трапезникова РАН] |
|
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 века : Учеб. пособие для вузов / В.Г.Арсланов |
|
1988 |
Grosser, Christiane |
Kommunikationsform und Informationsvermittlung : eine experimentelle Studie zu Behalten u. Nutzung von Information in Abhangigkeit von ihrer formalen Prasentation / Chridtiane Grosser |
|
2010 |
Желтов, Павел Валерианович |
Сопоставительно-сравнительное исследование морфем чувашского языка с применением формальных методов : автореферат диссертации на соискание ученой степени кандидата филологических наук : 10.02.20 / Желтов Павел Валерианович ; ["Чувашский государственный университет им. И. Н. Ульянова"] |
|
2010 |
Мирошниченко, Ирина Иосифовна |
Формализованный анализ и моделирование информационно-образовательной среды учебного подразделения вуза : автореферат диссертации на соискание ученой степени кандидата экономических наук : 08.00.13 / Мирошниченко Ирина Иосифовна ; [ГОУ ВПО "Ростовский государственный экономический университет"] |
|
2006 |
Пономарев, Денис Константинович |
Проблема разложимости при формальном описании знаний = Formal knowledge representation and the decomposability problem / Д. К. Пономарев |
|
2002 |
Асанов, Артем Асхатович |
Методы извлечения и анализа экспертных знаний : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.10 / Асанов Артем Асханович ; [Ин-т систем. анализа Рос. акад. наук] |
|
2005 |
Кац, Виктор Григорьевич (кандидат физико-математических наук ; род. 1943) |
Вертексные алгебры для начинающих / В.Г. Кац ; пер. с англ. И.М. Парамоновой |
|
2011 |
|
Formal methods: foundations and applications : 14th Brazilian symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers / Adenliso Simao, Carroll Morgan (eds.) |
|
1927 |
Энгельгардт, Борис Михайлович (1887—1942) |
Формальный метод в истории литературы / Б. М. Энгельгардт |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ