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

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

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

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

Theoretical computer science : exploring new frontiers of theoretical informaticsIntern. conf. IFIP TCS 2000, Sendai, Japan, Aug.17-19, 2000Proc. / IFIP TCS 2000. - Berlin [etc.] : Springer, 2000. - XV,630 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n1872). - ISBN 3-540-67823-9. - Текст : непосредственный.
Библиогр. в конце ст. Указ.: с.629-630

ГРНТИ	УДК
50.07	004-027.21(062)

Рубрики:
Информатика теоретическая -- Съезды и конференции

Кл.слова (ненормированные): ИНФОРМАТИКА
Доп. точки доступа:
Leeuwen, J.van\ed.\

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

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

Formal models and semantics / Ed. J.van Leeuwen, 1990. - XIV,1273 p. p. - Текст : непосредственный.Algorithms and complexity / ed. J. van Leeuwen, 1990. - IX, 996 p. 996 p. - Текст : непосредственный.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. - Текст : непосредственный.Distributed algorithms : 4th intern. workshop,Bari, 24-26, 1990: Proc. / Ed.: J. van Leeuwen, N. Santoro, 1991. - VI,431 p. p. - Текст : непосредственный.Graph-theoretic concepts in computer science : 19th intern.workshop,WG'93,Utrecht,The Netherlands,June 16-18 1993.Proc. / WG'93, 1994. - IX,429 p. 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.

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

Федотов И. Е. Квантовые алгоритмы и симуляция квантовых вычислений : выставочные материалы / И. Е. Федотов, 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. - Текст : электронный.

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

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. - Текст : непосредственный.

Заказ фрагмента документа ₽