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

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

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

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

Formal techniques for networked and distributed systems - FORTE 2008 : 28th IFIP WG 6.1 international conference Tokyo, Japan, June 10-13, 2008: proceedings / ed. K. Suzuki ; eds. K. Suzuki [et al.]. - Berlin ; Heidelberg : Springer-Verlag, 2008. - on-line. - (Lecture notes in computer science ; 5048). - URL: http://dx.doi.org/10.1007/978-3-540-68855-6. - ISBN 978-3-540-68855-6. - Текст : электронный.
Доп. точки доступа:
Suzuki, K.\ed.\
SpringerLink (Online service)

http://dx.doi.org/10.1007/978-3-540-68855-6

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

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

PLIF imaging measurements of OH and temperature distribution in burning flowfields / Y. Sakiyama, Y. Kurosawa, M. Gomi, K. Suzuki, 1999. - 18 p. - Текст : непосредственный.Computations of flow past multi-element airfoils in wind tunnel / M. Nakamura, K. Suzuki, A. Hanzawa, N. Kuwano, 1995. - 15 p. - Текст : непосредственный.

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

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

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

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

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

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

Computational Intelligence in Biomedical Imaging / Ed. K. Suzuki, 2014 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. - Текст : непосредственный.JAEA-Technology / Japan atomic energy agency. 2009-078 : Manufacturing of neutron reflector frame for JMTR / Y. Hanawa [et al.], 2010. - III, 18 p. - Текст : непосредственный.Suzuki K. Transonic,supersonic and hypersonic wind-tunnel tests on aerodynamic characteristics of reentry body with blunted cone configuration / K.Suzuki,T.Abe, 1995. - 25 p. - Текст : непосредственный.Suzuki K. Experimental studies on boundary-layer transition on a reentry vehicle at transonic and supersonic speeds / K.Suzuki,T.Abe, 1995. - 17 p. - Текст : непосредственный.Ishida Y. Aerodynamic characteristics of a three-dimensional HLFC wing in transonic flow / Y.Ishida,M.Noguchi,K.Suzuki, 1999. - 23 p. - Текст : непосредственный.Усовершенствование технологии процесса получения высококачественного стального литья для круглых заготовок на литейной машине фирмы "НКК" / ВЦП. - 36 с. - Текст : непосредственный.Testing of software and communicating systems : 20th IFIP TC 6/WG 6.1 International conference, TestCom 2008 8th International workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008: proceedings / ed. K. Suzuki [et al.], 2008 r=on-line. - Текст : электронный.Formal techniques for networked and distributed systems - FORTE 2008 : 28th IFIP WG 6.1 international conference Tokyo, Japan, June 10-13, 2008: proceedings / ed. K. Suzuki, 2008 r=on-line. - Текст : электронный.CRIEPI report / Central research inst. of electric power industry. N05022 : Evaluation of the first-stage reservoir in the Australian Hot Dry Rock geothermal energy development beneath the Cooper Basin / H. Kaieda [et al.], 2006. - IV,24 p. - Текст : непосредственный.Millimeter wave radiometry / K.Suzuki,A.Fukuyama,M.Yamakawa,O.Yoshizawa. - 13 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. - Текст : электронный.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. - Текст : электронный.

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

Formal techniques for networked and distributed systems - FORTE 2008 : 28th IFIP WG 6.1 international conference Tokyo, Japan, June 10-13, 2008: proceedings / ed. K. Suzuki, 2008 r=on-line. - Текст : электронный.

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