510.6 Б 90 Булос, Дж. Вычислимость и логика [Text] / Булос, Дж., Джеффри, Р. ; ред. Артемов С.Н. - М. : Мир, 1994. - 396 с. : ил. - Указ. имен. и предм.:с.388-394. - ISBN 5-03-003067-0 : 6500-00 р.
Кл.слова (ненормированные): Математическая логика Доп.точки доступа: Джеффри, Р.; Артемов С.Н. \ред.\ Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
624.15(03) Ф 94 Фундаменты и кладка [Текст] / Крылов, Ю. И. - Челябинск : Урал Л.Т.Д., 2001. - 128 с. : ил. - ISBN 5-8029-0158-6 (В пер.) : 98-00 р.
Кл.слова (ненормированные): Фундаменты -- Бетоны -- Материалы строительные -- Растворы строительные -- Домоводство Доп.точки доступа: Крылов, Ю. И. Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
511(075) Г 24 Гашков, С. Б. Арифметика. Алгоритмы. Сложность вычислений [Текст] : учеб. пособие для вузов / Гашков, С. Б., Чубариков, В. Н. - 2-е изд., перераб. - М. : Высшая школа, 2000. - 320 с. - ISBN 5-06-003613-8 (в пер.) : 62-50 р.
КИБЕРНЕТИКА--КИБЕРНЕТИЧЕСКИЕ АСПЕКТЫ СТРУКТУРНОЛОГИЧЕСКОЙ ТЕОРИИ АЛГОРИТМОВ И ПРОГРАММИРОВАНИЯ Кл.слова (ненормированные): арифметика -- алгоритмы -- кибернетика математическая -- числа (математика) -- алгоритм Евклида -- числа Фибоначчи Доп.точки доступа: Чубариков, В. Н. Экземпляры всего: 5 НТА (4), КХ (1) Свободны: НТА (4), КХ (1) |
624.15(075) Б 49 Берлинов, М. В. Расчет оснований и фундаментов [Текст] : учебник для средних проф. учеб. заведений / Берлинов, М. В., Ягупов, Б. А. - 2-е изд., перераб. и доп. - М. : Стройиздат, 2000. - 272 с. : ил., табл. - Библиогр.: с. 264. - ISBN 5-274-01917-Х : 140-00 р.
Кл.слова (ненормированные): основания (строительство) -- фундаменты (строительство) -- фундаменты свайные -- котлованы (строительство) -- реконструкция зданий Доп.точки доступа: Ягупов, Б. А. Экземпляры всего: 10 ОХиИФ (1), ООЛ (9) Свободны: ОХиИФ (1), ООЛ (9) |
513(075) А 46 Александров, А. Д. Геометрия [Текст] : учеб. пособие для вузов / Александров, А. Д., Нецветаев, Н. Ю. - М. : Наука : Физматлит, 1990. - 672 с. : ил. - ISBN 5-02-014336-7 (в пер.) : 15-00 р.
Кл.слова (ненормированные): геометрия -- аналитическая геометрия -- элементарная геометрия -- проективная геометрия -- дифференциальная геометрия -- топология -- основания геометрии -- Лобачевского геометрия -- Риманова геометрия -- Эйлера теорема Доп.точки доступа: Нецветаев, Н. Ю. Экземпляры всего: 2 ООЛ (1), ОХиИФ (1) Свободны: ООЛ (1), ОХиИФ (1) |
510(075) В 31 Верещагин, Н. К. Лекции по математической логике и теории алгоритмов [Text] / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 1999 - . Ч. 1 : Начала теории множеств. - 128 с. : ил. - Библиогр.: с. 121-122.- Предм. указ.: с. 123-126.- Указ. имен: с. 127. - ISBN 5-900916-36-7 : 25-00 р. На обл. авт. не указ.
Кл.слова (ненормированные): теория множеств -- математическая логика -- множества (математика) -- Кантора теорема -- Рамсея теорема -- Цермело теорема Доп.точки доступа: Шень, А. Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
624.131(075) М 55 Механика грунтов, основания и фундаменты [Текст] : учеб. пособие для вузов / С. Б. Ухов, В. В. Семенов, В. В. Знаменский и др.; под ред. С. Б. Ухова. - 2-е изд., перераб. и доп. - М. : Высшая школа, 2002. - 568 с. : ил. - Библиогр.: с. 562-563. - ISBN 5-06-003868-8 (в пер.) : 168.00 р. Авт. указ. на обороте тит. л.
ГЕОЛОГИЯ--ИНЖЕНЕРНАЯ ГЕОЛОГИЯ Кл.слова (ненормированные): механика грунтов -- грунты -- основания фундаментов -- фундаменты -- САПР Доп.точки доступа: Ухов, С. Б.; Семенов, В. В.; Знаменский, В. В.; Тер-Мартиросян, З. Г.; Чернышев, С. Н. Экземпляры всего: 46 ООЛ (46) Свободны: ООЛ (46) |
728.6(075) П 48 Покатаев, В. П. Конструкции малоэтажных зданий [Text] : (индивидуальных домов, коттеджей, дач) : учеб.-практ. пособие [для вузов] / Покатаев, В. П., Токарев, А. А. - Ростов-на-Дону : Феникс, 2004. - 217 с. : ил., табл. - (Строительство). - Библиогр.: с. 214-216. - ISBN 5-222-04176-Х (в пер.) : 72-00 р.
Кл.слова (ненормированные): малоэтажные здания -- индивидуальные дома -- коттеджи -- дачи -- подземные части зданий -- здания -- надземные части зданий -- строительные конструкции -- части зданий -- основания -- фундаменты -- стены -- крыши -- полы -- окна -- перекрытия -- лестницы Доп.точки доступа: Токарев, А. А. Экземпляры всего: 4 ОХФ (1), ООНЛ (3) Свободны: ОХФ (1), ООНЛ (3) |
69.05(075) Б 43 Белецкий, Б. Ф. Технология строительного производства [Text] : учебник для вузов / Белецкий, Б. Ф. - М. : Изд-во АСВ, 2001. - 415 с. : ил., табл. - Библиогр.: с. 414. - ISBN 5-93093-109-7 (в пер.) : 273-00 р.
Кл.слова (ненормированные): технология строительного производства -- строительные процессы -- земляные работы -- основания и фундаменты -- бетонные работы -- каменные работы -- монтаж строительных конструкций -- трубопроводы -- монтаж трубопроводов -- водоснабжение -- водоотведение -- строительно-монтажные работы Экземпляры всего: 1 КХ (1) Свободны: КХ (1) |
69:744(08) Г 36 Георгиевский, О. В. Справочное пособие по строительному черчению [Text] / Георгиевский, О. В. - М. : Изд-во АСВ, 2003. - 95 с. : ил., табл. - Библиогр.: с. 96. - ISBN 5-93093-214-Х : 147-00 р.
Кл.слова (ненормированные): строительное черчение -- чертежи архитектурно-строительные -- строительные конструкции -- генеральные планы -- строительно-монтажные работы -- основания и фундаменты Экземпляры всего: 1 КХ (1) Свободны: КХ (1) |
624.15(075) П Б 49 Берлинов, М. В. Основания и фундаменты [Text] : учебник для вузов / Берлинов, М. В. - Изд. 3-е, стер. - М. : Высш. шк., 1999. - 318 с. : ил., табл. - Библиогр.: с. 315-316. - ISBN 5-06-003629-4 : 238-95 р.
Кл.слова (ненормированные): основание зданий -- фундаменты -- свайные фундаменты -- грунты -- мерзлые грунты -- деформация зданий -- сейсмические воздействия -- котлованы -- анкерные крепления -- гидроизоляционные работы -- реконструкция зданий Экземпляры всего: 1 Каф. ТОЭС (1) Свободны: Каф. ТОЭС (1) |
511(075) Г 24 Гашков, С. Б. Арифметика. Алгоритмы. Сложность вычислений [Text] : учеб. пособие для вузов / Гашков, С. Б., Чубариков, В. Н. ; ред. серии Садовничий, В. А. - 3-е изд., испр. - М. : Дрофа, 2005. - 319 с. - (Классический университетский учебник / ред. совет: В. А. Садовничий (пред.) [и др.]). - ISBN 5-7107-8904-6 (в пер.) : 157-50 р.
КИБЕРНЕТИКА--КИБЕРНЕТИЧЕСКИЕ АСПЕКТЫ СТРУКТУРНОЛОГИЧЕСКОЙ ТЕОРИИ АЛГОРИТМОВ И ПРОГРАММИРОВАНИЯ Кл.слова (ненормированные): арифметика -- алгоритмы -- кибернетика математическая -- числа (математика) -- алгоритм Евклида -- числа Фибоначчи Доп.точки доступа: Чубариков, В. Н.; Садовничий, В. А. \ред. серии.\ Экземпляры всего: 1 КХ (1) Свободны: КХ (1) |
624.131(075) М 55 Механика грунтов, основания и фундаменты [Текст] : учебное пособие для вузов / [С. Б. Ухов и др.] ; под ред. С. Б. Ухова. - Изд. 4-е, стер. - М. : Высшая школа, 2007. - 565 с. : ил., табл. - Библиогр.: с. 562-563. - ISBN 978-5-06-003868-2 (в пер.) : 218.00 ; 585.00 р. Авт. указ. на обороте тит. л.
ГЕОЛОГИЯ--ИНЖЕНЕРНАЯ ГЕОЛОГИЯ Кл.слова (ненормированные): механика грунтов -- грунты -- основания фундаментов -- фундаменты -- САПР Доп.точки доступа: Ухов, С. Б.; Семенов, В. В.; Знаменский, В. В.; Тер-Мартиросян, З. Г.; Чернышев, С. Н. Экземпляры всего: 50 ОХиИФ (1), ЧЗ№1 (1), ООЛ (48) Свободны: ОХиИФ (1), ЧЗ№1 (1), ООЛ (48) |
725(075) А 87 Архитектура гражданских и промышленных зданий [Текст] : учебник для вузов : в 5 т. / Л. Б. Великовский [и др.] ; под ред. К. К. Шевцова. - 2-е изд., перераб. и доп. - Минск : Академическая книга. Т. III : Жилые здания. - 2008. - 236, [2] с. : ил., табл. - Библиогр.: с. 234. - ISBN [Б. и.] : 280.00 р. Авт. указ. на обороте тит. л.
Кл.слова (ненормированные): жилищное строительство -- жилые здания -- проектирование жилых зданий -- основания фундаментов -- фундаменты -- светопрозрачные конструкции -- балконы -- лоджии -- перекрытия -- полы -- лестницы -- лифты -- инженерное оборудование -- объемно-блочные конструкции Доп.точки доступа: Великовский, Л. Б.; Ильяшев, А. С.; Маклакова, Т. Г.; Шевцов, К. К. \ред.\ Экземпляры всего: 6 ОХиИФ (1), ООЛ (5) Свободны: ОХиИФ (1), ООЛ (5) |
519.1(076) Г 12 Гаврилов, Г. П. Задачи и упражнения по дискретной математике [Text] : [учеб. пособие для вузов] / Гаврилов, Г. П., Сапоженко, А. А. - Изд. 3-е, перераб. - М. : Физматлит, 2004. - 416 с. : ил., табл. - Библиогр.: с. 412-413. - Предм. указ.: с. 414-416. - ISBN 5-9221-0477-2 (в пер.) : 290-00 р.
КИБЕРНЕТИКА--ТЕОРИЯ КОНЕЧНЫХ АВТОМАТОВ И ФОРМАЛЬНЫХ ЯЗЫКОВ Кл.слова (ненормированные): дискретная математика -- алгебра логики -- Тьюринга машины -- теория графов -- кодирование -- комбинаторика -- булевы функции -- упражнения -- задачи Доп.точки доступа: Сапоженко, А. А. Экземпляры всего: 1 ОХФ (1) Свободны: ОХФ (1) |
519.5(075) Л 13 Лавров, И. А. Задачи по теории множеств, математической логике и теории алгоритмов [Text] : [учеб. пособие для вузов] / Лавров И. А., Максимова Л. Л. - Изд. 5-е, испр. - М. : Физматлит, 2009. - 255 с. - Библиогр. : с.248-249. - Предм. указ. : с. 250-255. - ISBN 978-5-9221-00 26-7 : 170-00 р.
Кл.слова (ненормированные): теория множеств -- математическая логика -- теория алгоритмов Доп.точки доступа: Максимова, Л. Л. Экземпляры всего: 59 ОХиИФ (1), ООНЛ (3), ООУЛ (55) Свободны: ОХиИФ (1), ООНЛ (3), ООУЛ (55) |
510 Т 33 Теория моделей и алгебраическая геометрия [Text] : о доказательстве Э. Хрущовского гипотезы Морделла-Ленга : сб. ст. под ред. Э. Бускаран / ред.: Шехтман, В. Б., Артамкин, И. В. ; пер. Френкин, Б. Р. - М. : МЦНМО, 2008. - 279 с. - Библиогр. в конце гл. - ISBN 978-5-94057-1 25-4. - ISBN 3-540-64863-1 : 97-00 р. Перевод заглавия: Model Theory and Algebraic Geometry
Кл.слова (ненормированные): теория моделей -- абелевы многообразия -- Морделла-Ленга гипотеза -- алгебраическая геометрия -- Зарисского геометрия -- Манина теорема Доп.точки доступа: Шехтман, В. Б. \ред.\; Артамкин, И. В. \ред.\; Френкин, Б. Р. \пер.\ Экземпляры всего: 1 ОХФ (1) Свободны: ОХФ (1) |
624(075) М 55 Механика грунтов, основания и фундаменты [Текст] : учебное пособие для вузов / [С. Б. Ухов и др.] ; под ред. С. Б. Ухова. - Изд. 5-е, стер. - М. : Высшая школа, 2010. - 565 с. : ил., табл. - Библиогр.: с. 562-563. - ISBN 978-5-06-0062 26-7 (в пер.) : 1061.00 р. Авт. указ. на обороте тит. л.
ГЕОЛОГИЯ--ИНЖЕНЕРНАЯ ГЕОЛОГИЯ Кл.слова (ненормированные): механика грунтов -- грунты -- основания фундаментов -- фундаменты -- САПР Доп.точки доступа: Ухов, С. Б.; Семенов, В. В.; Знаменский, В. В.; Тер-Мартиросян, З. Г.; Чернышев, С. Н. Экземпляры всего: 15 ОХиИФ (1), ООНЛ (4), ООУЛ (10) Свободны: ОХиИФ (1), ООНЛ (4), ООУЛ (10) |
510(075) И 26 Игошин, В. И. Математическая логика и теория алгоритмов [Text] : учеб. пособие для вузов / Игошин В. И. - 4-е изд., стер. - М. : Академия, 2010. - 446 с. : ил. - (Высшее профессиональное образование) (Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2 (в пер.) : 439.97 р.
Кл.слова (ненормированные): алгебра высказываний -- Булевы функции -- исчисление высказываний -- логика предикатов -- аксиоматические теории -- теории алгоритмов -- математическая логика -- программное обеспечение -- логическое программирование -- искусственный интеллект Экземпляры всего: 12 ОХиИФ (1), ООЛ (11) Свободны: ОХиИФ (1), ООЛ (11) |
624(075) П 32 Пилягин, А. В. Проектирование оснований и фундаментов зданий и сооружений [Текст] : учебное пособие для вузов / А. В. Пилягин. - Москва : Ассоциация строительных вузов, 2011. - 311, [1] с. : ил., табл., схемы. - Библиогр.: с. 305-307. - ISBN 978-5-93093-805-0 : 262.90 р.
Кл.слова (ненормированные): здания -- сооружения -- основания фундаментов -- проектирование оснований -- свайные фундаменты -- грунты -- сопротивление грунтов Экземпляры всего: 20 ОХиИФ (1), ООНЛ (4), ООУЛ (15) Свободны: ОХиИФ (1), ООНЛ (4), ООУЛ (15) |