Приложение
для AndroidПолное описание
Typed lambda calculi and applications / SpringerLink (Online service) ; ed. P. Urzyczyn. - Berlin ; Heidelberg : Springer-Verlag, 2005. - on-line. - (Lecture notes in computer science, ISSN 0302-9743 ; 3461). - URL: http://dx.doi.org/10.1007/b135690. - ISBN 978-35403-2014-2. - Текст : электронный.
| ГРНТИ | УДК | |
| 27.03.19 | 510(063) | |
| 50.01.13 | 004(063) | |
| 03.91 |
Рубрики:
Математическая логика -- Съезды и конференции
Вычислительная техника -- Съезды и конференции
Доп. точки доступа:
Urzyczyn, P.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/b135690
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 510.6(063)/T99-262765)
Шифр в сводном ЭК: 76b92c651f6ff7fae4b13d1b514705c9
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. - Текст : электронный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Информационные технологии и телекоммуникации в образовании, экономике и управлении регионом : материалы временных коллективов / Ассоциация "Тюменский региональный научно-образовательный комплекс", 2007. - 139 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Supercomputing'91 : материалы временных коллективов, 1991. - XXIII,917 p. p. - Текст : непосредственный.Artificial neural networks : сборник научных трудов / Ed. J. Diederich, 1990. - VII,141 p. p. - Текст : непосредственный.Innovative applications of artificial intelligence 3 : материалы временных коллективов / Ed.: R. G. Smith, A. C. Scott, 1991. - 362 p. - Текст : непосредственный.Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный.Security and privacy : Proc.of the 1980-84 symp.on security and privacy and the 1985-87 IEEE symp.on security and privacy / Ed.:C.E.Garvey. Vol. 1 : Proceedings of the first 5 symposia 1980-84, 1990. - VIII,227 p. p. - Текст : непосредственный.Информатика и вычислительная техника : материалы временных коллективов / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2007. - 75 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Информационные технологии и телекоммуникации в экономике, управлении и социальной сфере : материалы временных коллективов / Ассоциация "Тюменский региональный научно-образовательный комплекс", 2008. - 180 с. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Chen Y. Meshless methods in solid mechanics / Y. Chen, J. Lee, A. Eskandarian, 2006 r=on-lineRomano A. Continuum mechanics using mathematica ® / A. Romano, A. Marasco, R. Lancellotta, 2006 r=on-lineTeodorescu P.P. Mechanical systems, classical models / P. P. Teodorescu, 2007 r=on-lineПятая международная конференция "Системный анализ и информационные технологии" : САИТ-2013, 19-25 сент. 2013 г.: тр. конф.: в 2 т. Т. 2, 2013. - 435 с. - Текст : непосредственный.Информационные технологии в образовании, технике и медицине : Междунар. науч.-техн. конф. : Сб.науч.тр.,24-26 сент.2002 г. / Волгоградский гос. технический ун-т. Ч. 1, 2002. - 263 с. - Текст : непосредственный.Иванова О.А. Алгоритмизация и численная реализация аналитических методов представления решений в задачах механики : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / О. А. Иванова, 2007. - 15 с. - Текст : непосредственный.
Показать все результатыИнформационные технологии и телекоммуникации в образовании, экономике и управлении регионом : материалы временных коллективов / Ассоциация "Тюменский региональный научно-образовательный комплекс", 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 с. - Текст : непосредственный.
Показать все результатыПросмотр издания