Полное описание
Жаков, В. И.
ГРНТИ УДК 50.05.03 004.415.2(043)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР91-8572)
Шифр в сводном ЭК: 71b49d6b2f1c442d86c61e816f51ecd6
Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Синтез моделей вычислительного эксперимента / А.В.Бржезовский,В.И.Жаков,В.А.Путилов,В.В.Фильчаков;Отв.ред.В.А.Путилов, 1992. - 231 с. - Текст : непосредственный. Жаков В.И. Прикладное программирование на языке Турбо-Паскаль : Метод. разраб. для проведения занятий в Центре компьютерного образования "Программотехника" / В. И. Жаков, В. А. Фетисов, В. В. Фильчаков, 1991. - 40 с. - Текст : непосредственный. Жаков В.И. Анализ параллельных алгоритмов и синтез программ с использованием символьных сетей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. И. Жаков, 1991. - 16 с. - Текст : непосредственный. 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 с. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
