Полное описание
NATO science series. Sub-ser.II, Mathematics, physics and chemistry. - Dordrecht [etc.] : Kluwer. - Текст : непосредственный. Vol. 195 : Engineering theories of software intensive systems : proc. of the NATO advanced study inst. on eng. theories of software intensive systems, 3-15 Aug., 2004, Marktoberdorf / NATO advanced study institute on engineering theories of software intensive systems (2004; Marktoberdorf) ; Ed.: M.Broy [et al.]. - Dordrecht : Springer, 2005. - 404 p. : ill. - (NATO science series, series ii: mathematics, physics and chemistry ; 195). - ISBN 1-4020-3530-6
ГРНТИ УДК 50.41 004.4(063)
Рубрики: Программное обеспечение ЭВМ -- Съезды и конференции
Доп. точки доступа: Broy, M.\ed.\
SpringerLink (Online service)
NATO advanced study institute on engineering theories of software intensive systems (2004 ; Marktoberdorf)
Экз-ры полностью 288c53155cce0fe18cd2003eb1b5d699 Копия: http://dx.doi.org/10.1007/1-4020-3532-2
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/18103/195)
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.41(063)/E55-942731)
Шифр в сводном ЭК: 288c53155cce0fe18cd2003eb1b5d699
Programming and mathematical method : материалы временных коллективов / Ed. M. Broy, 1992. - VIII,407 p. p. - Текст : непосредственный. Брой М. Информатика. Основополагающее введение : Пер. с нем.:В 4-х ч. Ч. 2 : Вычислительные структуры и машинно-ориентированное программирование, 1996. - 224 с. - Текст : непосредственный. Model-based testing of reactive systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Брой, М. Информатика. Основополагающее введение : Пер. с нем.:В 4-х ч. Ч. 4 : Теоретическая информатика, алгоритмы и структуры данных, логическое программирование, объектная ориентация, 1998. - 237 с. - Текст : непосредственный. Mathematical methods in program development : Proc.of the NATO Advanced study inst.on math. methods in program development, held in Marktoberdorf,Germany,July 30-Aug.11,1996 / ed.: M. Broy, B. Schieder, 1997. - VIII,528./8/ p. p. - Текст : непосредственный. NATO science series. Sub-ser.II, Mathematics, physics and chemistry. Vol. 195 : Engineering theories of software intensive systems : proc. of the NATO advanced study inst. on eng. theories of software intensive systems, 3-15 Aug., 2004, Marktoberdorf / NATO advanced study institute on engineering theories of software intensive systems (2004; Marktoberdorf), 2005. - 404 p. - Текст : непосредственный. Programming concepts and methods : Proc. of the IFIP working group 2.2/2.3 working conf. on programming concepts and methods Sea of Galilee, Israel, 2-5 Apr., 1990 / Ed.: M. Broy, C. B. Jones, 1990. - VIII,581 p. p. - Текст : непосредственный. Model-driven development of reliable automotive services : second Automotive software workshop, ASWSD 2006, San Diego, Ca, USA, March 15-17, 2006: revised selected papers / ed. M. Broy, 2008 r=on-line. - Текст : электронный. Deductive program design : Proc.of the NATO advanced study inst.on deductive program design,held in Marktoberdorf,July 26-Aug.7,1994 / Ed. M. Broy, 1996. - VIII,467 p. p. - Текст : непосредственный. Брой М. Введение в информатику : Сб.задач:Структурир.собрание упражнений с образцами решений:Пер.с нем. / М.Брой,Б.Румпе, 2000. - 374 с. - Текст : непосредственный. Informatik und Mathematik / hrsg. M. Broy, 1991. - XIV, 540 p. 540 p. - Текст : непосредственный. Calculational system design : Proc.of the NATO Advanced inst.on calculational system design,Marktoberdorf,Germany,28 July-9 Aug.1998 / Ed.: M. Broy, R. Steinbruggen, 1999. - ix,507 p. p. - Текст : непосредственный. Broy M. Zur Alkoholyse substituierter Oxiranylium-Radikalkationen : Diss. / M.Broy, 1993. - X,173 S. S. - Текст : непосредственный. Constructive methods in computing science : Proc.of the NATO advanced study on constructivity.. Marktoberdorf, Jul.24 - Aug.5, 1988 / ed. M. Broy, 1989. - 478 p. - Текст : непосредственный. Methods of programming : Selected papers of the CIP-project / сост.ed. M. Broy, сост.ed. M. Wirsing, 1991. - XII,268 p. p. - Текст : непосредственный. Брой, М. Информатика. Основополагающее введение : Пер. с нем.:В 4-х ч. Ч. 3 : Структуры систем и системное программирование, 1996. - 223 с. - Текст : непосредственный. Automotive software- connected services in mobile networks : 1st automotive software workshop, ASWSD 2004, San Diego, Ca, USA, January 10-12, 2004: revised selected papers / SpringerLink (Online service), 2006 r=on-line Показать все результаты Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Hydrogen and helium recycling at plasma facing materials : Proc.of the NATO advanced research workshop on hydrogen isotope recycling at plasma facing materials in fusion reactors, Argonne(Il), 22-24 Aug. 2001 / Ed. Ah. Hassanein, 2002. - 235 p. - Текст : непосредственный. Ring opening matathesis polymerisation and related chemistry : Proc.of the NATO advanced study inst., Sept.3-15, 2000, Polaica-Zdroy / ed. E. Khosravi, ed. T. Szymanska-Buzar, 2002. - 493 p. - Текст : непосредственный. Advances in the interplay between quantum and gravity physics : Proc .of the Nato ASI, 2001, 30.Apr.-10.May, Erice / ed.: P. G. Bergmann, V. de Sabbata, 2002. - 554 p. - Текст : непосредственный. Показать все результаты 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. - Текст : электронный. Показать все результаты Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный. Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный. Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный. Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный. Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный. Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный. Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный. Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный. Access 7,0 для Windows 95, 1997. - 479 с. - Текст : непосредственный. MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный. Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный. Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный. Дейнеко Е.А. Информационные технологии : выставочные материалы / Е. А. Дейнеко, И. А. Мельникова, 2015. - 127 с. - Текст : непосредственный. Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный. Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный. Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный. Диалоговый вычислительный комплекс. Программное обеспечение / Казанское науч.-произв. об-ние вычислительной техники и информатики, 1990. - 166 с. - Текст : непосредственный. Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный. Показать все результаты Программные системы: теория и приложения : тр. междунар. конф. г. Переславль-Залесский, май 2009 / Институт программных систем им. А. К. Айламзяна (Переславль-Залесский). Т. 2, 2009. - 320 с. - Текст : непосредственный. Программные системы: теория и приложения : тр. междунар. конф. г. Переславль-Залесский, май 2009 / Институт программных систем им. А. К. Айламзяна (Переславль-Залесский). Т. 1, 2009. - 310 с. - Текст : непосредственный. XII Международная конференция по вычислительной механике и современным прикладным программным системам. (ВМСППС'2003) : Тезисы докладов,Владимир, 30 июня - 5 июля 2003 г. / Международная конф. по вычислительной механике и современным прикладным программным системам (12;2003; Владимир). Т. 2, 2003. - С.339-704. - Текст : непосредственный. Papers from fourth symposium,held in Oct.1996 in San Francisco(Ca) / Symposium on foundations in software engineering (4th ; 1996 ; San Francisco,Ca) , 1998. - 497-584 p. p. - Текст : непосредственный. Mathematical methods of specification and synthesis of software systems'85 : сборник научных трудов, 1986. - 245 p. - Текст : непосредственный. Theoretical aspects of computer software : материалы временных коллективов / Ed.: T. Ito, A. R. Meyer, 1991. - 770 p. - Текст : непосредственный. Foundations of software technology and theoretical computer science : материалы временных коллективов / Ed.: K. V. Nori, C. E. Veni Madhaven, 1990. - X,420 p. p. - Текст : непосредственный. Programming languages and systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Formal methods for mobile computing / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Просмотр издания
Приложение
для Android
