Приложение
для AndroidПолное описание
Category theory and computer science : сборник научных трудов / Ed. D. H. Pitt. - Berlin [etc.] : Springer, 1989. - VI,365 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n389). - ISBN 3-540-51662-X. - Текст : непосредственный.
Библиогр.в конце ст.
| ГРНТИ | УДК | |
| 27.17.23 | 512.58(063) | |
| 50.07 | 004(063) |
Рубрики:
Категории (матем.) -- Съезды и конференции
Вычислительная техника -- Съезды и конференции
Кл.слова (ненормированные): ВЫЧИСЛИТЕЛЬНЫЙ СЪЕЗД -- КАТЕГОРИЯ -- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА -- КАТЕГОРИЯ -- КОНФЕРЕНЦИЯ -- СЪЕЗД
Доп. точки доступа:
Pitt, D.H.\ed.\
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/9132/389)
Шифр в сводном ЭК: 0415bb33b2df23cfb3e235a1d963743d
Category theory and computer science : сборник научных трудов / Ed. D. H. Pitt, 1989. - VI,365 p. p. - Текст : непосредственный.Category theory and computer science : Papers presented at the 4th Biennial summer conf. on.., Paris, Sept. 3-6, 1991 / ред.ed. D. H. Pitt, 1991. - 301 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. - Текст : электронный.Бощенко А.П. Решетки конгруэнций унарных алгебр : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Бощенко, 1998. - 16 с. - Текст : непосредственный.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-lineБрюно А.Д. Степенные разложения решений системы алгебраических и дифференциальных уравнений / А. Д. Брюно, 2000. - 32 с. - Текст : непосредственный.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. - Текст : непосредственный.Symplectic geometry, groupoids, and integrable systems : материалы временных коллективов, 1991. - XI,311 p. p. - Текст : непосредственный.Данилов А.Н. Матричное представление свободных абелевых расширений : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Н. Данилов, 2003. - 11 с. - Текст : непосредственный.Шеремет М.С. Неразложимые алгебры в квазимногообразиях частичных алгебр / М. С. Шеремет, 2001. - 26 с. - Текст : непосредственный.Микони С.В. Общие диагностические базы знаний вычислительных систем / С. В. Микони, 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. - Текст : непосредственный.McKenzie R. structure of decidable locally finite varieties / R. McKenzie, M. Valeriote, 1989. - VII,212 p. p. - Текст : непосредственный. Software and System Modeling. - выходит с 2002г. - Текст : электронный.Fundamentals of computation theory : материалы временных коллективов / Ред.Ed. L. Budach, 1991. - XII, 426 p. 426 p. - Текст : непосредственный.Journal Computer Science Technology. - Журнал. - Текст : непосредственный.
Показать все результатыИнформационные технологии и телекоммуникации в образовании, экономике и управлении регионом : материалы временных коллективов / Ассоциация "Тюменский региональный научно-образовательный комплекс", 2007. - 139 с. - Текст : непосредственный.Информатика и вычислительная техника : материалы временных коллективов / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2007. - 75 с. - Текст : непосредственный.Информационные технологии и телекоммуникации в экономике, управлении и социальной сфере : материалы временных коллективов / Ассоциация "Тюменский региональный научно-образовательный комплекс", 2008. - 180 с. - Текст : непосредственный.Пятая международная конференция "Системный анализ и информационные технологии" : САИТ-2013, 19-25 сент. 2013 г.: тр. конф.: в 2 т. Т. 2, 2013. - 435 с. - Текст : непосредственный.Информационные технологии в образовании, технике и медицине : Междунар. науч.-техн. конф. : Сб.науч.тр.,24-26 сент.2002 г. / Волгоградский гос. технический ун-т. Ч. 1, 2002. - 263 с. - Текст : непосредственный.Новые промышленные техника и технологии.Компьютерное обеспечение и компьютерные технологии : сборник, 1994. - 190 c. - Текст : непосредственный.Перспективы развития информационных технологий : материалы временных коллективов / Ред. С. С. Чернов, 2014. - 149 с. (Введено оглавление). - Текст : непосредственный.Перспективы развития информационных технологий : сборник / Центр развития науч. сотрудничества (Новосибирск), 2015. - 198 с. - Текст : непосредственный.Актуальные проблемы информатизации в науке, образовании и экономике - 2014 : материалы временных коллективов / "МИЭТ", нац. исследовательский ун-т (Москва), 2014. - 191 с. - Текст : непосредственный.Информатика и проблемы телекоммуникаций : материалы временных коллективов / Новосибирское обл. науч.-техническое о-во радиотехники, электроники и связи им. А. С. Попова, 1999. - 209 с. - Текст : непосредственный.II международная научно-практическая конференция "Инновации в информационных технологиях и образовании" : материалы временных коллективов / "Инновации в информ. технологиях и образовании", международная науч.-практическая конф. (2 ; 2013 ; Москва) , 2013. - 191 с. - Текст : непосредственный.Современное общество: социально-экономические и экологические аспекты развития. Передовые информационные технологии : материалы временных коллективов / Российский гос. социальный ун-т (Москва), Филиал в г. Дедовск, 2013. - 286 с. - Текст : непосредственный.Информатика, моделирование, автоматизация проектирования : материалы временных коллективов / Ульяновский гос. технический ун-т, 2013. - 227 с. - Текст : непосредственный.Труды Международной конференции по логике, информатике, науковедению : (г. Ульяновск, 17-18 мая 2007 г.). Т. 2 : Информационные и интеллектуальные технологии, 2007. - 115 с. - Текст : непосредственный.Физико-математические науки и информационные технологии: теория и практика : материалы временных коллективов, 2012. - 153 с. - Текст : непосредственный.WOON'2000. The white object-oriented nights, 2000 : материалы временных коллективов / Ред. А. В. Смолянинов, 2000. - 118 p. - Текст : непосредственный.Аничковский вестник. № 51 : Математика и физика. Информатика. Геология. Психология : материалы XVI открытой конф. Аничкова лицея, 2006. - 88 с. - Текст : непосредственный.Труды международной научно-технической конференции "Современные информационные технологии". Вып. 19, 2014. - 277 с. - Текст : непосредственный.Современные проблемы информатизации в технике и технологиях : Сб. тр. по итогам 9 междунар. открытой науч. конф / Воронежский гос.технический ун-т. Вып. 10 : По итогам X Международной открытой научной конференции, 2005. - 274 с. - Текст : непосредственный.Молодежь и наука: проблемы и перспективы (информационные технологии, математика, физика) : материалы временных коллективов / Томский гос. пед. ун-т, 1997. - 39 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽