Электронный каталог
Начинается с S
Страна издания:РОССИЙСКАЯ ФЕДЕРАЦИЯ
Жанр:Прикладные науки. Общие вопросы. Техника (technics_IT)
Язык издания:Русский
Вид издания:книга(book)
Результат поиска:
51-60 из 82
![](/FileStore/dataFiles/1d/55/1655233/content/cover.png?time=1725844284557&key=43fc0646f33035b5e00f226682eec6e6)
книга(book)
ГЕЛЛЕР ДЕНИС
Структурное программирование на АПЛ = Structured Programming in APL [Текст] / Д. П. Геллер Фридман ; пер. с англ.: И. В. Диркова, Е. Ю. Дирковой ; под ред. Ю. И. Топчеева... – Москва : Машиностроение, 1982. - 255, [1] с. . – Библиогр.: с. 250. - Предм. указ.: с. 251-253 . – 9500 экз. (в пер.) : 65 тг.
УДК:
004.42:811.93
Полочный шифр:
Л 2020/6188
Предметная рубрика
- Программирование ЭВМ. Языки программирования
Аннотация
Изложены методы программирования на языке АПЛ, который предназначен для цифровых ЭВМ 3-го и 4-го поколения
Ключевые слова
язык программирования АПЛ, цифровые ЭВМ, структурный АПЛ, игра NIM, программные языки
1/1 Свободно
![](/FileStore/dataFiles/a8/47/1652866/content/cover.png?time=1725844284557&key=c4d6ecb4848b941a8e8869abe7ca16c0)
книга(book)
СТЕФЕНСОН Д.
Гидрология и дренаж ливневых вод = Stormwater Hudrology and Drainage [Текст] : пер. с англ. / Д. Стефенсон ; под ред. З. Д. Копалиани... – Ленинград : Гидрометеоиздат, 1986. - 259 с., ил.; . – Библиогр.:.- Пред. указ.: с. 260-263 . – 1810 экз. (в пер.) : 22 тг.
УДК:
628.212.2
Полочный шифр:
Л 2022/7933
Предметная рубрика
- Сток ливневый. Дренаж
Аннотация
Излагаются методы расчета дождевого стока для урбанизированных территорий
Ключевые слова
гидрология ливневых вод, осадки и сток, методы проектирования ливневых вод
1/1 Свободно
![](/FileStore/dataFiles/09/59/1652767/content/cover.png?time=1725844284557&key=0549eef830f44a26a7b2dfe26c8f1967)
книга(book)
ЗОЕТМАН Б.
Органолептическая оценка качества воды = Sensory Assessment of Water Quality [Текст] / Б. Зоетман ; пер. с англ. З. Н. Макаренко... – Москва : Стройиздат, 1984. - 60 с., ил.; . – Библиогр.: с. 61-68 . – 3800 экз. : 2 тг.
УДК:
628.1.03.:543.92
Полочный шифр:
Л 2022/7905
Предметная рубрика
- Вода. Органолептический контроль
Аннотация
Проанализированы методы оценки качества воды по органолептическим показателям как индикаторы присутствия в воде химических загрязнений
Ключевые слова
оценка качества воды, эксплуатация систем водоснабжения, химические загрязнения воды, органолептическая оценка качества воды
1/1 Свободно
![](/FileStore/dataFiles/7c/74/1651769/content/cover.png?time=1725844284557&key=5e15d4b40096869020972f961426bb69)
книга(book)
ВИГЛЕБ ГЕРХАРД
Датчики = Sensortechnik [Текст] : устройство и применение / Г. Виглеб ; перевод с немецкого М. А. Хацернова... – Москва : Мир, 1989. - 191 с., ил.; . – Библиогр.: с. 189-191 . – 50000 экз. – ISBN 5-03-000634-6 (русск.), ISBN 3-7723-8111-1 (нем.)
УДК:
681.586
Полочный шифр:
Л 2022/8844
Предметная рубрика
- Преобразователи. Датчики
Аннотация
Приведены многочисленные примеры конструкций выпускаемых промышленностью датчиков, а также схемных решений как основы автоматизации и компьютеризации различных процессов
Ключевые слова
газовые датчики, датчик температуры, датчики давления, датчик расхода
1/1 Свободно
![](/FileStore/dataFiles/d0/7f/1642092/content/cover.png?time=1725844284558&key=10dafcafd71e5878fe616778bda2ae63)
книга(book)
ЧЕНЬ Ч.
Математическая логика и автоматическое доказательство теорем = Symbolic logic and mechanical theorem proving [Текст] / Ч. Чень Р. Ли ; перевод с англ. Г. В. Давыдова [и др.] ; под ред. С Ю. Маслова... – Москва : Наука, Гл. ред. физ.-мат. лит., 1983. - 358 с., ил.;– (Математическая логика и основания математики. . – Библиогр.: с. 333-349. - Библиогр. в конце глав. - Алф. указ.: с. 350-358 . – 8500 экз. (в пер.) : 0 тг.
УДК:
510.6+007
Полочный шифр:
Л 2022/4037
Предметная рубрика
- Математическая логика
Аннотация
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций
Ключевые слова
теоремы, доказательство на вычислительных машинах, метод резолюций, анализ программ
1/1 Свободно
![](/FileStore/dataFiles/4e/dd/1647664/content/cover.png?time=1725844284558&key=62e853ae87d6e4a770c68a092e750424)
книга(book)
ХАЙРЕР ЭРНСТ
Решение обыкновенных дифференциальных уравнений = Solving ordi nary differential equations [Текст] : нежесткие задачи / Э. Хайрер Г. Ваннер С. П. Нерсетт ; пер с англ. И. А. Кульчицкой и С. С. Филиппова ; под ред. С. С. Филиппова... – Москва : Мир, 1990. - 512 с., ил.; . – Библиогр.: с. 473-492. - Указ. обозначений, предм.: с. 493-506 . – 14000 экз. – ISBN 5-03-001179-Х (в пер.) : 0 тг.
УДК:
519.62
Полочный шифр:
Л 2022/8427
Предметная рубрика
- Численные методы решения обыкновенных дифференциальных уравнений
Аннотация
Изложены основные теоретические результаты, приведены наиболее употребительные численные методы, дано большое число примеров практических применений в физике и прикладных науках
Ключевые слова
дифференциальные уравнения, численные методы, нежесткие задачи
1/1 Свободно
![](/FileStore/dataFiles/5d/f4/1649167/content/cover.png?time=1725844284558&key=e7a4e246c0a3d584a8caa9d593d467d3)
книга(book)
Полуизолирующие соединения АIII ВV = Semi-insulating III-V materials [Текст] / ; под ред. Дж. У. Риса, М. Г. Мильвидского ; пер. с англ. С. А. Венкстерна [и др.]... – Москва : Металлургия, 1984. - 256, [1] с., ил.; . – Библиогр.: с. 237-254 . – 1140 экз. : 0 тг.
УДК:
537.311.322
Полочный шифр:
Л 2022/7593
Предметная рубрика
- Полупроводниковые соединения
Аннотация
Систематизированы данные об особенностях получения монокристаллов и эпитаксиальных слоев полуизолирующих соединений А ІІІ В V, о выборе оптимальных легирующих примесей, природе и факторах
Ключевые слова
идентификация акцептора, ионная имплантация, арсенид галлия
1/1 Свободно
![](/FileStore/dataFiles/b5/3e/1657065/content/cover.png?time=1725844284558&key=ec246c685f735208f9d73b13bea9b38c)
книга(book)
Устойчивость адаптивных систем = Stability of adaptive systems passivity and averaging analysis [Текст] / Б. Андерсон К. Джонсон П. Кокотович Р. Битмид ; пер. с англ. Е. Г. Коволенко ; под. ред. С. П. Чеботарева... – Москва : Мир, 1989. - 263 с. , ил.; - Авт. указаны на обороте тит. л. . – Библиогр.: с. 258-261 . – 5750 экз. – ISBN 5-03-000581-1 (в пер.) : 13 тг.
УДК:
681.513.6
Полочный шифр:
Л 2023/1273
Предметная рубрика
- Адаптивные системы
Аннотация
Излагаются методы проектирования адаптивных систем управления объектами с переменными параметрами в условиях осуществления различных циклов управляющих и возмущающих воздействий
Ключевые слова
автоматические системы управления, устойчивость адаптивных систем, адаптивные системы
1/1 Свободно
![](/FileStore/dataFiles/0d/f6/1641556/content/cover.png?time=1725844284558&key=bf650ab9c85365e830d3eab7e459edb0)
книга(book)
Самоорганизующиеся системы = Self-organizing systems [Текст] : [сборник докладов] / ; пер. с англ. В. Г. Бородулиной [и др.] ; под ред. Т. Н. Соколова... – Москва : Мир, 1964. - 434, [1] с. . – Библиогр. в конце докладов . – [б. т.] (в пер.) : 13 тг.
УДК:
681.513.8
Полочный шифр:
Л 2022/3959
Предметная рубрика
- Самоорганизующиеся системы (детерминированные)
Аннотация
Настоящая книга содержит доклады ученых на конференции по самоорганизующимся системам, затрагивающих пограничные вопросы различных научных дисциплин
Ключевые слова
самоорганизующиеся системы, сборники, интеллектуальное обучение
1/1 Свободно
![](/FileStore/dataFiles/fc/db/1660032/content/cover.png?time=1725844284558&key=d57fa9bbe9b9c05f3a679d454250a8b8)
книга(book)
БАР Р.
Язык Ада в проектировании систем = System Design with Ada [Текст] / Р. Бар ; пер. с англ.: О. С. Багатуровой, В. М. Храпкина, В. С. Явниловича ; под ред. Е. К. Масловского... – Москва : Мир, 1988. - 320 с. . – Лит.: с. 313-314 . - Предм. указ.: с. 315-318 . – 50000 экз. (в пер.) : 12 тг.
УДК:
004.43
Полочный шифр:
Л 2023/2657
Предметная рубрика
- Компьютерные языки. Языки программирования
Аннотация
Рассмотрена методология разработки прикладных систем программного обеспечения с использованием средств алгоритмического языка Ада
Ключевые слова
язык Ада, проектирование систем, логическое проектирование
1/1 Свободно
книга(book)
1/1 Свободно
книга(book)
1/1 Свободно
книга(book)
1/1 Свободно
книга(book)
1/1 Свободно
ЧЕНЬ Ч.
МАТЕМАТИЧЕСКАЯ ЛОГИКА И АВТОМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМ (1983)
книга(book)
1/1 Свободно
ХАЙРЕР ЭРНСТ
РЕШЕНИЕ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ (1990)
книга(book)
1/1 Свободно
ПОЛУИЗОЛИРУЮЩИЕ СОЕДИНЕНИЯ АIII ВV (1984)
книга(book)
1/1 Свободно
УСТОЙЧИВОСТЬ АДАПТИВНЫХ СИСТЕМ (1989)
книга(book)
1/1 Свободно
САМООРГАНИЗУЮЩИЕСЯ СИСТЕМЫ (1964)
книга(book)
1/1 Свободно
книга(book)
1/1 Свободно