Полное описание
> Theoretical computer science : essays in memory of Shimon Even / SpringerLink (Online service) ; ed. O. Goldreich [et al.]. - Berlin ; Heidelberg : Springer-Verlag, 2006. - on-line. - (Lecture notes in computer science, ISSN 0302-9743 ; 3895). - URL: http://dx.doi.org/10.1007/11685654 . - ISBN 978-3-540-32880-3. - Текст : электронный.
ГРНТИ УДК 50.07 004-027.21
Рубрики: Информатика теоретическая
Доп. точки доступа: Goldreich, O.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/11685654
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004/T44-311244)>
Шифр в сводном ЭК: 8da8223c244df47e235e3a6a68794dbd
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. - Текст : электронный. Показать все результаты Федотов И. Е. Квантовые алгоритмы и симуляция квантовых вычислений : выставочные материалы / И. Е. Федотов, 2012. - 110 с. - Текст : непосредственный. Theoretical aspects of computing - ICTAC 2006 / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. FSTTCS 2005: foundations of software technology and theoretical computer science / SpringerLink (Online service), 2005 r=on-line Graph-theoretic concepts in computer science / SpringerLink (Online service), 2005 r=on-line Computational science and high performance computing III / SpringerLink (Online service), 2008 r=on-line Андреев Н.Е. Исследование и реализация эффективных методов анализа производительности параллельных программ / Н. Е. Андреев, 2011. - 18 с. - Текст : непосредственный. STOC/FOCS bibliography : материалы временных коллективов / Ed. D. S. Johnson, 1991. - 313 p. - Текст : непосредственный. Микони С.В. Общие диагностические базы знаний вычислительных систем / С. В. Микони, 1992. - 236 c. - Текст : непосредственный. Computational logic : сборник научных трудов / Ed. J. W. Lloyd, 1990. - 211 p. - Текст : непосредственный. Епифанов А.Ф. Функциональное диагностирование процессорных блоков по схемам алгоритмов : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / А. Ф. Епифанов, 1992. - 14 с. - Текст : непосредственный. Computational logic and proof theory : сборник научных трудов / Ed. G. Gottlob, 1993. - XI,348 p. p. - Текст : непосредственный. Software and System Modeling. - выходит с 2002г. - Текст : электронный. Fundamentals of computation theory : материалы временных коллективов / Ред.Ed. L. Budach, 1991. - XII, 426 p. 426 p. - Текст : непосредственный. Journal Computer Science Technology. - Журнал. - Текст : непосредственный. Category theory and computer science : сборник научных трудов / Ed. D. H. Pitt, 1989. - VI,365 p. p. - Текст : непосредственный. Паршин Д.Я. Математические основы электротехники и автоматики : выставочные материалы / Д. Я. Паршин, 2013. - 135 с. - Текст : непосредственный. Теоретические вопросы вычислительной техники и программного обеспечения : сборник научных трудов / Московский ин-т радиотехники, электроники и автоматики, 2003. - 223 с. - Текст : непосредственный. Данилин Н.С. Руководство по поиску неисправностей и ремонту компьютеров IBM PC / Н. С. Данилин, В. П. Улитенко, А. А. Крипак, 1992. - 256 с. - Текст : непосредственный. Пивоварчик А.А. Математическое программирование : выставочные материалы / А. А. Пивоварчик, 1997. - 300 с. - Текст : непосредственный. Concurrency. - Журнал, 1995г. 7 № 3. Показать все результаты Мациевский С.В. Теоретическая информатика : учебное пособие / С. В. Мациевский, С. А. Ишанов, 2007. - 501 с. - Текст : непосредственный. Грэхем Р.Л. Конкретная математика. Математические основы информатики / Р. Л. Грэхем, Д. Э. Кнут, О. Паташник ; Пер. И. В. Красиков, 2015. - 782 с. - Текст : непосредственный. Грэхем Р.Л. Конкретная математика. Математические основы информатики : монография / Р. Л. Грэхем, Д. Э. Кнут, О. Паташник, 2013. - 781 с. - Текст : непосредственный. Романов В.П. Теоретические основы информатики : монография / В. П. Романов, 1996. - 190 c. - Текст : непосредственный. Зверев Г.Н. Основания теоретической информатики : Учеб. пособие. 4 : Математическая семантика, 1997. - 113 с. - Текст : непосредственный. Ильюшенков Э.Ф. Информатика. Начала теоретических основ / Э. Ф. Ильюшенков, 2005. - 135 с. - Текст : непосредственный. Стохастическая оптимизация в информатике / С.-Петерб. гос. ун-т, НИИ информ. технологий. Т. 9вып. 1, 2013. - 159 с. - Текст : непосредственный. Свиньин С.Ф. Теоретическая информатика / С. Ф. Свиньин, 2003. - 30 с. - Текст : непосредственный. Стохастическая оптимизация в информатике : межвуз. сб. / С.-Петерб. гос. ун-т, НИИ информ. технологий. Т. 6Вып. 1, 2010. - 283 с. - Текст : непосредственный. Стохастическая оптимизация в информатике : межвуз. сб. / С.-Петерб. гос. ун-т, НИИ информ. технологий. Вып. 2, 2006. - 299 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Мациевский С.В. Теоретическая информатика : учебное пособие / С. В. Мациевский, С. А. Ишанов, 2007. - 501 с. - Текст : непосредственный. Theoretical aspects of computing - ICTAC 2006 / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Грэхем Р.Л. Конкретная математика. Математические основы информатики / Р. Л. Грэхем, Д. Э. Кнут, О. Паташник ; Пер. И. В. Красиков, 2015. - 782 с. - Текст : непосредственный. FSTTCS 2005: foundations of software technology and theoretical computer science / SpringerLink (Online service), 2005 r=on-line Грэхем Р.Л. Конкретная математика. Математические основы информатики : монография / Р. Л. Грэхем, Д. Э. Кнут, О. Паташник, 2013. - 781 с. - Текст : непосредственный. Романов В.П. Теоретические основы информатики : монография / В. П. Романов, 1996. - 190 c. - Текст : непосредственный. Зверев Г.Н. Основания теоретической информатики : Учеб. пособие. 4 : Математическая семантика, 1997. - 113 с. - Текст : непосредственный. Нурмухамедов Г.М. Информатика для абитуриента. Теоретические основы информатики : учебное пособие / Г. М. Нурмухамедов, 2009. - 125 с. - Текст : непосредственный. Ильюшенков Э.Ф. Информатика. Начала теоретических основ / Э. Ф. Ильюшенков, 2005. - 135 с. - Текст : непосредственный. Стохастическая оптимизация в информатике / С.-Петерб. гос. ун-т, НИИ информ. технологий. Т. 9вып. 1, 2013. - 159 с. - Текст : непосредственный. Свиньин С.Ф. Теоретическая информатика / С. Ф. Свиньин, 2003. - 30 с. - Текст : непосредственный. Стохастическая оптимизация в информатике : межвуз. сб. / С.-Петерб. гос. ун-т, НИИ информ. технологий. Т. 6Вып. 1, 2010. - 283 с. - Текст : непосредственный. Стохастическая оптимизация в информатике : межвуз. сб. / С.-Петерб. гос. ун-т, НИИ информ. технологий. Вып. 2, 2006. - 299 с. - Текст : непосредственный. Theoretical aspects of computing - ICTAC 2004 / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Term rewriting and applications / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Просмотр издания