Полное описание
> Logic programming : proc. of the tenth Intern. conf. on logic programming, Budapest, June 21-25, 1993 / Ed. D. S. Warren. - Cambridge, Ma : [s. n.] ; London : [s. n.], 1993. - XX,854 p. p. - ISBN 0-262-63152-0. - Текст : непосредственный. Библиогр.в конце ст.
ГРНТИ УДК 50.05.13 004.42.047(063)
Рубрики: Программирование для ЭВМ логическое -- Съезды и конференции
Кл.слова (ненормированные): ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Доп. точки доступа: Warren, D.S.\ed.\
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): G2/21139)
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): G2/21140)>
Шифр в сводном ЭК: 6fa4394aff90f90b36b65725bf791da6
Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Logic programming : 25th international conference, ICLP 2009, Pasadena, Ca, USA, July 14-17, 2009: proceedings / ed. P. Hill, 2009 r=on-line. - Текст : электронный. Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007: proceedings / ed. V. Dahl, 2007 r=on-line. - Текст : электронный. Logic programming : 24th International conference, ICLP 2008 Udine, Italy, December 9-13 2008: proceedings / ed.: M. Garcia de la Banda, E. Pontelli, 2008 r=on-line. - Текст : электронный. Logic programming : Proc.of the joint intern. conf. and symp. on logic programming, London, 1992 / Ed. K. Apt, 1992. - XX,848 p. p. - Текст : непосредственный. Logic programming : Proc. of the tenth Intern. conf. on logic programming, Budapest, June 21-25, 1993 / Ed. D. S. Warren, 1993. - XX,854 p. p. - Текст : непосредственный. Logic programming : Proc. of the 1990 North amer. conf. on logic programming, Austin(Tx), from Oct.29 to Nov.1,1990 / ed. S. Debray, ed. M. Hermenegildo, 1990. - XVIII,845 p. p. - Текст : непосредственный. Logic programming : 22nd international conference, ICLP 2006, Seattle, Wa, USA, August 17-20, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005: proceedings / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Tick E. Parallel logic programming / E.Tick, 1991. - 486 p. - Текст : непосредственный. Logic programming : Proc.of the 7th intern.conf.,held in Jerusalem,June 18-20,1990 / Ed.: D. H.D. Warren, P. Szeredi, 1990. - 788 p. - Текст : непосредственный. Оузьер Д. Освой самостоятельно 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. - Текст : электронный. Показать все результаты Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный. Algebraic and logic programming : материалы временных коллективов / Ed.: H. Kirchner, W. Wechler, 1990. - 386 p. - Текст : непосредственный. Programming language implementation and logic programming : материал технической информации / Ed.: P. Decansant, J. Maluszynski, 1990. - VIII,401 p. p. - Текст : непосредственный. Programming language implementation and logic programming : материалы временных коллективов / Ed.: J. Maluszynski, M. Wirsing, 1991. - 433 p. - Текст : непосредственный. Recent advances in constraints / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Functional and logic programming / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный. Logic programming : 25th international conference, ICLP 2009, Pasadena, Ca, USA, July 14-17, 2009: proceedings / ed. P. Hill, 2009 r=on-line. - Текст : электронный. Recent advances in constraints : 13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008, Rome, Italy, June 18-20, 2008: revised selected papers / ed. A. Oddi, 2009 r=on-line. - Текст : электронный. Programming language implementation and logic programming : 6th intern.symp.,PLILP'94,Madrid,Sept.14-16 1994:Proc. / PLILP'94, 1994. - XII,468 p. p. - Текст : непосредственный. Algebraic and logic programming : 4th intern.conf.,ALP'94,Madrid,Sept.14-16 1994:Proc. / ALP'94, 1994. - VIII,304 p. p. - Текст : непосредственный. Inductive logic programming : 19th International conference, ILP 2009, Leuven, Belgium, July 02-04, 2009: revised papers / ed. L. Raedt, 2010 r=on-line. - Текст : электронный. Показать все результаты Заказать
Заказ фрагмента документа ₽