Полное описание
Welsch, C. Перевод заглавия: Интеграция концепций объективно-ориентированного и логического программирования:Дис.
ГРНТИ УДК 50.05.13 004.42.045(043) 004.42.047(043)
Рубрики: Программирование для ЭВМ
Кл.слова (ненормированные): ПРОГРАММИРОВАНИЕ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): G2/16300)
Шифр в сводном ЭК: 40d7d19ac480f3f3d7fbe4b8eb3aa5b6
Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный. Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный. 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. - Текст : электронный. Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Показать все результаты Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный. Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный. Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный. Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 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 с. - Текст : непосредственный. Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный. Мартин Р. Чистый код: создание анализ и рефакторинг / Р. Мартин, 2013. - 464 с. - Текст : непосредственный. Лукьянов П.Б. Высокоуровневые методы информатики и программирования : выставочные материалы / П. Б. Лукьянов, 2013. - 167 с. - Текст : непосредственный. Горбунов-Посадов М.М. Формы многократно используемых компонентов программы / М. М. Горбунов-Посадов, 1997. - 16 с. - Текст : непосредственный. Стаценко П.Б. Интегрированная среда системы программирования : препринт / П. Б. Стаценко, 1993. - 40 с. - Текст : непосредственный. Стаценко П.Б. Реализация интегрированной среды системы программирования QUASIC-3 / П. Б. Стаценко, 1993. - 16 с. - Текст : непосредственный. Разработка приложений на Visual C++ с использованием MFC: от простого к сложному за 10 шагов / Сост. Л. В. Гурьянов ; Ред. Б. Г. Хмелевский, 2002. - 89 с. - Текст : непосредственный. Нахавандипур В. iOS. Приемы программирования / В. Нахавандипур ; Пер. О. Сивченко, 2015. - 832 с. - Текст : непосредственный. Показать все результаты Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный. Манцивода А.В. Логическое программирование в ограничениях: семантический подход : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный. Мазин М.А. Автоматное программирование для среды языково-ориентированного программирования / М. А. Мазин, 2010. - 16 с. - Текст : непосредственный. Klingler A. Datenparallele Auswertung rekursiver logischer Programme / A. Klingler, 1993. - 152 S. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Березин Е.Г. Языковые средства программирования в объектно-базированной среде КЛАСТОС : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / Е. Г. Березин, 1993. - 20 с. - Текст : непосредственный. Олейник П.П. Разработка методики построения унифицированных трехзвенных объектно-ориентированных приложений : автореф. дис. .. канд. техн. наук: 05.13.11 / П. П. Олейник, 2007. - 28 с. - Текст : непосредственный. Гуров В.С. Технология проектирования и реализации объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация) : автореф. дис. .. канд. техн. наук: 05.13.11 / В. С. Гуров, 2008. - 16 с. - Текст : непосредственный. Stahl I. Das Einfuhren neuer Pradikate in der Induktiven Logischen Programmierung : Diss / I.Stahl, 1995. - 204 S. - Текст : непосредственный. Муханов Р.С. Разработка и реализация инструментария аспектно-ориентированного программирования для академической версии.NET : автореф. дис. .. канд. физ.-мат. наук: 05.13.11 / Р. С. Муханов, 2010. - 15 с. - Текст : непосредственный. Johansson A.-L. Logic program synthesis using schema instantiation in an interactive environment : Diss. / A.-L.Johansson, 1995. - XII,195 p. p. - Текст : непосредственный. 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. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
