Деметрович Я., Кнут Е., Радо П. Автоматизированные методы спецификации

  • формат pdf
  • размер 5,59 МБ
  • добавлен 10 декабря 2012 г.
Пер. с англ., М.: Мир, 1989. - 115 с. Оригинальное название: Computer-Aided Specification Techniques - J. Demetrovics, E.Knuth, P. Rado, 1985 В книге известных венгерских специалистов описывается комплексный подход к созданию средств автоматизированной спецификации задач и систем. В основу положен двухуровневый структурный метод спецификации, позволяющий упорядочить процесс проектирования сложного программного обеспечения. Предлагаемые в книге ср...

Денинг В., Эссиг Г., Маас С. Диалоговые системы человек - ЭВМ. Адаптация к требованиям пользователя

  • формат djvu
  • размер 5,13 МБ
  • добавлен 15 февраля 2014 г.
М.: Мир, 1984. 112 с. Серия "Математическое обеспечение ЭВМ". Перевод с английского Ю.Б.Котова под редакцией В.В.Мартынюка. Оригинальное название: Waltraud Dehning, Heidrun Essig, Susanne Maass. The adaptation of virtual man-computer interfaces to user requirements in dialogs. Springer-Verlag, 1981. Рассматривается задача создания проблемно-ориентированных диалоговых систем, требующих минимальных затрат труда пользователя на их освоение и автомат...

Джадд Д.Р. Работа с файлами

  • формат djvu
  • размер 7,65 МБ
  • добавлен 03 марта 2014 г.
М.: Мир, 1975. - 144 с. Серия "Математическое обеспечение ЭВМ". Пер. с англ. Д.А.Корягина и И.Л.Любимской под ред. Э.З.Любимского. Оригинальное название: Use of Files, by D.R.Judd. MacDonald and American Elsevier, 1973 Книга входит в серию "Математическое обеспечение ЭВМ", выпускаемую издательством "Мир" с 1974 г., и посвящена принципам организации и методам обработки больших массивов информации. В книге затрагивается практически вся современная...

Драбкин А.С. ЭВМ и живой организм

  • формат fb2
  • размер 366,29 КБ
  • добавлен 25 мая 2015 г.
М.: Знание, 1975. — 144 с. — (Прочти, товарищ!) Проблема, сформулированная в заголовке книги, чрезвычайно широка. Автор затрагивает лишь некоторые ее аспекты: использование в конструкциях и программировании электронных машин патентов живой природы; биологическое предвидение и ЭВМ; взаимосвязь изучения памяти живых организмов и памяти ЭВМ; более общая взаимосвязь эволюций живого и машинного миров и

Дубинин В.Н., Зинкин С.А. Спецификация и верификация процессов обмена информацией в вычислительных системах и сетях

  • формат pdf
  • размер 61,38 МБ
  • добавлен 05 ноября 2013 г.
Учебное пособие, Пенза: Изд-во Пенз. политехн. ин-та. – 1992. – 95 с. Рассматриваются практические методы спецификации (описания) и верификации параллельных процессов передачи информации в вычислительных системах, сетях и комплексах. Изложение базируется на прикладной системе моделирования СИМС, разработанной авторами. Представлено определение сетевого формализма и даны методы представления сетевых моделей. Приведена методика проектирования, а та...

Дэниелс Тим. 1001 секрет реестра Windows NT 4

  • формат djvu
  • размер 1,89 МБ
  • добавлен 21 января 2013 г.
М.: Издательско-торговый дом «Русская Редакция», 1999. 320 с. Справочник содержит рекомендации по повышению эффективности работы операционной системы Microsoft Windows NT 4.0 путем настройки ее реестра. Книга состоит из предисловия, введения, шести глав, приложения и предметного указателя. Издание предназначено опытным пользователям и специалистам в области информационных систем. Дополнения и обновление материала находятся на web-узле книги, созд...

Ершова Е.Е. Компьютерные технологии в социологии

  • формат doc
  • размер 482,58 КБ
  • добавлен 08 марта 2012 г.
Учебное пособие. – Новосибирск: НГАСУ, 2002. – 76 с. Учебное пособие содержит основные разделы теоретического курса, который читается для студентов специальности 020300 Социология, и включает в себя необходимые сведения по операционным системам MS DOS, Windows и программным продуктам Word, Excel. Учебное пособие написано в соответствии с программой курса Социальная информатика, по специальности. 020300. Оно будет полезно студентам данной специаль...

Ефремов В.Д. и др. Вычислительные машины и системы

  • формат djvu
  • размер 4.95 МБ
  • добавлен 16 октября 2010 г.
Вычислительные машины и системы: Учеб. для вузов / В. Д. Ефремов, В. Ф. Мелехин, К. П. Дурандин и др.; под ред. В. Д. Ефремова, В. Ф. Мелехина. — М.: Высш. шк. , 1993. — 292 с., ил. 138. ISBN 5-06-002635-3 В книге изложены принципы построения, тенденции развития и основы использования в системах управления широкого набора выпускаемых промышленностью средств вычислительной техники, включая мини- и микроЭВМ, микропроцессоры, микропроцессорные компл...

Желнов Ю.А. Точностные характеристики управляющих вычислительных машин

  • формат djvu
  • размер 1.56 МБ
  • добавлен 15 мая 2010 г.
М.: Энергоатомиздат, 1983. — 136 с. Рассмотрены оценки точности управляющих вычислительных машин (УВМ) при их функционировании в составе АСУ. Изложены методы определения оценок погрешностей УВМ, являющихся следствием арифметизации исходных алгоритмов, квантования входных данных и констант, используемых в вычислениях, а также округлений чисел. Для инженеров и научных работников, специализирующихся в области проектирования, применения и исследовани...

Журавлев А.П. Диалог с компьютером

  • формат fb2
  • размер 723,51 КБ
  • добавлен 04 декабря 2014 г.
М.: Молодая гвардия, 1987. — 205 с., ил. — (Эврика). Книга посвящена проблеме общения человека с компьютером на естественном языке, одной из важнейших в современной кибернетике. От ее решения зависят успехи во многих областях науки и техники, в первую очередь в тех, которые связаны с управлением механизмами, в том числе и компьютерами.

Журавлев А.П. Диалог с компьютером

  • формат rtf
  • размер 849,48 КБ
  • добавлен 04 декабря 2014 г.
М.: Молодая гвардия, 1987. — 205 с., ил. — (Эврика). Книга посвящена проблеме общения человека с компьютером на естественном языке, одной из важнейших в современной кибернетике. От ее решения зависят успехи во многих областях науки и техники, в первую очередь в тех, которые связаны с управлением механизмами, в том числе и компьютерами.

Зиглер К. Методы проектирования программных систем

  • формат djvu
  • размер 16,15 МБ
  • добавлен 05 февраля 2014 г.
М.: Мир, 1985. - 328 с. Перевод с английского к.т.н. М.В.Сергиевского, к.т.н. А.В.Шалашова, А.В.Чукашова и А.Е.Кондратьева под ред. д.т.н. Я.А.Хетагурова. Оригинальное название: Programming System Methodologies, by Carol A. Ziegler. Prentice-Hall, Inc. 1983 В книге американского специалиста по обработке данных анализируется процесс проектирования и рассматриваются методы проектирования программных систем. Большое внимание уделено этапу тестирован...

Зотов В.В., Маслов Ю.Н. и др. Терминологический словарь по автоматике, информатике и вычислительной технике

  • формат pdf
  • размер 10,36 МБ
  • добавлен 26 июня 2013 г.
М.: Высшая школа, 1989. — 191 с. — ISBN: 5-06-000316-7 Словарь содержит около 1300 статей, в которых дается объяснение основных, наиболее употребительных терминов, определений и понятий в данных областях знаний с учетом их современного состояния. Для удобства пользования приведены сокращения, обозначения и алфавитный указатель.

Иллингуорт В., Глейзер Э., Пайл И. (ред.). Толковый словарь по вычислительным системам

  • формат pdf
  • размер 78,32 МБ
  • добавлен 16 июля 2014 г.
М.: Машиностроение. 1990. - 560 с. (561 с. — в электронном виде). Перевод с английского под ред. канд. техн. наук Е.К.Масловского Аннотация издательства: В предлагаемом словаре-справочнике издательства «Оксфорд юниверсити пресс» (Великобритания) собрано более 4 тыс. наиболее употребительных терминов по алгоритмам, языкам и способам программирования, базам данных, операционным системам, архитектуре ЭВМ, аппаратным средствам, обработке информации и...

Ильин В.Д. Система порождения программ

  • формат pdf
  • размер 16,64 МБ
  • добавлен 07 января 2013 г.
Научное издание. Монография. М.: Наука, 1989. - 264 с. ISBN 5-02-006578-1 Монография посвящена проблеме автоматизированного конструирования программных систем с заданными характеристиками. Изложены теоретические основы данного метода, названного И-порождением целевых программных систем. Приведено описание применения метода для конструирования пакетов программ на примере системы ГЕНПАК, воплощающей методологию И-порождения. Для научных работников,...

Каган Б.М., Мкртумян И.Б. Основы эксплуатации ЭВМ

  • формат djvu
  • размер 4,36 МБ
  • добавлен 24 сентября 2011 г.
Учеб. пособие для вузов. — 2-е изд., перераб. и доп. — М.: Энергоатомиздат, 1988. — 432 с: ил. ISBN 5-283-01484-3 В новом издании книги (первое издание вышло в 1983 г.) рассмотрены подходы к проектированию и эксплуатации средств вычислительной техники, обеспечивающие их высокую надежность, готовность и обслуживаемость. Основное внимание уделено аппаратурно-программным средствам, повышающим обслуживаемость вычислительных машин и устройств. Для...

Калабеков Б.А., Мамзелев И.А. Основы автоматики и вычислительной техники

  • формат djvu, txt
  • размер 14,84 МБ
  • добавлен 03 августа 2012 г.
М: Связь, 1980. - 296 с., ил. Учебник для техникумов связи. Допущено Министерством связи СССР в качестве учебника для техникумов связи, специальности 0574, 0701, 0706, 0708, 0709, 0733,0734, 0735 Излагаются принципы работы импульсных устройств, интегральных логических элементов, методы синтеза логических устройств комбинационного и последовательностного типов, анализ и синтез разнообразных узлов цифровых устройств, начальные сведения о принципах...

Карцев М.А. Арифметика цифровых машин

  • формат djvu
  • размер 4.27 МБ
  • добавлен 20 ноября 2011 г.
Учеб. пособие. - М.: Изд-во "Наука", 1969. - 576 с. Библиографических ссылок 340 назв., 101 рисунок, 16 таблиц. В книге рассмотрен комплекс теоретических и практических вопросов, связанных с проектированием арифметических устройств электронных цифровых машин. Рассмотрены способы представления чисел в машинах, влияние различных решений на количество оборудования и скорость выполнения операций в машине. Дано обобщение понятия системы счисления на...

Карцев М.А. Арифметика цифровых машин

  • формат pdf
  • размер 7,50 МБ
  • добавлен 28 октября 2016 г.
М.: Наука, 1969. — 576 с. В книге рассмотрен комплекс теоретических и практических вопросов, связанных с проектированием арифметических устройств электронных цифровых машин. Рассмотрены способы представления чисел в машинах, влияние различных решений на количество оборудования и скорость выполнения операций в машине. Дано обобщение понятия системы счисления на дробные основания, введено понятие способов кодирования, близких к позиционным с естест...

Кириличев А.М. Основы вычислительной техники: Учебник для техникумов

  • формат djvu
  • размер 6,38 МБ
  • добавлен 07 июля 2010 г.
2-е изд., перераб. и доп. — М.: Недра, 1988. —350 с: ил. Изложены системы счисления, правила Перевода из одной системы в другую, формы представления чисел, машинные коды и арифметические операции над ними, принципы действия основных узлов и устройств ЭВМ, основы программирования, использование ЭВМ для обработки геофизической информации. Второе издание (1-е — 1979 г. ) дополнено сведениями о вычислительных комплексах и системах, устройствах подгот...