Полное описание
Logic programming'88 : proc. of the 7th conf., Tokyo, Japan, Apr. 11-14, 1988 / Ed. K. Furukawa ; ed. K. Furukawa. - Berlin [etc.] : Springer, 1989. - VIII, 251 p. 251 p. : ill. - (Lecture notes in artificial intelligence ; n383). - ISBN 3-540-51564-X. - Текст : непосредственный. Перевод заглавия: Логическое программирование-88:Труды 7-ой конф., Токио, 1988
ГРНТИ УДК 50.05.13 004.42.047(063)
Рубрики: Программирование для ЭВМ логическое -- Съезды и конференции
Кл.слова (ненормированные): ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Доп. точки доступа: Furukawa, K.\ed.\
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16482/383)
Шифр в сводном ЭК: e4b0b14cdb55389b96ba72ca9f30da56
Лицевая сторона карточки Обратная сторона карточки
New streak-camera system for the KEKB linac : Submitted to the 1st Asian particle accelerator conf.,APAC98,KEK,Tsukuba,Japan,Mar.23-27,1998 / Y.Ogawa,K.Furukawa,T.Kamitani и др., 1998. - 3 p. - Текст : непосредственный. Beam-position monitor system for the KEKB injector linac : Presented at the 8th beam instr.workshop,SLAC,Stanford,California,U.S.A.,May 4-7,1998 / T.Suwada,N.Kamikubota,K.Furukawa,H.Kobayashi, 1998. - 8 p. - Текст : непосредственный. Logic programming'88 : Proc. of the 7th conf., Tokyo, Japan, Apr. 11-14, 1988 / Ed. K. Furukawa, 1989. - VIII, 251 p. 251 p. - Текст : непосредственный. Kamikubota N. Development of a CORBA toolkit and its evaluation : Contributed to the Intern.conf.on accelerator a.large experimental physics control systems(ICALEPCS'97), the People's republic of China,Nov.3-7,1997 / N.Kamikubota,M.Clausen,K.Furukawa, 1997. - 5 p. - Текст : непосредственный. New screen monitor system for the KEKB injector linac : Presented at the 22th linear accelerator meet.in Japan,Sendai,Sept.9-11,1997 / T.Suwada,N.Kamikubota,K.Furukawa,H.Kobayashi, 1997. - 3 p. - Текст : непосредственный. Logic programming'89 : Proc.of the 8th conf.Tokyo,July 12-14 1989 / Ed. K. Furukawa, 1991. - 183 p. - Текст : непосредственный. study of the control system for long-baseline laser interferometer : Contributed to the 6th Marcel Grossmann meet.on general relativity(MG 6),Kyoto,June 23-29,1991 / N.Kamikubota,K.Furukawa,K.Nakahara и др., 1991. - 3 p. - Текст : непосредственный. Microwave monitor system for the KEKB injector linac : Submitted to the 1st Asian particle accelerator conf.,APAC98,KEK,Tsukuba,Japan,Mar.23-27,1998 / H.Katagiri,K.Furukawa,H.Hanaki,S.Anami, 1998. - 3 p. - Текст : непосредственный. New data-acquisition system of beam-position and wall-current monitors for the KEKB injector linac : Presented to the First Asian particle accelerator conf.,APAC98,KEK,Tsukuba,Japan,Mar.23-27,1998 / T.Suwada,N.Kamikubota,K.Furukawa,H.Kobayashi, 1998. - 3 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. - Текст : электронный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
