Приложение
для AndroidПолное описание
Informatik und Mathematik / hrsg. M. Broy ; Hrsg. M. Broy. - Berlin [etc.] : Springer , 1991. - XIV, 540 p. 540 p. : ill. - ISBN 3-540-54108-X. - Текст : непосредственный.
Библиогр. в конце ст.
Перевод заглавия: Информатика и математика
| ГРНТИ | УДК | |
| 27 | 51 | |
| 20 | 004 |
Рубрики:
Информатика
Математика
Кл.слова (ненормированные): ИНФОРМАТИКА
Доп. точки доступа:
Broy, M.\hrsg.\
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): J2/23899)
Шифр в сводном ЭК: ee5867fa504deb9e948bbc0cccb938bb
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
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Информатика и математика : учебное пособие / А. А. Дрога, П. Н. Жукова, Д. Н. Копонев [и др.], 2008. - 288 с. - Текст : непосредственный.
Информатика и информационные технологии в образовании: теория, приложения, дидактика : материалы Всерос. науч. шк.-конф. с междунар. участием, 26-29 сент. 2012 г.: в рамках реализации программы стратег. развития ФГБОУ ВПО "НГПУ" на 2012-2016 гг. Т. 1 : Информатика и математика, 2012. - 159 с. - Текст : непосредственный.Информатика и математика : учебное пособие / В. А. Беленко [и др.], 2007. - 299 с. - Текст : непосредственный.Informatik und Mathematik / hrsg. M. Broy, 1991. - XIV, 540 p. 540 p. - Текст : непосредственный.Попов А.М. Информатика и математика : учеб. пособие / А. М. Попов, В. Н. Сотников, Е. И. Нагаева; под ред. А. М. Попова, 2008. - 302 с. - Текст : непосредственный.Мальцева Т.В. Информатика и математика : учеб.пособие / Т. В. Мальцева, М. Н. Перевалова, Е. Р. Трефилина, 2006. - 252 с. - Текст : непосредственный.Попов, Александр Михайлович. Информатика и математика : учебник и практикум для вузов / А. М. Попов, В. Н. Сотников, Д. Г. Дейкун ; под редакцией А. М. Попова., 2026. - 443 с. - Текст : электронный.Беляева, Татьяна Михайловна. Информатика и математика : учебник и практикум для вузов / Т. М. Беляева [и др.] ; под редакцией В. Д. Элькина., 2026. - 402 с. - Текст : электронный.Попов, Александр Михайлович. Информатика и математика : учебник и практикум для спо / А. М. Попов, В. Н. Сотников, Д. Г. Дейкун ; под редакцией А. М. Попова. - 430 с. - Текст : электронный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
Sequential Analysis. - Журнал выходит с 1982г. r=on-line. - Текст : электронный.Басакер Р. Конечные графы и сети / Р. Басакер, Т. Саати; пер. с англ. В. Н. Буркова, С. Е. Ловецкого, В. Б. Соколова; под ред. А. И. Теймана, 1974. - 366 с. - Текст : непосредственный.Мартин Д. Организация баз данных в вычислительных системах : монография / Д. Мартин, 1980. - 662 с. - Текст : непосредственный.Алгулиев Р. Информационное общество: интересные хронологические факты / Р. Алгулиев, П. Салманова, 2014. - 168 с. - Текст : непосредственный.Вестник Адыгейского государственного университета. Серия "Естественно-математические и технические науки" : рец., реф. науч. журн. № 4(125), 2014. - 171 с. - Текст : непосредственный.Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Новый русско-английский, англо-русский словарь : словарь / Г. В. Бочарова, И. И. Воронцова, Ю. В. Момджи, 2000. - 807 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Баврин И.И. Операторный метод в комплексном анализе / И. И. Баврин, 1991. - 200 с. - Текст : непосредственный.Бронштейн И.Н. Справочник по математике для инженеров и учащихся втузов / И. Н. Бронштейн, К. А. Семендяев, 1998. - 608 с. - Текст : непосредственный.Коварцев А.Н. Численные методы / А. Н. Коварцев, 1998. - 133 с. - Текст : непосредственный.Сборник задач по дисциплине "Математические основы информатики и моделирования" / Российская академия упр. (Москва), 1996. - 55 с. - Текст : непосредственный.Иванова Е.П. Вариационные и краевые задачи для дифференциально-разностных уравнений / Е. П. Иванова, Г. А. Каменский, 1993. - 42 c. - Текст : непосредственный.Факторный анализ в задачах обработки экспериментальных данных / В. П. Архиреева, В. П. Бородюк, Ю. Е. Голяс, В. Г. Киреева ; Ред. Г. Ф. Филаретов, 1994. - 39 c. - Текст : непосредственный.Вестник Московского университета : науч. журн. Сер. 1, Математика. Механика / Московский государственный университет имени М. В. Ломоносова, . - Журнал. - Текст : непосредственный.Дискретная математика / Российская академия наук. - Журнал выходит с 1989г. - Текст : непосредственный.Журнал вычислительной математики и математической физики / Российская академия наук. - Журнал выходит с 1961г. - Текст : непосредственный.Известия Российской академии наук. Серия математическая / Рос. акад. наук, Мат. ин-т им. В. А. Стеклова. - Журнал выходит с 1937г. - Текст : непосредственный.Математические заметки : ежемес. журн. / Российская академия наук . - Журнал выходит с 1967г. - Текст : непосредственный.Математический сборник : Журн. / РАН. Математический ин-т им. В. А. Стеклова. - Журнал выходит с 1866г. - Текст : непосредственный.
Показать все результатыВестник Адыгейского государственного университета. Серия "Естественно-математические и технические науки" : рец., реф. науч. журн. № 4(125), 2014. - 171 с. - Текст : непосредственный.Черняева Э.П. Информатика : учеб. пособие. Ч. 1, 2015. - 83 с. - Текст : непосредственный.Натансон И.П. Краткий курс высшей математики / И. П. Натансон, 2001. - 727 с. - Текст : непосредственный.Hill M.A. Introduction to college mathematics : монография / M. A. Hill, J. B. Linker, 1938. - XII,93 p. - Текст : непосредственный.Merriman G.M. To discover mathematics : монография / G. M. Merriman, 1942. - XI,435 p. - Текст : непосредственный.Morris M. Analytic geometry and calculus : монография / M. Morris, O. E. Brown, 1937. - 507 p. - Текст : непосредственный.Лобачевский, Николай Иванович (русский математик ; 1792-1856). Полное собрание сочинений. Т. 1 : Сочинения по геометрии. Геометрические исследования по теории параллельных линий. О началах геометрии, 1946. - 415 с. - Текст : непосредственный.Иванов И.И. Высшая математика : лекции. Ч. 1 : Аналитическая геометрия, 1917. - 584 с. - Текст : непосредственный.Гурьев. Науки исчисления. Кн. 1 : Основания арифметики, 1805. - IV,127 с. - Текст : непосредственный.Осиповский Т. Курс математики. Ч. 1 : Общая и частная арифметика, 1813. - IV,360 с. - Текст : непосредственный.Бауэр Ф.Л. Информатика : Ввод.курс:В 2 ч. Ч. 1 / ред. А. П. Ершов, пер. М. К. Валиев, 1990. - 324,VШ с. с. - Текст : непосредственный.Известия Института математики и информатики. 2(44), 2014. - 95 с. - Текст : непосредственный.Гниденко И.Г. Информатика / И. Г. Гниденко, С. А. Соколовская, 2006. - 256 с. - Текст : непосредственный.Годишен зборник на институтот за математика / Унив. "Кирил и Методиj". Природно-математички фак. Кн. 41, 2008. - 86 c. - Текст : непосредственный.Прикладная математика и информатика : Тр. Фак. вычисл. математики и кибернетики МГУ им. М. В. Ломоносова / МГУ им. М. В. Ломоносова, Факультет вычислительной математики и кибернетики. № 26, 2007. - 98 с. - Текст : непосредственный.Opuscula mathematica : Rocznik / Akad.gorniczo-hutnicza im.Stanislawa Staszica. 26, N 3 : Semiannual / ed. P. A. Cojuhari, 2006. - 542 p. - Текст : непосредственный.Информатика : учебник / редкол.: В. А. Минаев и др. Т. 1 : Концептуальные основы, 2008. - 463 с. - Текст : непосредственный.Аматова Г.М. Математика : Учеб. пособие : в 2-х кн. Кн. 1(2008), 2008. - 249 с. - Текст : непосредственный.Аматова Г.М. Математика : Учеб. пособие : в 2-х кн. Кн. 2(2008), 2008. - 237 с. - Текст : непосредственный.Высшая математика : лекции по математике для студентов: в 2-х ч. / Сочинский гос. ун-т туризма и курортного дела, Факультет информационных технологий и математики. Ч. 1 / Т. Ю. Яковенко, Н. Ф. Якунина, 2008. - 78 с. - Текст : непосредственный.
Показать все результатыSequential Analysis. - Журнал выходит с 1982г. r=on-line. - Текст : электронный.Басакер Р. Конечные графы и сети / Р. Басакер, Т. Саати; пер. с англ. В. Н. Буркова, С. Е. Ловецкого, В. Б. Соколова; под ред. А. И. Теймана, 1974. - 366 с. - Текст : непосредственный.Мартин Д. Организация баз данных в вычислительных системах : монография / Д. Мартин, 1980. - 662 с. - Текст : непосредственный.Дроздов Е.А. Электронные вычислительные машины единой системы / Е. А. Дроздов, В. А. Комарницкий, А. П. Пятибратов, 1976. - 672 с. - Текст : непосредственный.Вестник Адыгейского государственного университета. Серия "Естественно-математические и технические науки" : рец., реф. науч. журн. № 4(125), 2014. - 171 с. - Текст : непосредственный.Дроздов В.И. Единая теория гравитационного, электромагнитного и спинорного взаимодействий и поля Янга-Миллса / В. И. Дроздов, 2014. - 20 с. - Текст : непосредственный.Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный.BASIC, 1992. - 97 с. - Текст : непосредственный.Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный.Семененко В.А. Справочник по электронной вычислительной технике / В. А. Семененко, Ю. В. Ступин, 1993. - 222 с. - Текст : непосредственный.Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный.Электронные устройства для "Sinclair ZX Spectrum" : монография, 1992. - 80 с. - Текст : непосредственный.Юшин А.М. Цифровые микросхемы для электронных устройств / А. М. Юшин, 1993. - 176 c. - Текст : непосредственный.Бейсик ZX SPECTRUM / "ВА Принт", фирма (Москва), 1993. - 96 с. - Текст : непосредственный.Эпштейн М.С. Программирование на языке С : учебное пособие / М. С. Эпштейн, 2011. - 335 с. - Текст : непосредственный.Гливенко Е.В. Параллельный процессор первичной обработки информации / Е. В. Гливенко, 1992. - 105 с. - Текст : непосредственный.Баврин И.И. Операторный метод в комплексном анализе / И. И. Баврин, 1991. - 200 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽