Полное описание
Programming and mathematical method : материалы временных коллективов / Ed. M. Broy. - Berlin [etc.] : Springer , 1992. - VIII,407 p. p. : ill. - (NATO ASI(advanced science institutes)series. Ser.F, Computer and systems sciences ; vol.88). - ISBN 3-540-55558-7. - Текст : непосредственный.
ГРНТИ УДК 50.05.13 004.42(063)
Рубрики: Программирование для ЭВМ -- Съезды и конференции
Кл.слова (ненормированные): ПРОГРАММИРОВАНИЕ -- ПРОГРАММИРОВАНИЕ
Доп. точки доступа: Broy, M.\ed.\
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/14525/88)
Шифр в сводном ЭК: 1be4790fcbb0c1c5de913dbb6277396b
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 Показать все результаты 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. - Текст : непосредственный. Показать все результаты Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный. Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный. Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный. Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный. Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный. Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный. Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный. Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный. Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный. Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный. Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Показать все результаты 2009 GEC summit. World summit on genetic and evolutionary computation : материалы временных коллективов, 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. GECCO 2009. Genetic and evolutionary computation conference : материалы временных коллективов, 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Programming and mathematical method : материалы временных коллективов / Ed. M. Broy, 1992. - VIII,407 p. p. - Текст : непосредственный. Automata,Languages and programming : материал технической информации / Ed. J. Diaz, 1983. - VIII,733 p. p. - Текст : непосредственный. Cognitive models and intelligent environments for learning programming : материалы временных коллективов / Ed. E. Lemut, 1993. - 305 p. - Текст : непосредственный. Rewriting techniques and applications : материалы временных коллективов / Ed. R. V. Book, 1991. - 458 p. - Текст : непосредственный. Conditional and typed rewriting systems : материалы временных коллективов / Ed.: S. Kaplin, M. Okada, 1991. - X,461 p. p. - Текст : непосредственный. Genetic programming / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Agile processes in software engineering and extreme programming / SpringerLink (Online service), 2009 r=on-line The programming and proof system ATES : сборник научных трудов / Ed. A. Puccetti, 1991. - 341 p. - Текст : непосредственный. Multiparadigm programming in Mozart/Oz / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Logic for programming, artificial intelligence, and reasoning / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Genetic programming / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Applications of declarative programming and knowledge management / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Logic based program synthesis and transformation / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Технологии Microsoft в теории и практике программирования : материалы временных коллективов, 2006. - 151 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
