Полное описание
Дехтярь, М. И.
ГРНТИ УДК 27.03.17 510.522(043) 50.05.13 004.42.047(043)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар09-21386)
Шифр в сводном ЭК: 19b9b31080137e772fe6ba8189ef2178
Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный. Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный. Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный. Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный. Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный. Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный. Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный. Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный. Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный. Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Показать все результаты Манцивода А.В. Логическое программирование в ограничениях: семантический подход : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный. Klingler A. Datenparallele Auswertung rekursiver logischer Programme / A. Klingler, 1993. - 152 S. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Кноп А.А. Сложность эвристических вычислений и интерактивных протоколов : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / А. А. Кноп, 2016. - 22 с. - Текст : непосредственный. Stahl I. Das Einfuhren neuer Pradikate in der Induktiven Logischen Programmierung : Diss / I.Stahl, 1995. - 204 S. - Текст : непосредственный. Воробьев Ф.Ю. О предельных свойствах случайных КНФ : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Ф. Ю. Воробьев, 2008. - 15 с. - Текст : непосредственный. Johansson A.-L. Logic program synthesis using schema instantiation in an interactive environment : Diss. / A.-L.Johansson, 1995. - XII,195 p. p. - Текст : непосредственный. Рыбалов А.Н. Сложность вычислений в алгебраических системах : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / А. Н. Рыбалов, 2005. - 20 с. - Текст : непосредственный. Файзрахманов М.Х. Тьюринговые скачки в иерархии Ершова : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / М. Х. Файзрахманов, 2011. - 18 с. - Текст : непосредственный. Bostrom H. Explanation-based transformation of logic programs : Diss / H.Bostr@:om, 1993. - 178 p. - Текст : непосредственный. Walter J. Parallele Abarbeitung logischer Programme auf einem Multi- Transputer-System : Diss. / J.Walter, 1993. - 221 S. - Текст : непосредственный. Linear logic I : Meeting, Tokyo, Mar.28- Apr.2, 1996 / Ed. J.-Y. Girard, 1999. - 386 p. - Текст : непосредственный. Tausend B. Beschrankungen der Hypothesensprache und ihre Reprasentation in der Induktiven Logischen Programmierung : Diss. / B.Tausend, 1994. - 226 S. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
