Приложение
для AndroidПолное описание
Вольфенгаген, В. Э. Концептуализация в аппликативных вычислительных системах : учеб. пособие / В.Э.Вольфенгаген. - М. : МИФИ, 1990. - 56 c. - 500 экз. - Текст : непосредственный.
В надзаг.:Моск. инж.-физ. ин-т, Фак. кибернетики. Библиогр.: с. 56 (6 назв.)
| ГРНТИ | УДК | |
| 50.39 | 004.7 |
Рубрики:
Программирования языки -- Lisp
Вычислительные системы
Кл.слова (ненормированные): ВЫЧИСЛИТЕЛЬНАЯ СИСТЕМА -- ЛИСП -- ЯЗЫК ПРОГРАММИРОВАНИЯ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д7-90/81535)
Шифр в сводном ЭК: d1063cbeb9562f8a774c4f002e07568e
Методы и средства построения систем знания : Учеб.пособие / Вольфенгаген В.Э.и др. Ч. 2 : Модели, обслуживающие базы данных и базы знаний / В.Э.Вольфенгаген,И.А.Горюнова,С.В.Косиков, 1992. - 135 с. - Текст : непосредственный.Вольфенгаген В.Э. Конструкции языков программирования : монография / В. Э. Вольфенгаген, 2001. - 276 с. - Текст : непосредственный.
Вольфенгаген В.Э. Методы и средства вычислений с объектами : Аппликативные вычислительные системы / В.Э. Вольфенгаген, 2004. - 788 с. - Текст : непосредственный.Вольфенгаген В.Э. Концептуализация в аппликативных вычислительных системах : Учеб. пособие / В.Э.Вольфенгаген, 1990. - 56 c. - Текст : непосредственный.Методы и средства построения систем знания : Учеб.пособие / Вольфенгаген В.Э.и др. Ч. 1 : Модели, обслуживающие ЛИСП / В.Э.Вольфенгаген,И.А.Горюнова,С.В.Косиков, 1992. - 162 с. - Текст : непосредственный.Вольфенгаген В.Э. Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах / В.Э.Вольфенгаген, 2003. - 335 с. - Текст : непосредственный.Вольфенгаген В.Э. Комбинаторная логика в программировании (Вычисления с объектами в примерах и задачах) : Учеб.пособие / В.Э.Вольфенгаген, 1994. - 202 c. - Текст : непосредственный.Вольфенгаген В.Э. Категориальная абстрактная машина : Конспект лекций: введение в вычисления / В.Э.Вольфенгаген, 2002. - 95 с. - Текст : непосредственный.Вольфенгаген В.Э. Теория вычислений : Учеб.пособие / В.Э.Вольфенгаген, 1993. - 72 c. - Текст : непосредственный.Вольфенгаген В.Э. Проектирование языков программирования и теория вычислений : Учеб.пособие / В.Э.Вольфенгаген, 1993. - 167 c. - Текст : непосредственный.Вольфенгаген В.Э. Категориальная абстрактная машина : Учеб.пособие / В.Э.Вольфенгаген, 1993. - 72 c. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
Сети.Рынок телекоммуникаций : Журн.по компьютерным сетям и телекоммуникационным технологиям. - Журнал выходит с 1989г. - Текст : непосредственный.Шиндялов С.А. Принятие решений в планировании и управлении корпоративными сетями интерактивными методами имитационного моделирования : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. А. Шиндялов, 2001. - 11 c. - Текст : непосредственный.Додонов А.Г. Введение в теорию живучести вычислительных систем / А. Г. Додонов, М. Г. Кузнецова, Е. С. Горбачик, 1990. - 181 c. - Текст : непосредственный.Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Коваленко В.Н. Комплексное программное обеспечение грида вычислительного типа / В. Н. Коваленко, 2007. - 39 с. - Текст : непосредственный.Patterson D. A. Computer organization and design. The hardware/ Software interface / D. A. Patterson, J. L. Hennessy, 2012. - XXV, 703 pag. var. p. - Текст : непосредственный.Морозов И. А. Математическое и программное обеспечение диспетчеризации беспроводных распределенных компьютерных систем / И. А. Морозов, 2007. - 20 с. - Текст : непосредственный.Lecture notes in electrical engineering. Vol. 34 : Designing reliable and efficient networks on chips / S. Murali, 2009. - X, 198 p. - Текст : непосредственный.Поленов М.Ю. Разработка инструментальных средств проектирования, исследования и оптимизации проблемно-ориентированных вычислительных систем : специальность 05.13.13 "", 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / М. Ю. Поленов, 1995. - 16 с. - Текст : непосредственный.Ермаков А.А. Комплексное обеспечение надежности кластерных систем на основе математического моделирования / А. А. Ермаков, 2008. - 24 с. - Текст : непосредственный.Труды Института системного анализа Российской академии наук. Т. 14 : Проблемы вычислений в распределенной среде. Модели обработки и представления данных. Динамические системы : сб. статей / Под ед. С.В. Емельянова, А.П. Афанасьева, 2005. - 222 с. - Текст : непосредственный.Поляков А.Ю. Разработка и исследование средств отказоустойчивости распределенных вычислительных систем / А. Ю. Поляков, 2010. - 19 с. - Текст : непосредственный.Захаров В.Н. Программные методы и средства обеспечения отказоустойчивости в распределенных системах : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени д-ра техн. наук / В. Н. Захаров, 2011. - 41 с. - Текст : непосредственный.Чернова Т.А. Научные основы информационного обеспечения сложных объектов при оптимизации режимов их функционирования в распределенной вычислительной среде : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : диссертация на соискание ученой степени д-ра техн. наук / Т. А. Чернова, 2011. - 26 с. - Текст : непосредственный.Working implementation agreements for open systems interconnection protocols / Ed.:F.E.Boland. Vol. 3,N 1 : Based on the proceedings of the March 1990 National institute of standards and technology OSI implementor's workshop, 1991. - XXVIII,pag.var. - Текст : непосредственный.Working implementation agreements for open systems interconnection protocols / Ed.:F.E.Boland. Vol. 3,N 2 : Based on the proceedings of the June National institute of standards and technology OSI implementor's workshop, 1991. - Pag.var. - Текст : непосредственный.Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Пирогов В.В. Исследование применимости генетических алгоритмов в автоматизированном проектировании вычислительных сетей и в задачах размещения : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : автореферат диссертации на соискание ученой степени канд.техн.наук / В. В. Пирогов, 2000. - 23 с. - Текст : непосредственный.Хьюс Д.Ф. Переход к сетям NetWare 4.1 / Д. Ф. Хьюс, Б. В. Томас, 1996. - 417 с. - Текст : непосредственный.Online Information Review : The International Journal of Digital Information Research and Use. - Журнал выходит с 1976г. r=on-line. - Текст : электронный.
Показать все результатыКуранов В.В. Аналоговый вычислительный комплекс АВК-31 / В. В. Куранов, 1994. - 56 c. - Текст : непосредственный.Современные компьютерные системы и технологии : сборник / Московский гос. технический ун-т им. Н. Э. Баумана, 2014. - 179 с. - Текст : непосредственный.Денисов Д.В. Аппаратное обеспечение вычислительных систем : учебное пособие / Д. В. Денисов, В. В. Артюхин, М. Ф. Седненков, 2007. - 184 с. - Текст : непосредственный.Ладыгин И.И. Основы построения вычислительных систем / И. И. Ладыгин, Н. С. Белоцицкий ; Ред. А. А. Дерюгин, 1992. - 51,XVIII с. с. - Текст : непосредственный.Вычислительные, измерительные и управляющие системы : сборник научных трудов / Ред. Ю. С. Васильев, 1993. - 88 c. - Текст : непосредственный.Вычислительные, измерительные и управляющие системы : сборник / Санкт-Петербургский гос. политехнический ун-т, 2009. - 156 с. - Текст : непосредственный.Вестник. Вып. 8.1(2001) : Серия "Вычислительные и информационно-телекоммуникационные системы", 2001. - 101 с. - Текст : непосредственный.Каган Б.М. Электронные вычислительные машины и системы / Б. М. Каган, 1991. - 591 c. - Текст : непосредственный.Advances in computers / ed.: A. Hurson, A. Memon. Vol. 84 : Dependable and secure systems engineering / ed.: A. Hurson, S. Sedigh, 2012. - IX, 191 p. - Текст : непосредственный.Девянин П.Н. Модели безопасности компьютерных систем. Управление доступом и информационными потоками / П. Н. Девянин, 2011. - 319 с. - Текст : непосредственный.Network and system security / Ed. J. R. Vacca, 2010. - XXXV, 368 p. - Текст : непосредственный.Разработка плана восстановительных работ в случае отказа функционирования вычислительных систем. - 10 c. - Текст : непосредственный.Софронов И.Д. Избранные труды. Математическое моделирование и вычислительные системы / И. Д. Софронов, 2005. - 564 с. - Текст : непосредственный.Пятибратов А.П. Вычислительные системы, сети и телекоммуникации / А. П. Пятибратов, Л. П. Гудыно, А. А. Кириченко, 1998. - 398 с. - Текст : непосредственный.Каган Б.М. Цифровые вычислительные машины и системы, 1973. - 679 с. - Текст : непосредственный.Информационная безопасность, проектирование и технология элементов и узлов компьютерных систем : сб. тр. молодых ученых, аспирантов и студентов науч.-пед. шк. каф. проектирования и безопасности компьютер. систем / Санкт-Петербургский нац.-исследовательский ун-т информ. технологий, механики и оптики. Ч. 2(2011), 2011. - 90 с. - Текст : непосредственный.Информационная безопасность, проектирование и технология элементов и узлов компьютерных систем : сборник / Санкт-Петербургский нац.-исследовательский ун-т информ. технологий, механики и оптики, 2011. - 74 с. - Текст : непосредственный.Компьютерные системы и сети / В. П. Косарев, Л. В. Еремин, О. В. Машникова, 1999. - 463 с. - Текст : непосредственный.Дроздов Е.А. Основы построения и функционирования вычислительных систем, 1973. - 368 с. - Текст : непосредственный.Гончаров Р.В. Информатика. компьютерные системы и сети / Р. В. Гончаров, М. Ф. Любимов, Н. Г. Савельева, 1998. - 254 с. - Текст : непосредственный.
Показать все результатыСпейнаур С. Справочник WEB-мастера / С. Спейнаур, В. Куэрсиа, 1997. - 367 с. - Текст : непосредственный.Сети.Рынок телекоммуникаций : Журн.по компьютерным сетям и телекоммуникационным технологиям. - Журнал выходит с 1989г. - Текст : непосредственный.Цокур Э.А. Использование системы остаточных классов для повышения надежности цифровых многоканальных систем передачи информации : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени канд. техн. наук / Э. А. Цокур, 2001. - 22 с. - Текст : непосредственный.Шиндялов С.А. Принятие решений в планировании и управлении корпоративными сетями интерактивными методами имитационного моделирования : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. А. Шиндялов, 2001. - 11 c. - Текст : непосредственный.Сети и телекоммуникации : Журн. - Журнал выходит с 19г. - Текст : непосредственный.Веберова И.И. Распределенные информационные системы / И. И. Веберова, 2003. - 345 с. - Текст : непосредственный.Додонов А.Г. Введение в теорию живучести вычислительных систем / А. Г. Додонов, М. Г. Кузнецова, Е. С. Горбачик, 1990. - 181 c. - Текст : непосредственный.Ляхов А.И. Развитие метода Лапласа для асимптотической оценки характеристик замкнутых сетей очередей большой размерности : препринт / А. И. Ляхов, 1990. - 35 c. - Текст : непосредственный.Decision Micro <& >Reseaux. - Журнал выходит с 1994г. - Текст : непосредственный.Datenkommunikation 1986-1991 : сборник научных трудов / Hrsg. W. Effelsberg, 1993. - 489 S. - Текст : непосредственный.Коваленко В.Н. Комплексное программное обеспечение грида вычислительного типа / В. Н. Коваленко, 2007. - 39 с. - Текст : непосредственный.Журавлева Е.Ю. Сеть Интернет: проблемы становления и развития (социально-философский анализ) / Е. Ю. Журавлева, 2006. - 218 с. - Текст : непосредственный.Компьютерная графика и Web-дизайн : учебное пособие / С. А. Ишков, И. Н. Бондарев, В. А. Романенко, М. С. Стенгач, 2006. - 171 с. - Текст : непосредственный.Patterson D. A. Computer organization and design. The hardware/ Software interface / D. A. Patterson, J. L. Hennessy, 2012. - XXV, 703 pag. var. p. - Текст : непосредственный.Левин Д.Р. Internet для "чайников" / Д. Р. Левин, К. Бароди, М. Левин-Янг, 2004. - 283 с. - Текст : непосредственный.Пхоун Найнг.Моделирование процессов динамического связывания WEB-сервисов : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / Пхоун Найнг, 2007. - 24 с. - Текст : непосредственный.Со Тхей Вин.Исследование компонентной модели объектов для создания программного обеспечения и оценка производительности WEB-сайтов : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / Со Тхей Вин, 2007. - 19 с. - Текст : непосредственный.Платов В.В. Специальное математическое и программное обеспечение процессов управления интенсивностью передачи данных : автореф. дис. .. канд. техн. наук: 05.13.11 / В. В. Платов, 2007. - 19 с. - Текст : непосредственный.Морозов И. А. Математическое и программное обеспечение диспетчеризации беспроводных распределенных компьютерных систем / И. А. Морозов, 2007. - 20 с. - Текст : непосредственный.Поленов М.Ю. Разработка инструментальных средств проектирования, исследования и оптимизации проблемно-ориентированных вычислительных систем : специальность 05.13.13 "", 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / М. Ю. Поленов, 1995. - 16 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽