Приложение
для AndroidПолное описание
Галкин, И. М. Семантические сети в разработке и сопровождении программ : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. М. Галкин. - СПб., 1991. - 15 с. - Текст : непосредственный.
В надзаг.: С.-Петербург.гос.ун-т. Библиогр.: с. 14-15(12 назв.).
| ГРНТИ | УДК | |
| 50.05.03 | 004.415.2(043) |
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР91-14864)
Шифр в сводном ЭК: eedc65c9856b28c9ab06e0539abefb19
Галкин И.М. Использование семантических сетевых моделей для разработки и сопровождения программ / И. М. Галкин, 1989. - 40 с. - Текст : непосредственный.
Галкин И.М. Использование семантических сетей в процессе создания и эксплуатации программ / И.М.Галкин, 1990. - 44 c. - Текст : непосредственный.Галкин И.М. Исследование структуры реальной поверхности полярных граней кристаллов полупроводниковых соединений методом асимптотической брэгговской дифракции : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.04.10 / И. М. Галкин, 1992. - 21 с. - Текст : непосредственный.Галкин И.М. Блок управления шаговыми двигателями с электронным дроблением шага для рентгеновского дифрактометра / И.М.Галкин,В.А.Чапланов, 1990. - 8 c. - Текст : непосредственный.Галкин И.М. Сетевое моделирование, статический и динамический анализ программ / И.М.Галкин, 1991. - 52 c. - Текст : непосредственный.Галкин И.М. Семантические сети в разработке и сопровождении программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. М. Галкин, 1991. - 15 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный.Иванов Б.Н. Дискретная математика. Алгоритмы и программы / Б. Н. Иванов, 2003. - 288 с. - Текст : непосредственный.Herczeg J. Methoden und Werkzeuge zur visuellen objektorientierten Programmierung / J. Herczeg, 1995. - 218 S. - Текст : непосредственный.Калверт Ч. Программирование в Windows. Освой самостоятельно за 21 день : монография / Ч. Калверт, 1995. - 495 c. - Текст : непосредственный.Петухин В.А. Анализ логических программ и компиляция языка Флэнг : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / В. А. Петухин, 1993. - 13 с. - Текст : непосредственный.Манцивода А.В. Логическое программирование в ограничениях: семантический подход : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный.Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный.Eckgold F. Systemprogramierung OS/2 2.x : монография / F. Eckgold, 1993. - XV,959 p. p. - Текст : непосредственный.Marchiori E. A logic for variable aliasing in logic programs / E. Marchiori, 1994. - 16 p. - Текст : непосредственный.Bossi A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics / A. Bossi, S. Etalle, 1994. - 18 p. - Текст : непосредственный.Middeldorp A. Counterexamples to completeness results for basic narrowing / A. Middeldorp, E. Hamoen, 1991. - 44 p. - Текст : непосредственный.On the adequacy of graph rewriting for simulating term rewriting / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.-J. de Vries, 1992. - 18 p. - Текст : непосредственный.Rewriting techniques and applications : материалы временных коллективов / Ed. R. V. Book, 1991. - 458 p. - Текст : непосредственный.Conditional and typed rewriting systems : материалы временных коллективов / Ed.: S. Kaplin, M. Okada, 1991. - X,461 p. p. - Текст : непосредственный.Transfinite reductions in orthogonal term rewriting systems (extended abstract) / J. R. Kennaway, J. W. Klop, M. R. Sleep, F. J.de Vries, 1990. - 16 p. - Текст : непосредственный.infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.J. de Vries, 1990. - 12 p. - Текст : непосредственный. Transfinite reductions in orthogonal term rewriting systems / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.J. de Vries, 1990. - 48 p. - Текст : непосредственный.Middeldorp A. Completeness of combinations of constructor systems / A. Middeldorp, Y. Toyama, 1990. - 18 p. - Текст : непосредственный.
Показать все результатыФилимонов А.В. Разработка и реализация многоуровневых алгоритмов декомпозиции гиперграфовых моделей / А. В. Филимонов, 2008. - 23 с. - Текст : непосредственный.Костылев Е.В. Алгоритмы антиунификации и их применение для вычисления инвариантов программ : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Е. В. Костылев, 2008. - 23 с. - Текст : непосредственный.Фролова Н.В. Методы реализации графориентированных инструментальных сред и их применение для создания приложений : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Н. В. Фролова, 1999. - 18 с. - Текст : непосредственный.
Дюсембаев А.Е. Корректные модели сегментации программ : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / А. Е. Дюсембаев, 1994. - 33 с. - Текст : непосредственный.Матьяш В.А. Реверсивные методы структурной разработки программных систем на начальных этапах жизненного цикла : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / В. А. Матьяш, 1999. - 20 с. - Текст : непосредственный.Лавров В.А. Исследование и реализация эффективных методов записи активности пользователя персонального компьютера : автореф. дис. .. канд. техн. наук: 05.13.11 / В. А. Лавров, 2005. - 18 c. - Текст : непосредственный.Плеханова В.М. Математические модели для исследования возможностей и совместимости ресурсов производства программного продукта : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / В. М. Плеханова, 1999. - 17 с. - Текст : непосредственный.Ульянов Д.Э. Разработка и реализация системы конфигурирования программ для транспьютерных сетей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Д. Э. Ульянов, 1995. - 16 с. - Текст : непосредственный.Шахин Вадиа Ханна.Разработка методов оптимального проектирования программных средств : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11,05.13.12 / Шахин Вадиа Ханна, 1994. - 10 с. - Текст : непосредственный.Бурцев А.П. Разработка программного обеспечения автоматизированных информационных систем на основе моделей выполнения запросов,сценариев диалога и принятия решений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / А. П. Бурцев, 1992. - 20 с. - Текст : непосредственный.Шербекова У.А. Программно-испытательный стенд для создания эффективных программ решения жестких задач : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / У. А. Шербекова, 1991. - 15 с. - Текст : непосредственный.Галкин И.М. Семантические сети в разработке и сопровождении программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. М. Галкин, 1991. - 15 с. - Текст : непосредственный.Рощин М.А. Проектирование многокомпонентных программных систем на основе гибридных логических моделей : автореф. дис. .. канд. техн. наук: 05.13.01 / М. А. Рощин, 2007. - 24 с. - Текст : непосредственный.Бакулин А.В. Развитие метода и инструментария многоуровневого доказательного проектирования программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. В. Бакулин, 1992. - 18 с. - Текст : непосредственный.Жаков В.И. Анализ параллельных алгоритмов и синтез программ с использованием символьных сетей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. И. Жаков, 1991. - 16 с. - Текст : непосредственный.Демин А.Ю. Проектирование и оценка качества программ на основе структурно-графических представлений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / А. Ю. Демин, 1998. - 18 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽