Приложение
для AndroidПолное описание
Logic and its applications : third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009: proceedings / eds. R. Ramanujam, S. Sarukkai ; ed. R. Ramanujam. - Berlin ; Heidelberg : Springer, 2009. - on-line. - (Lecture notes in computer science ; 5378). - URL: http://dx.doi.org/10.1007/978-3-540-92701-3. - ISBN 978-3-540-92701-3. - Текст : электронный.
| ГРНТИ | УДК | |
| 02.31 | 16(062) |
Рубрики:
Логика -- Съезды и конференции
Доп. точки доступа:
Ramanujam, R.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-540-92701-3
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 164(063)/L85-169161)
Шифр в сводном ЭК: ae0eb199e445a39b1b7500577ee98994
FSTTCS 2005: foundations of software technology and theoretical computer science / SpringerLink (Online service), 2005 r=on-line
Logic and its applications : third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009: proceedings / eds. R. Ramanujam, S. Sarukkai, 2009 r=on-line. - Текст : электронный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
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. - Текст : электронный.
Показать все результатыЧервоний В.В. Информационные технологии как фактор социальной трансформации общества (социально-философский анализ) : специальность 09.00.11 "Социальная философия" : автореферат диссертации на соискание ученой степени канд. филос. наук / В. В. Червоний, 2001. - 26 с. - Текст : непосредственный.Великий П.П. Экономика и нравственность / П. П. Великий, 1992. - 119 с. - Текст : непосредственный.История философии / А. Н. Ерыгин, В. Н. Климентов, В. О. Моргачев [и др.], 2006. - 255 с. - Текст : непосредственный.Соколов А.Н. Предмет философии и обоснование науки / А. Н. Соколов, Ю. Н. Солонин, 1993. - 158 с. - Текст : непосредственный.Федоров В.К. Философские основания теории и методологии инноваций, 2015. - 365 с. - Текст : непосредственный.Погодина Г.В. Роль теории самоорганизации в формировании нового мировоззрения : специальность 09.00.98 "" : автореферат диссертации на соискание ученой степени канд.фил.наук / Г. В. Погодина, 2000. - 23 с. - Текст : непосредственный.Томпсон М. Философия науки / М. Томпсон, 2003. - 298 с. - Текст : непосредственный.Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : 13-15 мая 2003 г. . Т. 1 : Прикладная философия и социология, 2003. - 140 с. - Текст : непосредственный.Ермакова Е.Е. Философия / Е. Е. Ермакова, 1999. - 271 с. - Текст : непосредственный.Экономика. Общество. Человек : сб. науч. работ. / Белгор. гос. технол. ун-т им. В. Г. Шухова [и др.]. Вып. 23 : Приоритетные направления в развитии современного общества: междисциплинарные исследования : материалы II Междунар. науч.-практ. конф.ч. 2. Философские проблемы социально-гуманитарного знания, 2014. - 312 с. - Текст : непосредственный.Шабалин Л.И. Саморазвитие природы и стратегия выживания человечества / Л. И. Шабалин, 2014. - 312 с. - Текст : непосредственный.Кузьмичева А.А. Философия естественных, гуманитарных и технических наук : выставочные материалы / А. А. Кузьмичева, 2015. - 331 с. - Текст : непосредственный.Ершов А.А. Философские проблемы науки и техники : выставочные материалы / А. А. Ершов, 2015. - 77 с. - Текст : непосредственный.Конторович С.Н. Философские проблемы техники и технического знания : выставочные материалы / С. Н. Конторович, Л. П. Тропина, 2016. - 91 с. - Текст : непосредственный.Безрукова А.А. История и философия науки : выставочные материалы / А. А. Безрукова, Ю. Н. Триль, 2016. - 131 с. - Текст : непосредственный.Оганян К.М. Современная философия и методология науки : выставочные материалы / К. М. Оганян, 2016. - 156 с. - Текст : непосредственный.Проблема способа бытия объектов исследования в гуманитарных и естественных науках : сборник научных трудов / Ред. С. С. Розова, 2001. - 200 с. - Текст : непосредственный.Шульгин А.П. Целесообразное движение.Логика.Механика.Машиноведение.Государствоведение / А. П. Шульгин, 1994. - 48 c. - Текст : непосредственный.Ворончихин А.С. Диалектика процесса взаимодействия: от элементарного к целостному / А. С. Ворончихин, О. В. Санникова, 1994. - 117 c. - Текст : непосредственный.Розанов В.В. О понимании : монография / В. В. Розанов, 1996. - 803 c. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| |
Просмотр издания