Полное описание
> Mathematical methods in computer science : essays in memory of Thomas Beth / ed. J. Calmet [et a.] ; ed. J. Calmet. - Berlin ; Heidelberg : Springer, 2008. - on-line. - (Lecture notes in computer science ; 5393). - URL: http://dx.doi.org/10.1007/978-3-540-89994-5 . - ISBN 978-3-540-89994-5. - Текст : электронный.
Рубрики: Вычислительная техника -- Математические методы
Доп. точки доступа: Calmet, J.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-540-89994-5
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.02/M39-651107)>
Шифр в сводном ЭК: dfab69679e61a279d38210fdbbc35aaa
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. Показать все результаты Просмотр издания