Полное описание
Fifth IFIP international conference on theoretical computer science - TCS 2008 / SpringerLink (Online service) ; eds.: G. Ausiello [et al.]. - Boston, MA : Springer Science + Business Media LLC, 2008. - on-line. - (IFIP International federation for information processing, ISSN 1571-5736 ; 273). - URL: http://dx.doi.org/10.1007/978-0-387-09680-3 . - ISBN 978-0-387-09680-3. - Текст : электронный.
ГРНТИ УДК 50.07 004-027.21(062)
Рубрики: Вычислительная техника -- Съезды и конференции
Доп. точки доступа: Ausiello, G.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-0-387-09680-3
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004(063)/F50-098242)
Шифр в сводном ЭК: 6fff8e8ebbb086379d791a367ac4f122
Precision assembly technologies for mini and micro products / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. The past and future of information systems: 1976-2006 and beyond / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Software engineering techniques: design for quality / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Artificial intelligence applications and innovations iii / ed. Iliadis, 2009 r=on-line. - Текст : электронный. VlSI-Soc: from systems to silicon : proceedings of IFIP TC 10, WG 10.5, thirteenth International conference on very large scale integration of system on chip (VLSI-SoC 2005), October 17-19, 2005, Perth, Australia / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Mobile information systems : IFIP TC8 Working conference on mobile information systems (MOBIS) 15-17 September 2004 Oslo, Norway / ed. E. Lawrence, 2005 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. Показать все результаты Лицевая сторона карточки Обратная сторона карточки
LATIN 2010: theoretical informatics : 9th Latin American symposium, Oaxaca, Mexico, April 19-23, 2010: proceedings / ed. A. Lopez-Ortiz, 2010 r=on-line. - Текст : электронный. Theoretical aspects of computing – ictac 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010: proceedings / ed. A. Cavalcanti, 2010 r=on-line. - Текст : электронный. Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007: proceedings / ed. F. Baader, 2007 r=on-line. - Текст : электронный. STACS 2007 : 24th Annual Symposium on theoretical aspects of computer science, Aachen, Germany, February 22-24, 2007: proceedings / ed. W. Thomas, 2007 r=on-line. - Текст : электронный. FSTTCS 2007: foundations of software technology and theoretical computer science : 27th International conference, New Delhi, India, December 12-14, 2007: proceedings / ed.: V. Arvind, S. Prasad, 2007 r=on-line. - Текст : электронный. Rewriting techniques and applications : 19th International conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008: proceedings / ed. A. Voronkov, 2008 r=on-line. - Текст : электронный. Theoretical aspects of computing - ICTAC 2008 : 5th International colloquium, Istanbul, Turkey, September 1-3, 2008: proceedings / ed. J. Fitzgerald, 2008 r=on-line. - Текст : электронный. Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macau, China, September 26-28, 2007: proceedings / ed. C. B. Jones, 2007 r=on-line Algebraic informatics : second international conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007: revised selected and invited papers / ed. S. Bozapalidis, 2007 r=on-line LATIN 2008: theoretical informatics : 8th Latin american symposium, Buzios, Brazil, April 7-11, 2008: proceedings / ed. E. S. Laber, 2008 r=on-line. - Текст : электронный. FSTTCS 2004: foundations of software technology and theoretical computer science : 24th international conference, Chennai, India, December 16-18, 2004: proceedings / ed. K. Lodaya, 2004 r=on-line. - Текст : электронный. Theoretical computer science : Exploring new frontiers of theoretical informaticsIntern. conf. IFIP TCS 2000, Sendai, Japan, Aug.17-19, 2000Proc. / IFIP TCS 2000, 2000. - XV,630 p. p. - Текст : непосредственный. Fifth IFIP international conference on theoretical computer science - TCS 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Theoretical aspects of computing - ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17-21, 2005: proceedings / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. STACS 2006 : 23rd Annual symposium on theoretical aspects of computer science, Marseille, France, February 23-25, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Term rewriting and applications : 17th international conference, RTA 2006, Seattle, Wa, USA, August 12-14, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line Theoretical computer science : 6th IFIP TC 1/WG 2.2 international conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010: proceedings / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный. Theoretical computer science : 9th italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005: proceedings / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. LATIN 2006: theoretical informatics : 7th Latin american symposium, Valdivia, Chile, March 20-24, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Показать все результаты Просмотр издания
Приложение
для Android
