Приложение
для AndroidПолное описание
Теоретические и прикладные задачи информатики : новые подходы и решения : тр. шк.-конкурса молодых ученых, Новосибирск, Академгородок, 25 мая-15 июня 2003 г. / Рос. АН, Сиб. отд-ние, Ин-т систем информатики им. А.П.Ершова. - Новосибирск : [б. и.], 2003. - 79 с. : ил. - 75 экз. - Б. ц. - Текст : непосредственный.
Парал. загл. англ.Библиогр. в конце ст.
| ГРНТИ | УДК | |
| 20.01.13 | 004(062) |
Рубрики:
Информатика -- Съезды и конференции
Доп. точки доступа:
Институт систем информатики им. А. П. Ершова (Новосибирск)
Имеются экземпляры в отделах: всего 2 : ХР (2)
Свободны: ХР (2)
Specification, verification, and net models of concurrent systems / Siberian division of the Russian Academy of sciences.A.P.Ershov Institute of informatics systems, 1994. - 195 p. - Текст : непосредственный.Средства и инструменты окружений программирования : Сб. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова, 1995. - 169 с. - Текст : непосредственный.Проблемы конструирования эффективных и надежных программ : Сб. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова, 1995. - 164 с. - Текст : непосредственный.Программные системы : Сб. ст. / Рос. АН. Сиб. отд-ние. Ин-т систем информатики им. А.П.Ершова, 1995. - 164 с. - Текст : непосредственный.Проблемы спецификации и верификации параллельных систем : Сб.науч.тр. / Рос.АН. Сиб.отд-ние. Ин-т систем информатики им. А.П.Ершова, 1995. - 237 с. - Текст : непосредственный.Оптимизирующая трансляция и конструирование программ / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова, 1997. - 166 с. - Текст : непосредственный.Проблемы систем информатики и программирования : Сб.ст. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова, 1999. - 225 с. - Текст : непосредственный.Новые информационные технологии в науке и образовании : Сб.ст. / Рос.АН,Сиб.отд-ние.Институт систем информатики им. А.П.Ершова, 2003. - 296 с. - Текст : непосредственный.Методы предикатного программирования : Сб. науч. работ / Ин-т систем информатики им. А.П.Ершова, 2003. - 62 с. - Текст : непосредственный.Теоретические и прикладные задачи информатики : новые подходы и решения : Тр. шк.-конкурса молодых ученых, Новосибирск, Академгородок, 25 мая-15 июня 2003 г. / Рос. АН, Сиб. отд-ние, Ин-т систем информатики им. А.П.Ершова, 2003. - 79 с. - Текст : непосредственный.Программные средства и математические основы информатики / Ин-т систем информатики им. А.П.Ершова, 2004. - 278 с. - Текст : непосредственный.Программные средства и математические основы информатики / Рос. АН, Сибирск. отд-ние, Ин-т систем информатики им. А.П.Ершова, 2004. - 269 с. - Текст : непосредственный.Новосибирская школа программирования. Перекличка времен : сб. ст. / Рос. АН. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова, 2004. - 243 с. - Текст : непосредственный.Методы и инструменты конструирования и оптимизации программ / Ин-т систем информатики им. А. П. Ершова СО РАН, 2005. - 265 с. - Текст : непосредственный.Молодая информатика : Сб. тр. аспирантов и молодых ученых / Рос. АН, Сиб. отдние,Ин-т систем информатики им. А.П.Ершова, 2005. - 122 с. - Текст : непосредственный.Андрей Петрович Ершов - ученый и человек / Ин-т систем информатики им. А.П.Ершова , 2006. - 503 с. - Текст : непосредственный.Молодая информатика : сб. тр. аспирантов и молодых ученых / Ин-т систем информатики им. А. П. Ершова, 2006. - 122 с. - Текст : непосредственный.Методы предикатного программирования : сб. науч. работ / Ин-т систем информатики им. А. П. Ершова СО РАН. Вып. 2, 2006. - 116 с. - Текст : непосредственный.Проблемы интеллектуализации и качества систем информатики / Институт систем информатики им. А.П.Ершова (Новосибирск), 2006. - 272 с. - Текст : непосредственный.Молодая информатика : сб. тр. аспирантов и мол. ученых / Ин-т систем информатики им. А.П.Ершова. Вып. 2, 2006. - 169 с. - Текст : непосредственный.
Показать все результатыПротокол сорок четвертого заседания Комитета Полномочных Представителей стран- членов Международного центра научной и технической информации (22-23 сентября 1993 г.) / Международный центр науч. и технической информации, 1993. - 91 c. - Текст : непосредственный.Научная конференция : Тез.докл.,15-18 февр.1994 г. / Белорусский гос. ун-т информатики и радиоэлектроники (Минск). Ч. 2, 1994. - 145 с. - Текст : непосредственный.Научная конференция : Тез.докл.,15-18 февр.1994 г. / Белорусский гос. ун-т информатики и радиоэлектроники (Минск). Ч. 1, 1994. - 291 с. - Текст : непосредственный.Proceedings of the 2nd international conference on systems integration,June 15-18,1992,Morristown,NJ / ICSI'92, 1992. - XX,746 p. p. - Текст : непосредственный.Innovative developments and applications of microelectronics and information technology : Proc.of congress:2nd German-Chinese electronics week,Oct.7th-11th,1991,Shanghai / ed. E. Raubold, 1991. - 555 p. - Текст : непосредственный.Информационные технологии и системы : Материалы науч. конф. / Воронежский технологический ин-т. Ч. 2, 1994. - 71 с. - Текст : непосредственный.Информационные технологии и системы : Материалы науч. конф. / Воронежский технологический ин-т. Ч. 3, 1994. - 58 с. - Текст : непосредственный.Информационные технологии и системы : Материалы науч. конф. / Воронежский технологический ин-т. Ч. 4, 1994. - 78 с. - Текст : непосредственный.Информационные технологии и системы : Материалы науч. конф. / Воронежский технологический ин-т. Ч. 1, 1994. - 80 с. - Текст : непосредственный.Российская научно-техническая конференция "Информатика и проблемы телекоммуникации" : Тез.докл.,28-29 апр.1994 г / "Информатика и проблемы телекоммуникации", российская науч.-техн.конф. (1994) , 1994. - 144 c. - Текст : непосредственный.Esprit'91 : Proc.of the annu.Esprit conf.,held in Brussels,25-29 Nov.1991 / Ed.by Commission of the European communities, 1991. - XI,881 p. p. - Текст : непосредственный.4th international conference on computing and information,May 28-30,1992,Toronto : Proc. / ICCI'92, 1992. - XXVIII,484 p. p. - Текст : непосредственный.Empowering users in the 21st century : Abstracts, September 27-29, 1993 / Central european conference and exhibition for academic libraries and informatics, 1993. - 55 c. - Текст : непосредственный.Эволюционная информатика и моделирование : Сб. науч. тр.По материалам междунар. конф., дек. 1993г., г.Москва / Институт физ.-технических проблем (Москва), 1994. - 187 c. - Текст : непосредственный.Proceedings : Coll.in two parts / International seminar on information technologies and information services (1994;Shanghai). Pt. B, 1994. - 351 p. - Текст : непосредственный.Информатика и науковедение : Материалы 3 Междунар.(5 Тамбов.) науч.конф."Информатика и науковедение" Тамбов,28-29 нояб.1994 г. / Международный информ. нобелевский центр (Тамбов), 1994. - 60 c. - Текст : непосредственный.Physik and Informatik-Informatik und Physik : Arbeitsgespr@:ach,M@:unchen,21-22 Nov.,1991:Proc. / hrsg. D. Kronig, hrsg. M. Lang, 1992. - 326 S. - Текст : непосредственный.Aslib directory / Aslib. Vol. 1 : Science,technology and commerce / ed. E. M. Codlin, 1982. - 789 p. - Текст : непосредственный.XXX научно-техническая конференция аспирантов и студентов, посвященная 30-летию университета : Материалы докл., 5-7 апр. 1994 г / Белорусский гос. ун-т информатики и радиоэлектроники (Минск), Научно-техническая конф. аспирантов и студентов (30; 1994), 1995. - 165 c. - Текст : непосредственный.Региональные проблемы информатизации : Тр. Республикан. науч.-техн. конф. (20-21 апр. 1995г.) / Администрация Алтайского края (Барнаул), 1995. - 109 c. - Текст : непосредственный.
Показать все результатыНаучная конференция : Тез.докл.,15-18 февр.1994 г. / Белорусский гос. ун-т информатики и радиоэлектроники (Минск). Ч. 2, 1994. - 145 с. - Текст : непосредственный.Научная конференция : Тез.докл.,15-18 февр.1994 г. / Белорусский гос. ун-т информатики и радиоэлектроники (Минск). Ч. 1, 1994. - 291 с. - Текст : непосредственный.Informationstechnik 2000 : Vortrage der ITG-Fachtagung am 1.Okt.1991 in Magdeburg / hrsg. A. Zerdick, 1991. - 179 S. - Текст : непосредственный.Международная конференция-выставка "Открытые системы-решение для нового мира" : Тез. докл. 25-29 апр. 1994, Москва / "Открытые системы-решение для нового мира", международная конф.-выставка (1994 ; Москва) , 1994. - 107 c. - Текст : непосредственный.Proceedings of the 2nd international conference on systems integration,June 15-18,1992,Morristown,NJ / ICSI'92, 1992. - XX,746 p. p. - Текст : непосредственный.Advanced computer technology,reliable systems and applications : 5th annu.Europ.computer conf.,Bologna,May 13-16,1991Proc. / CompEuro'91, 1991. - XVI,899 p. p. - Текст : непосредственный.33rd annual symposium on ..,held Oct.24-27,1992,Pittsburgh(Pa) : Proc. / Symposium on foundations of computer science (33 ; 1992 ; Pittsburgh,Pa) , 1992. - XI,734 p. p. - Текст : непосредственный.1991 symposium on applied computing,Apr.3-5,1991,Kansas City(Mo) : Proc. / Symposium on applied computing (1991 ; Kansas City,Mo) , 1991. - XVI,487 p. p. - Текст : непосредственный.Innovative developments and applications of microelectronics and information technology : Proc.of congress:2nd German-Chinese electronics week,Oct.7th-11th,1991,Shanghai / ed. E. Raubold, 1991. - 555 p. - Текст : непосредственный.Новые информационные технологии в науке, производстве, бизнесе:"ИНФО-93" : Информ.бюллетень по материалам регион.семинара-практикума, г.Владивосток, 17-21 мая 1993 г. / Рос.АН, Дальневост.отд-ние,Тихоокеан.океанол.ин-т,Межинститут.центр информатики, Межинститутский центр информатики, 1993. - 43 c. - Текст : непосредственный.Информационные технологии и системы : Материалы науч. конф. / Воронежский технологический ин-т. Ч. 2, 1994. - 71 с. - Текст : непосредственный.Информационные технологии и системы : Материалы науч. конф. / Воронежский технологический ин-т. Ч. 3, 1994. - 58 с. - Текст : непосредственный.Информационные технологии и системы : Материалы науч. конф. / Воронежский технологический ин-т. Ч. 4, 1994. - 78 с. - Текст : непосредственный.Информационные технологии и системы : Материалы науч. конф. / Воронежский технологический ин-т. Ч. 1, 1994. - 80 с. - Текст : непосредственный.Российская научно-техническая конференция "Информатика и проблемы телекоммуникации" : Тез.докл.,28-29 апр.1994 г / "Информатика и проблемы телекоммуникации", российская науч.-техн.конф. (1994) , 1994. - 144 c. - Текст : непосредственный.Esprit'91 : Proc.of the annu.Esprit conf.,held in Brussels,25-29 Nov.1991 / Ed.by Commission of the European communities, 1991. - XI,881 p. p. - Текст : непосредственный.4th international conference on computing and information,May 28-30,1992,Toronto : Proc. / ICCI'92, 1992. - XXVIII,484 p. p. - Текст : непосредственный.Эволюционная информатика и моделирование : Сб. науч. тр.По материалам междунар. конф., дек. 1993г., г.Москва / Институт физ.-технических проблем (Москва), 1994. - 187 c. - Текст : непосредственный.New results and new trends in computer science : Proc.of a symp.,held in Graz,June 20-21,1991 / ed. H. Maurer, 1991. - VIII,403 p. p. - Текст : непосредственный.Proceedings : Coll.in two parts / International seminar on information technologies and information services (1994;Shanghai). Pt. B, 1994. - 351 p. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽