ГПНТБ России - Полное описание

Государственная публичная
научно-техническая библиотека России

Основана в 1958 году

Полное описание

Fundamentals of computation theory : 17th International symposium, FCT 2009, Wroclaw, Poland, Sept. 2-4, 2009: proceedings / ed. M. Kutylowski ; ed. M. Kutylowski. - Berlin ; Heidelberg : Springer, 2009. - on-line. - (Lecture notes in computer science ; 5699). - URL: http://dx.doi.org/10.1007/978-3-642-03409-1. - ISBN 978-3-642-03409-1. - Текст : электронный.

ГРНТИ	УДК
27.03.17	510.522(062)

Кл.слова (ненормированные): КОНФЕРЕНЦИИ -- СЛОЖНОСТЬ ВЫЧИСЛЕНИЙ
Доп. точки доступа:
Kutylowski, M.\ed.\
SpringerLink (Online service)

http://dx.doi.org/10.1007/978-3-642-03409-1

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 510.52(063)/F97-087616)

Шифр в сводном ЭК: bcb0e9b54034ac1938b8ea61f054892d

Fundamentals of computation theory : 17th International symposium, FCT 2009, Wroclaw, Poland, Sept. 2-4, 2009: proceedings / ed. M. Kutylowski, 2009 r=on-line. - Текст : электронный.

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.

Показать все результаты

Greiner W. Quantum electrodynamics / W. Greiner, J. Reinhardt, 2009. - XVI, 447 p. - Текст : непосредственный.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. - Текст : электронный.Catalysis by metal complexes / ed.: B. James , P. W. N. M. van Leeuwen. Vol. 28 : Heterocycles from transition metal catalysis : formation and functionalization / A. Kotschy, G. Timari, 2005. - XII, 199 p. - Текст : непосредственный.Catalysis by metal complexes / ed.: B. James, P. W. N. M. van Leeuwen. Vol. 29 : Metal catalysed reactions in ionic liquids / P. J. Dyson, T. J. Geldbach, 2005. - X, 246 p. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.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. - Текст : электронный.

Показать все результаты

Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный.HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный.Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный.Волченков С.Г. Методы построения эффективных алгоритмов / С. Г. Волченков, Ю. В. Богомолов, 2004. - 125 с. - Текст : непосредственный.Алексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный.Подзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный.Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный.Zakrzewski M. Wprowadzenie w teorie zlozonosci obliczeniowej: W kregu zagadnienia P-NP. / M. Zakrzewski, 1990. - 87 s. - Текст : непосредственный.Гашков С.Б. Арифметика. Алгоритмы. Сложность вычислений / С. Б. Гашков, В. Н. Чубариков, 2005. - 319 с. - Текст : непосредственный.Мир математики : [в 45 т.]. [Т.] 43 : Существуют ли неразрешимые проблемы? Математика, сложность и вычисление : [пер. с исп.] / Л. Ф. Ареан, 2014. - 143 с. - Текст : непосредственный.Сэвидж Д.Э. Сложность вычислений / Д. Э. Сэвидж, 1998. - 368 с. - Текст : непосредственный.Шумова Л.В. Частично-рекурсивные функции и алгоритмы : материалы временных коллективов / Л. В. Шумова, О. Б. Воронина, А. А. Шпонько, 2004. - 58 с. - Текст : непосредственный.Ворожцов А.В. Алгебраические методы определения сложности / А. В. Ворожцов, 2001. - 20 с. - Текст : непосредственный.Орехов Э.Ю. Введение в теорию сложности решения задач : учебное пособие / Э. Ю. Орехов, Ю. В. Орехов, 2008. - 87 с. - Текст : непосредственный.Шурыгин В.А. Сложностный метод теории алгоритмов / В. А. Шурыгин, 2009. - 194 с. - Текст : непосредственный.Мавликасова Г.Ч. Некоторые вопросы обобщенной вычислимости / Г. Ч. Мавликасова, 2000. - 28 с. - Текст : непосредственный.Parameterized and exact computation / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Романов В.Ф. Математическая логика и теория алгоритмов / В. Ф. Романов, 2003. - 23 с. - Текст : непосредственный.Нигматуллин Р.Г. Сложность булевых функций / Р. Г. Нигматуллин, 1991. - 239 c. - Текст : непосредственный.Алферова З.В. Теория алгоритмов, 1973. - 164 с. - Текст : непосредственный.

Показать все результаты

Лицевая сторона карточки	Обратная сторона карточки

Fundamentals of computation theory : 17th International symposium, FCT 2009, Wroclaw, Poland, Sept. 2-4, 2009: proceedings / ed. M. Kutylowski, 2009 r=on-line. - Текст : электронный.Theory and applications of models of computation : 7th Annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010: proceedings / ed. J. Kratochvil, 2010 r=on-line. - Текст : электронный.Algorithms and Complexity : 7th international conference, CIAC 2010, Rome, Italy, May 26-28, 2010: proceedings / ed. T. Calamoneri, 2010 r=on-line. - Текст : электронный.Parameterized and exact computation : second international workshop, IWPEC 2006, Zurich, Switzerland, September 13-15, 2006: proceedings / ed. H. Bodlaender, M. Langston, 2006 r=on-line Fundamentals of computation theory : 16th international symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007: proceedings / ed. E. Csuhaj-Varju, Z. Esik, 2007 r=on-line. - Текст : электронный.Harmonic analysis, signal processing, and complexity : festschrift in honor of the 60th birthday of Carlos A. Berenstein / ed. I. Sabadini, 2005 r=on-line. - Текст : электронный.Theory and applications of models of computation : 4th International conference, TAMC 2007, Shanghai, China, May 22-25, 2007: proceedings / ed. J. Cai, 2007 r=on-line. - Текст : электронный.Logic and theory of algorithms : 4th Conference on computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008: proceedings / ed. A. Beckmann, 2008 r=on-line. - Текст : электронный.Fundamentals of computation theory : 15th international symposium, FCT 2005 Lubeck, Germany, August 17-20, 2005: proceedings / eds. M. Liskiewicz, R. Reischuk, 2005 r=on-line. - Текст : электронный.Theory and applications of models of computation : 6th annual conference, TAMC 2009, Changsha, China, May 18-22, 2009: proceedings / ed. D. Hutchison [et al.], 2009 r=on-line. - Текст : электронный.Theory and applications of models of computation : 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008: proceedings / eds. M. Agrawal [et al.], 2008 r=on-line. - Текст : электронный.Parameterized and exact computation : third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008: proceedings / ed. M. Grohe, R. Niedermeier, 2008 r=on-line. - Текст : электронный.Machines, languages, and complexity : 5 intern.meet.of young computer scientists, Smolenice, Nov.,1988Selected contributions / Ed.: J. Dassow, J. Kelemen, 1989. - VI,244 p. p. - Текст : непосредственный.Special issue on the 14th annual IEEE conference on computational complexity, Atlanta(Ga), May 4-6, 1999 / Annual IEEE conference on computational complexity (14; 1999; Atlanta(Ga)), 2001. - 216-391 p. p. - Текст : непосредственный.Теория сложности вычислений : материалы Междунар. молодеж. науч. шк. в рамках фестиваля науки (4-5 сент. 2012 г.) / Воронежский ин-т высоких технологий, 2012. - 176 с. - Текст : непосредственный.Theory and applications of models of computation : third International conference, TAMC 2006, Beijing, China, May 15-20, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.Algorithms and complexity : 6th italian conference, CIAC 2006, Rome, Italy, May 29-31, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.Proceedings of the 7th annual structure in complexity theory conference June 22-25,1992,Boston(Ma) / Structure in complexity theory conference (7; 1992; Boston,Ma.), 1992. - VIII,347 p. p. - Текст : непосредственный.Proceedings: fifth annu. structure in complexity conf.Barselona,July 8-11,1990 / Structure in complexity theory conference (5 ; 1990 ; Barselona) . - 189 мкф. - Текст : непосредственный.

Fundamentals of computation theory : 17th International symposium, FCT 2009, Wroclaw, Poland, Sept. 2-4, 2009: proceedings / ed. M. Kutylowski, 2009 r=on-line. - Текст : электронный.

Просмотр издания