Electronic catalog
Start with S
Genre:Прикладные науки. Общие вопросы. Техника (technics_IT)
language:Russian
Search result:
51-60 of 91
book
ГЕЛЛЕР ДЕНИС
Структурное программирование на АПЛ = Structured Programming in APL [Текст] / Д. П. Геллер Фридман ; пер. с англ.: И. В. Диркова, Е. Ю. Дирковой ; под ред. Ю. И. Топчеева... – Москва : Машиностроение, 1982. - 255, [1] с. . – Библиогр.: с. 250. - Предм. указ.: с. 251-253 . – 9500 экз. (в пер.) : 65 тг.
UDC:
004.42:811.93
Shelf code:
Л 2020/6188
Subject headings
- Программирование ЭВМ. Языки программирования
Annotation
Изложены методы программирования на языке АПЛ, который предназначен для цифровых ЭВМ 3-го и 4-го поколения
Keywords
язык программирования АПЛ, цифровые ЭВМ, структурный АПЛ, игра NIM, программные языки
1/1 Free
book
СТЕФЕНСОН Д.
Гидрология и дренаж ливневых вод = Stormwater Hudrology and Drainage [Текст] : пер. с англ. / Д. Стефенсон ; под ред. З. Д. Копалиани... – Ленинград : Гидрометеоиздат, 1986. - 259 с., ил.; . – Библиогр.:.- Пред. указ.: с. 260-263 . – 1810 экз. (в пер.) : 22 тг.
UDC:
628.212.2
Shelf code:
Л 2022/7933
Subject headings
- Сток ливневый. Дренаж
Annotation
Излагаются методы расчета дождевого стока для урбанизированных территорий
Keywords
гидрология ливневых вод, осадки и сток, методы проектирования ливневых вод
1/1 Free
book
ЗОЕТМАН Б.
Органолептическая оценка качества воды = Sensory Assessment of Water Quality [Текст] / Б. Зоетман ; пер. с англ. З. Н. Макаренко... – Москва : Стройиздат, 1984. - 60 с., ил.; . – Библиогр.: с. 61-68 . – 3800 экз. : 2 тг.
UDC:
628.1.03.:543.92
Shelf code:
Л 2022/7905
Subject headings
- Вода. Органолептический контроль
Annotation
Проанализированы методы оценки качества воды по органолептическим показателям как индикаторы присутствия в воде химических загрязнений
Keywords
оценка качества воды, эксплуатация систем водоснабжения, химические загрязнения воды, органолептическая оценка качества воды
1/1 Free
book
ВИГЛЕБ ГЕРХАРД
Датчики = Sensortechnik [Текст] : устройство и применение / Г. Виглеб ; перевод с немецкого М. А. Хацернова... – Москва : Мир, 1989. - 191 с., ил.; . – Библиогр.: с. 189-191 . – 50000 экз. – ISBN 5-03-000634-6 (русск.), ISBN 3-7723-8111-1 (нем.)
UDC:
681.586
Shelf code:
Л 2022/8844
Subject headings
- Преобразователи. Датчики
Annotation
Приведены многочисленные примеры конструкций выпускаемых промышленностью датчиков, а также схемных решений как основы автоматизации и компьютеризации различных процессов
Keywords
газовые датчики, датчик температуры, датчики давления, датчик расхода
1/1 Free
book
ЧЕНЬ Ч.
Математическая логика и автоматическое доказательство теорем = Symbolic logic and mechanical theorem proving [Текст] / Ч. Чень Р. Ли ; перевод с англ. Г. В. Давыдова [и др.] ; под ред. С Ю. Маслова... – Москва : Наука, Гл. ред. физ.-мат. лит., 1983. - 358 с., ил.;– (Математическая логика и основания математики. . – Библиогр.: с. 333-349. - Библиогр. в конце глав. - Алф. указ.: с. 350-358 . – 8500 экз. (в пер.) : 0 тг.
UDC:
510.6+007
Shelf code:
Л 2022/4037
Subject headings
- Математическая логика
Annotation
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций
Keywords
теоремы, доказательство на вычислительных машинах, метод резолюций, анализ программ
1/1 Free
book
ХАЙРЕР ЭРНСТ
Решение обыкновенных дифференциальных уравнений = Solving ordi nary differential equations [Текст] : нежесткие задачи / Э. Хайрер Г. Ваннер С. П. Нерсетт ; пер с англ. И. А. Кульчицкой и С. С. Филиппова ; под ред. С. С. Филиппова... – Москва : Мир, 1990. - 512 с., ил.; . – Библиогр.: с. 473-492. - Указ. обозначений, предм.: с. 493-506 . – 14000 экз. – ISBN 5-03-001179-Х (в пер.) : 0 тг.
UDC:
519.62
Shelf code:
Л 2022/8427
Subject headings
- Численные методы решения обыкновенных дифференциальных уравнений
Annotation
Изложены основные теоретические результаты, приведены наиболее употребительные численные методы, дано большое число примеров практических применений в физике и прикладных науках
Keywords
дифференциальные уравнения, численные методы, нежесткие задачи
1/1 Free
book
Полуизолирующие соединения АIII ВV = Semi-insulating III-V materials [Текст] / ; под ред. Дж. У. Риса, М. Г. Мильвидского ; пер. с англ. С. А. Венкстерна [и др.]... – Москва : Металлургия, 1984. - 256, [1] с., ил.; . – Библиогр.: с. 237-254 . – 1140 экз. : 0 тг.
UDC:
537.311.322
Shelf code:
Л 2022/7593
Subject headings
- Полупроводниковые соединения
Annotation
Систематизированы данные об особенностях получения монокристаллов и эпитаксиальных слоев полуизолирующих соединений А ІІІ В V, о выборе оптимальных легирующих примесей, природе и факторах
Keywords
идентификация акцептора, ионная имплантация, арсенид галлия
1/1 Free
book
Устойчивость адаптивных систем = Stability of adaptive systems passivity and averaging analysis [Текст] / Б. Андерсон К. Джонсон П. Кокотович Р. Битмид ; пер. с англ. Е. Г. Коволенко ; под. ред. С. П. Чеботарева... – Москва : Мир, 1989. - 263 с. , ил.; - Авт. указаны на обороте тит. л. . – Библиогр.: с. 258-261 . – 5750 экз. – ISBN 5-03-000581-1 (в пер.) : 13 тг.
UDC:
681.513.6
Shelf code:
Л 2023/1273
Subject headings
- Адаптивные системы
Annotation
Излагаются методы проектирования адаптивных систем управления объектами с переменными параметрами в условиях осуществления различных циклов управляющих и возмущающих воздействий
Keywords
автоматические системы управления, устойчивость адаптивных систем, адаптивные системы
1/1 Free
book
Самоорганизующиеся системы = Self-organizing systems [Текст] : [сборник докладов] / ; пер. с англ. В. Г. Бородулиной [и др.] ; под ред. Т. Н. Соколова... – Москва : Мир, 1964. - 434, [1] с. . – Библиогр. в конце докладов . – [б. т.] (в пер.) : 13 тг.
UDC:
681.513.8
Shelf code:
Л 2022/3959
Subject headings
- Самоорганизующиеся системы (детерминированные)
Annotation
Настоящая книга содержит доклады ученых на конференции по самоорганизующимся системам, затрагивающих пограничные вопросы различных научных дисциплин
Keywords
самоорганизующиеся системы, сборники, интеллектуальное обучение
1/1 Free
book
БАР Р.
Язык Ада в проектировании систем = System Design with Ada [Текст] / Р. Бар ; пер. с англ.: О. С. Багатуровой, В. М. Храпкина, В. С. Явниловича ; под ред. Е. К. Масловского... – Москва : Мир, 1988. - 320 с. . – Лит.: с. 313-314 . - Предм. указ.: с. 315-318 . – 50000 экз. (в пер.) : 12 тг.
UDC:
004.43
Shelf code:
Л 2023/2657
Subject headings
- Компьютерные языки. Языки программирования
Annotation
Рассмотрена методология разработки прикладных систем программного обеспечения с использованием средств алгоритмического языка Ада
Keywords
язык Ада, проектирование систем, логическое проектирование
1/1 Free
book
1/1 Free
book
1/1 Free
book
1/1 Free
book
1/1 Free
ЧЕНЬ Ч.
МАТЕМАТИЧЕСКАЯ ЛОГИКА И АВТОМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМ (1983)
book
1/1 Free
ХАЙРЕР ЭРНСТ
РЕШЕНИЕ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ (1990)
book
1/1 Free
ПОЛУИЗОЛИРУЮЩИЕ СОЕДИНЕНИЯ АIII ВV (1984)
book
1/1 Free
УСТОЙЧИВОСТЬ АДАПТИВНЫХ СИСТЕМ (1989)
book
1/1 Free
САМООРГАНИЗУЮЩИЕСЯ СИСТЕМЫ (1964)
book
1/1 Free
book
1/1 Free