Полное описание
> Mathematical foundations of computer science 2000 : 25th Intern. symp., MFCS 2000, Bratislava, Slovakia, Aug.28 - Sept.1, 2000Proc. / MFCS 2000. - Berlin [etc.] : Springer, 2000. - XIII,710 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n1893). - ISBN 3-540-67901-4. - Текст : непосредственный.
Библиогр. в конце ст. Указ.: с.709-710
| ГРНТИ | УДК | |
| 50.07 | 004(062) |
Рубрики:
Вычислительная техника -- Съезды и конференции
Кл.слова (ненормированные): ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
Доп. точки доступа:
Nielsen, M.\ed.\
Rovan, B.\ed.\
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/9132/1893)>
Шифр в сводном ЭК: b3a9873a9514c718f40b30c61e741554
Jagd L. The HOTCH-POTCH disk element-finite element for analysis of reinforced concrete disks / L. Jagd, J. Christoffersen, M. P. Nielsen, 1994. - 33 p. - Текст : непосредственный.
Ganwei C. Ultimate load carrying capacity of unbonded prestressed reinforced concrete beams / C.Ganwei,M.P.Nielsen,K.Janos, 1990. - 25 p. - Текст : непосредственный.Ganwei C. short note on plastic shear solutions of reinforced concrete columns / C.Ganwei,M.P.Nielsen, 1990. - 17 p. - Текст : непосредственный.Ganwei Chen.Shear strength of beams of high strength concrete / Ganwei Chen,M.P.Nielsen, 1990. - VI,16 p. p. - Текст : непосредственный.Eksperimentel bestemmelse af teglbjaelkers forskydningsbaereevne / L.G.Hagsten,T.Godman-Hoyer,L.Z.Hansen,M.P.Nielsen, 1999. - Pag.var. - Текст : непосредственный.SOFSEM 2009: theory and practice of computer science : 35th Conference on current trends in theory and practice of computer science, Е pindlerЕЇv MlГЅn, Czech Republic, January 24-30, 2009: proceedings / ed. M. Nielsen [et al.], 2009 r=on-line.Hoang L.C. Continuous reinforced concrete beams : stress and stiffness estimates in the serviceability limit state / L.C.Hoang,M.P.Nielsen, 1996. - VI,42 p. p. - Текст : непосредственный.Нильсен М.С. Оптимизация и настройка Windows 2000 Professional / М.С.Нильсен, 2002. - 1146 с. - Текст : непосредственный.Application and theory of Petri nets 2000 : 21st Intern. conf., ICATPN 2000 Aarhus, Denmark, June 26-30, 2000Proc. / ICATPN 2000, 2000. - XI,484 p. p. - Текст : непосредственный.Mathematical foundations of computer science 2000 : 25th Intern. symp., MFCS 2000, Bratislava, Slovakia, Aug.28 - Sept.1, 2000Proc. / MFCS 2000, 2000. - XIII,710 p. p. - Текст : непосредственный.Forskydning i armerede teglbjalker / P.K.Nielsen,H.E.Jensen,C.Schmidt,M.P.Nielsen, 1993. - 43 s. - Текст : непосредственный.Christoffersen J. HOTCH-POTCH Pladeelementet -Finite element til beregning af armerede betonplader / J.Christoffersen,L.Jagd,M.P.Nielsen, 1993. - 44 s. - Текст : непосредственный.Ganwei C. Membrane action tests of reinforced concrete square slabs / C.Ganwei,B.S.Andreasen,M.P.Nielsen, 1991. - VI,93 p. p. - Текст : непосредственный.Andreasen B.S. Arch effect in reinforced concrete one-way slabs / B.S.Andreasen,M.P.Nielsen, 1991. - 24 p. - Текст : непосредственный.Lorenzen K.G. Koncentreret last pa beton / K.G.Lorenzen,M.P.Nielsen, 1997. - II,43 s. s. - Текст : непосредственный.Christiansen M.B. Modelling tension stiffening in reinforced concrete structures / M.B.Christiansen,M.P.Nielsen, 1997. - 133 p. - Текст : непосредственный.Olsen D.H. Ny teori til bestemmelse af revneafstande og revnevidder i betonkonstruktioner / D.H.Olsen,M.P.Nielsen, 1990. - XII, 145 s. 145 s. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
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-lineGraph-theoretic concepts in computer science / SpringerLink (Online service), 2005 r=on-lineComputational 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.
Показать все результатыЭнергетика, информатика, инновации - 2016 : VI Междунар. науч.-техн. конф., 24-25 нояб. 2016 г., Смоленск : сб. тр. : в 3 т. Т. 1 : Электроэнергетика, электротехника и теплоэнергетика, математическое моделирование и информационные технологии в производстве. Секции 1, 2, 3, 2016. - 277 с. - Текст : непосредственный.Энергетика, информатика, инновации - 2016 : VI Междунар. науч.-техн. конф., 24-25 нояб. 2016 г., Смоленск : сб. тр. : в 3 т. Т. 3 : Экономика и менеджмент, научные исследования в области физической культуры, спорта, общественных наук и лингвистики. Секции 6, 7, 2016. - 383 с. - Текст : непосредственный.Информатика: проблемы, методология, технологии : материалы XV Междунар. науч.-метод. конф., Воронеж, 12-13 февр. 2015 г. : в 4 т. / Воронеж. гос. ун-т, Фак. компьютер. наук. Т. 2, 2015. - 521 с. - Текст : непосредственный.Информатика: проблемы, методология, технологии : материалы XV Междунар. науч.-метод. конф., 12-13 февр. 2015 г., Воронеж : в 4 т. / Воронеж. гос. ун-т, Фак. компьютер. наук. Т. 3, 2015. - 403 с. - Текст : непосредственный.Информатика: проблемы, методология, технологии : материалы XV Междунар. науч.-метод. конф., 12-13 февр. 2015 г., Воронеж : в 4 кн. / Воронеж. гос. ун-т, Фак. компьютер. наук. Т. 1, 2015. - 489 с. - Текст : непосредственный.Перспективы развития информационных технологий : материалы временных коллективов / Центр науч. сотрудничества, 2016. - 156 с. - Текст : непосредственный.Информационно-коммуникационные технологии в науке, производстве и образовании ICIT-2016 : материалы временных коллективов / Саратовский гос. технический ун-т им. Ю. А. Гагарина, 2016. - 401 с. - Текст : непосредственный.Перспективы развития информационных технологий : материалы временных коллективов / Центр развития науч. сотрудничества (Новосибирск), 2016. - 141 с. - Текст : непосредственный.Микроэлектроника и информатика - 2016 : материалы временных коллективов / "МИЭТ", нац. исследовательский ун-т (Москва), 2016. - 335 с. - Текст : непосредственный.Перспективные направления развития отечественных информационных технологий : материалы временных коллективов / Севастопольский гос. ун-т, 2016. - 147 с. - Текст : непосредственный.Информационные технологии и математическое моделирование : материалы временных коллективов / Ред. С. И. Сенашов, 2016. - 200 с. - Текст : непосредственный.Новые средства информатизации и перспективы их использования : материалы временных коллективов / Ульяновский гос. технический ун-т, 2016. - 264 с. - Текст : непосредственный.Инновации в условиях развития информационно-коммуникационных технологий : материалы временных коллективов / Международная академия информатизации, 2007. - 425 с. - Текст : непосредственный.Труды международной научно-технической конференции "Современные информационные технологии". Вып. 23, 2016. - 115 с. - Текст : непосредственный.Современная математика и компьютерные технологии : материалы временных коллективов / Ленинградский гос. ун-т им. А. С. Пушкина, 2016. - 59 с. - Текст : непосредственный.Инновации на основе информационных и коммуникационных технологий : материалы временных коллективов / Международная академия информатизации, 2010. - 624 с. - Текст : непосредственный.Proceedings : Coll.in two parts / International seminar on information technologies and information services (1994;Shanghai). Pt. B, 1994. - 351 p. - Текст : непосредственный.Современные информационные технологии. Теория и практика : материалы временных коллективов, 2017. - 270 с. - Текст : непосредственный.Математика и информатика, астрономия и физика, экономика и совершенствование их преподавания : материалы временных коллективов / Ярославский гос. пед. ун-т им. К. Д. Ушинского, 2016. - 297 с. - Текст : непосредственный.Мой первый шаг в науку : материалы V Поволж. науч.-образоват. форума школьников, 18 февр. 2017 г., Йошкар-Ола : [в 3 ч.] / [редкол.: Д. В. Иванов и др.]. Ч. 1 : Фундаментальные науки. Информатика. Техника, 2017. - 287 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽