Приложение
для AndroidПолное описание
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. - Amsterdam [etc.] : IOS press, 1999. - ix,507 p. p. : ill. - (NATO ASI(advanced science institutes)series. Ser.F, Computer and systems sciences ; vol.173). - ISBN 90-5199-459-1. - Текст : непосредственный.
Библиогр.в конце ст.
| ГРНТИ | УДК | |
| 50.41 | 004.41(063) |
Рубрики:
Программное обеспечение ЭВМ -- Проектирование -- Съезды и конференции
Кл.слова (ненормированные): МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ
Доп. точки доступа:
Broy, M.\ed.\
Steinbruggen, R.\ed.\
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/14525/173)
Шифр в сводном ЭК: 2b90fc3d1371a909c3829db1028ab6b5
Programming and mathematical method : материалы временных коллективов / Ed. M. Broy, 1992. - VIII,407 p. p. - Текст : непосредственный.Брой М. Информатика. Основополагающее введение : Пер. с нем.:В 4-х ч. Ч. 2 : Вычислительные структуры и машинно-ориентированное программирование, 1996. - 224 с. - Текст : непосредственный.Foundations of secure computation : материалы временных коллективов / Ed.: F. L. Bauer, R. Steinbruggen, 2000. - IX,319 p. p. - Текст : непосредственный.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. - Текст : непосредственный.Proof and system-reliability : Proc .of the NATO ASI 24, July- 5 Aug., Marktoberdorf / Ed.: H. Schwichtenberg, R. Steinbruggen, 2002. - XII, 415 p 415 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. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Fractal image encoding and analysis : сборник / Ed. Y. Fisher, 1998. - XIII,368 p. p. - Текст : непосредственный.Active perception and robot vision : материалы временных коллективов / Ed.: A. K. Sood, H. Wechsler, 1992. - IX,756 p. p. - Текст : непосредственный.Adaptive learning environments : материалы временных коллективов / Ed.: M. Jones, P. H. Winne, 1992. - VIII,408 p. p. - Текст : непосредственный.Cognitive modelling and interactive environments in language learning : материалы временных коллективов / Ed. F. L. Engel, 1992. - IX,310 p. p. - Текст : непосредственный.Programming and mathematical method : материалы временных коллективов / Ed. M. Broy, 1992. - VIII,407 p. p. - Текст : непосредственный.Hypermedia courseware:structures of communication and intelligent help : материалы временных коллективов / Ed. A. Oliveira, 1992. - X,239 p. p. - Текст : непосредственный.Interactive multimedia learning environments : материалы временных коллективов / Ed. M. Giardina, 1992. - VI,254 p. p. - Текст : непосредственный.New directions in educational technology : материалы временных коллективов / Ed.: E. Scanlon, T. O'Shea, 1992. - 251 p. - Текст : непосредственный.Multisensor fusion for computer vision : материалы временных коллективов / Comp. J. K. Aggarwal, 1993. - X,456 p. p. - Текст : непосредственный.Communication from an artificial intelligence perspective : материалы временных коллективов / Ed. A. Ortony, 1992. - XI,269 p. p. - Текст : непосредственный.Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный.Software for parallel computation : материалы временных коллективов / Ed.: J. S. Kowalik, L. Grandinetti, 1993. - 363 p. - Текст : непосредственный.Concurrent engineering:Tools and technologies for mechanical system design : материалы временных коллективов / Ed. E. J. Haug, 1993. - 998 p. - Текст : непосредственный.Advanced educational technology in technology education : сборник научных трудов / Ed. A. Gordon, 1993. - 251 p. - Текст : непосредственный.Cognitive models and intelligent environments for learning programming : материалы временных коллективов / Ed. E. Lemut, 1993. - 305 p. - Текст : непосредственный.Learning electricity and electronics with advanced educational technology : материалы временных коллективов / Сост. M. Caillot, 1993. - 329 p. - Текст : непосредственный.Foundations of secure computation : материалы временных коллективов / Ed.: F. L. Bauer, R. Steinbruggen, 2000. - IX,319 p. p. - Текст : непосредственный.Knowledge acquisition,organization,and use in biology : сборник / Ed.: K. M. Fisher, M. R. Kibby, 1996. - VII,245 p. p. - Текст : непосредственный.Cooperation: game-theoretic approaches : Proc.of the NATO Advanced study inst.on cooperation:game-theoretic approaches, held at SUNY, Stony Brook,New York,July 18-29,1994 / сост.ed. S. Hart, сост.ed. A. Mas-Colell, 1997. - VIII,328/7/ p. p. - Текст : непосредственный.Logic of computation : Proc.of the NATO Advanced study inst.on logic of computation, held in Marktoberdorf, Germany,July 25-Aug.6,1995 / Ed. H. Schwichtenberg, 1997. - VI,394,/8/ p. p. - Текст : непосредственный.
Показать все результатыБаженова И.Ю. 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 с. - Текст : непосредственный.
Показать все результатыComponent-based software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Formal methods and software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Software process and product measurement / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Papers presented at the European software engineering conference,held in Garmisch-Partenkirchen,1993 / European software engineering conference (4 ; 1993 ; Garmisch-Partenkirchen) , 1994. - 545-664 p. p. - Текст : непосредственный.Актуальные проблемы программной инженерии : материалы временных коллективов / Московский гос. ун-т экономики, статистики и информатики, 2009. - 221 с. - Текст : непосредственный.FSTTCS 2005: foundations of software technology and theoretical computer science / SpringerLink (Online service), 2005 r=on-lineFoundations of software science and computational structures / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.ICSE'09 : материалы временных коллективов / International conference on software engineering (31st ; 2009 ; Vancouver, BC), 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Software-Entwicklung : материалы временных коллективов / Сост.Hrsg. W.-M. Lippe, 1989. - IX, 290 S. 290 S. - Текст : непосредственный.Agile processes in software engineering and extreme programming / SpringerLink (Online service), 2009 r=on-lineSoftware engineering fon parallel and distributed software : материалы временных коллективов / Ed. I. Jelly, 1996. - XI,325 p. p. - Текст : непосредственный.Japanese perspectives in software engineering / Ed.: Y. Matsumoto, Y. Ohno, 1989. - X, 326 p. 326 p. - Текст : непосредственный.Design requirementsengineering:a ten-year perspective / W. Aalst, P. Loucopoulos, K. Lyytinen [et al.] ; ed. K. Lyytinen, 2009 r=on-line.Актуальные проблемы системной и программной инженерии : материалы временных коллективов, 2013. - 216 с. - Текст : непосредственный.Software and data technologies / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.COTS-based software systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.System analysis and modeling / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.UML modeling languages and applications / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Software engineering and middleware / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Tools and algorithms for the construction and analysis of systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Показать все результатыЗаказ фрагмента документа ₽