Полное описание
Inductive logic programming : 19th International conference, ILP 2009, Leuven, Belgium, July 02-04, 2009: revised papers / ed. L. Raedt ; ed. L. Raedt. - Berlin ; Heidelberg : Springer, 2010. - on-line. - (Lecture notes in computer science ; 5989). - URL: http://dx.doi.org/10.1007/978-3-642-13840-9 . - ISBN 978-3-642-13840-9. - Текст : электронный.
ГРНТИ УДК 50.05.13 004.42.047(063)
Кл.слова (ненормированные): КОНФЕРЕНЦИИ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Доп. точки доступа: Raedt, L.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-13840-9
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.42.047(063)-471125)
Шифр в сводном ЭК: ec96e50a184238797ccd5fa633c064d9
Computer vision and graphics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Pattern recognition and image analysis / D. Hutchison, J. C. Mitchell, F. Mattern [et al.], 2009 r=on-line. - Текст : электронный. Multiple classifier systems / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Combinatorial pattern matching / D. Hutchison, D. Terzopoulos, M. Sudan [et al.], 2009 r=on-line. - Текст : электронный. Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Artificial neural networks - ICANN 2008 / SpringerLink (Online service), 2008 r=on-line. Component-based software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Comparative genomics / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Formal methods and software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Research in cryptology / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Post-quantum cryptography / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Hybrid metaheuristics / SpringerLink (Online service), 2008 r=on-line. Wireless algorithms, systems, and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Semantics in data and knowledge bases / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Computer vision - ECCV 2008 / SpringerLink (Online service), 2008 r=on-line. Computer vision -ECCV 2008 / SpringerLink (Online service), 2008 r=on-line. On the move to meaningful internet systems: OTM 2008 / David. Hutchison, Gerhard. Weikum, Demetri. Terzopoulos [et al.] ; ed. R. Meersman, 2008 r=on-line. Показать все результаты Helrich C.S. Modern thermodynamics with statistical mechanics / C. S. Helrich, 2009. - XIII, 402 p. - Текст : непосредственный. On the move to meaningful internet systems: OTM 2008 / David. Hutchison, Gerhard. Weikum, Demetri. Terzopoulos [et al.] ; ed. R. Meersman, 2008 r=on-line. Wechsler H. Reliable face recognition methods / H. Wechsler, 2007 r=on-line. - Текст : электронный. Golbeck J. Computing with social trust / J. Golbeck ; ed. J. Golbeck, 2009 r=on-line. - Текст : электронный. (Re)Searching the digital bauhaus / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Dong A. The language of design / A. Dong, 2009 r=on-line. - Текст : электронный. Seffah A. Adoption-centric usability engineering / A. Seffah, E. Metzker, 2009 r=on-line. - Текст : электронный. Takuma T. Electric fields in composite dielectrics and their applications / T. Takuma, B. Techaumnat, 2010. - XIII, 176 p. - Текст : непосредственный. Teschl G. Mathematik fur Informatiker / G. Teschl, S. Teschl, 2007 r=on-line. - Текст : электронный. Wagner M.H. Wegweiser fur den Erfinder / M. H. Wagner, W. Thieler, 2007 r=on-line. - Текст : электронный. Conrads U. Zeit des Labyrinths / U. Conrads, 2007 r=on-line. Isermann R. Mechatronische Systeme / R. Isermann, 2008 r=on-line. - Текст : электронный. Walter T. Kompendium der Web-Programmierung / T. Walter, 2008 r=on-line. - Текст : электронный. Reimers U. DVB — Digitale Fernsehtechnik / U. Reimers, 2008 r=on-line. - Текст : электронный. Ponn J. Konzeptentwicklung und Gestaltung technischer Produkte / J. Ponn, U. Lindemann, 2008 r=on-line. - Текст : электронный. Orlowski P.F. Praktische Regeltechnik / P. F. Orlowski, 2008 r=on-line. - Текст : электронный. Lunze J. Regelungstechnik 1 / J. Lunze, 2008 r=on-line. - Текст : электронный. Fetzer A. Mathematik 1 / A. Fetzer, H. Frankel, 2008 r=on-line. - Текст : электронный. Thies K.H. Management operationaler IT- und Prozess-Risiken / K. H. Thies, 2008 r=on-line. - Текст : электронный. Weigand B. Thermodynamik kompakt / B. Weigand, J. Kohler, J. von Wolfersdorf, 2008 r=on-line. - Текст : электронный. Показать все результаты Оузьер Д. Освой самостоятельно 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
