Полное описание
> Logic and the foundations of game and decision theory – loft 8 : 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008: revised selected papers / ed. G. Bonanno ; ed.: G. Bonanno [et al.]. - Berlin ; Heidelberg : Springer, 2010. - on-line. - (Lecture notes in computer science ; 6006). - URL: http://dx.doi.org/10.1007/978-3-642-15164-4. - ISBN 978-3-642-15164-4. - Текст : электронный.
| ГРНТИ | УДК | |
| 27.03.19 | 510(063) | |
| 28.29.05 | 519.83(063) | |
| 28.29.03 | 519.8(063) |
Кл.слова (ненормированные): КОНФЕРЕНЦИИ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ ИГР -- ТЕОРИЯ ПРИНЯТИЯ РЕШЕНИЙ
Доп. точки доступа:
Bonanno, G.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-15164-4
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 510(063)-163745)>
Шифр в сводном ЭК: 2ebabbb7e0f520f50fef7b4fb9e18ddd
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. - Текст : электронный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Dutilly M. D. Computer-aided decision making : монография / M. D. Dutilly, K. S. Grafton, C. A. McFarland, 1981. - 133 мкфш. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Чистов В.В. Теория принятия решений / В. В. Чистов, А. Л. Волоков, 2002. - 396 с. - Текст : непосредственный.Козлов В.Н. Системный анализ, оптимизация и принятие решений : учебное пособие / В. Н. Козлов, 2010. - 173 с. - Текст : непосредственный.Лефевр В.А. Алгебра конфликта / В. А. Лефевр, Г. Л. Смолян, 1968. - 63 c. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Белкин А.Р. Принятие решений: комбинаторные модели аппроксимации информации / А. Р. Белкин, М. Ш. Левин, 1990. - 160 с. - Текст : непосредственный.Петросян Л.А. Игры поиска / Л. А. Петросян, А. Ю. Гарнаев, 1992. - 217 с. - Текст : непосредственный.Advances in dynamic games and their applications / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Гроот М. Де Оптимальные статистические решения, 1974. - 491 с. - Текст : непосредственный.Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный.Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный.
Показать все результатыАлгебра и логика: теория и приложения : материалы временных коллективов / Сибирский федеральный ун-т (Красноярск), 2013. - 190 с. - Текст : непосредственный.Operations research proceedings 2006 / SpringerLink (Online service), 2007 r=on-lineДискретный анализ и исследование операций : материалы временных коллективов / Институт математики им. С. Л. Соболева (Новосибирск), 2004. - 231 с. - Текст : непосредственный.Логико-алгебраические методы, модели, прикладные применения, 2001. - 145 с. - Текст : непосредственный.Logic for programming, artificial intelligence, and reasoning / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Typed lambda calculi and applications / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Logic, language, information and computation : 17th International workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010: proceedings / ed. A. Dawar, 2010 r=on-line. - Текст : электронный.Computer science logic : 24th International workshop, CSL 2010, 19th Annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010: proceedings / ed. A. Dawar, 2010 r=on-line. - Текст : электронный.Logic and the foundations of game and decision theory – loft 8 : 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008: revised selected papers / ed. G. Bonanno, 2010 r=on-line. - Текст : электронный.13th symposium on operations research, Paderborn, Sept.7-9, 1988 : Proc. / Symposium on operations research (13 ; 1988 ; Paderborn) , 1990. - XVII,766 p. p. - Текст : непосредственный. Международная сибирская конференция по исследованию операций : Новосибирск, 22-27 июня 1998 г.Материалы конф. / Международная сибирская конф. по исслед. операций (1998 ; Новосибирск) , 1998. - 164 с. - Текст : непосредственный.VI Московская международная конференция по исследованию операций (ORM2010) : Москва, 19-23 октября 2010 г.: труды / Московская международная конф. по исслед. операций (6 ; 2010) , 2010. - 523 с. - Текст : непосредственный.Дискретная оптимизация и исследование операций : рос. конф., Алтай, 27 июня - 3 июля 2010: материалы конф. / Институт математики им. С. Л. Соболева (Новосибирск), 2010. - 221 с. - Текст : непосредственный.Дискретный анализ и исследование операций : Рос. конф.Новосибирск, 24-28 июля 2002Материалы конф., 2002. - 253 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Просмотр издания