Полное описание
> Theoretical aspects of computing - ICTAC 2004 / SpringerLink (Online service) ; ed.: Z. Liu, K. Araki. - Berlin ; Heidelberg : Springer-Verlag, 2005. - on-line. - (Lecture notes in computer science, ISSN 0302-9743 ; 3407). - URL: http://dx.doi.org/10.1007/b107116. - ISBN 978-3-540-31862-0. - Текст : электронный.
| ГРНТИ | УДК | |
| 50.07 | 004-027.21(063) |
Рубрики:
Вычислительная техника -- Съезды и конференции
Доп. точки доступа:
Liu, Z.\ed.\
Araki, K.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/b107116
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004-027.21(063)/T44-473134)>
Шифр в сводном ЭК: bd0f4387bf9a52764b7af71fb8f7a4c2
Araki K. The non-axisymmetric instability of the wide-cap spherical couette flow / K. Araki, J. Mizushima, S. Yanase, 1996. - 14 p. - Текст : непосредственный.Araki K. Symmetry breaking by differential rotation and saddle-node bifurcation of the thermal convection in a spherical shell / K. Araki, S. Yanase, J. Mizushima, 1995. - 24 p. - Текст : непосредственный.Boxma O.J. Queueing-theoretic solution methods for models of parallel and distributed systems / O. J. Boxma, G. Koole, Z. Liu, 1994. - 24 p. - Текст : непосредственный.Advances in chemical engineering II : материалы временных коллективов / International conference on chemical engineering and advanced materials (2 ; 2012 ; Guangzhou), 2012 r=on-line. - Текст : электронный.Theoretical aspects of computing - ICTAC 2004 / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Local or nonlocal? Orthonormal divergence-free wavelet analysis of nonlinear interactions in turbulence / K.Kishida,K.Araki,S.Kishiba,K.Suzuki, 1999. - 4 p. - Текст : непосредственный.Multiresolution approximation of the vector fields on T3 / K.Araki,K.Suzuki,K.Kishida,S.Kishiba, 1999. - 13 p. - Текст : непосредственный.Formal methods and software engineering : 8th International conference on formal engineering methods, ICFEM 2006, Macao, China, November 1-3, 2006: proceedings / ed. Z. Liu, 2006 r=on-line. - Текст : электронный.Liu Z. Nonequilibrium transport on microstructures in the quantum Hall regime : Diss. / Z.Liu, 1998. - x,150 p. p. - Текст : непосредственный.High speed machining V : sel., peer rev. papers from the 5th intern. conf. on high speed machining (ICHSM2012), 15-16 Aug. 2012, Jinan, China / International conference on high speed machining (5; 2012; Jinan), 2012 r=on-line. - Текст : электронный.Frontiers in applied mechanics / Ed. Z. Liu, 2015 r=on-line. - Текст : электронный.Global Usability : сборник / edited by Ian Douglas, Zhengjie Liu., 2011 r=on-line. - Текст : электронный.Service science, management, and engineering. Theory and applications / G. Xiong [et al.], 2012. - XV, 382 p. - Текст : непосредственный.Automated technology for verification and analysis : 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009: proceedings / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Kitauchi H. Flow structure of thermal convection in a rotating spherical shell / H.Kitauchi,K.Araki,S.Kida, 1996. - 17 p. - Текст : непосредственный.Performance modeling and engineering / SpringerLink (Online service), 2008 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. - Текст : электронный.
Показать все результатыФедотов И. Е. Квантовые алгоритмы и симуляция квантовых вычислений : выставочные материалы / И. Е. Федотов, 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-lineGraph-theoretic concepts in computer science / SpringerLink (Online service), 2005 r=on-lineComputational 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.
Показать все результаты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-lineTheoretical aspects of computing - ICTAC 2004 / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Term rewriting and applications / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Просмотр издания