Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

ЭБС "ЛАНЬ" - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

В текущей базе данных найдено документов :4

В других БД по вашему запросу найдено:

Публикации учёных СГУ (1)

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (37)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>KL=теория автоматов<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

Кузнецов, О. П.
Дискретная математика для инженера [Электронный ресурс] : учебное пособие / О. П. Кузнецов. - 6-е изд., стер. - Санкт-Петербург : Лань, 2009. - 400 с. - ISBN 978-5-8114-0570-1 : Б. ц.
Книга из коллекции Лань - Математика

УДК

519.713

ББК 32.815

Рубрики: Математика--Дискретная математика и математическая логика--Лань

Кл.слова (ненормированные):
математика для инженера -- дискретная математика -- автоматы -- автоматы (матем) -- алгебра -- алгебра логики -- алгебра логика теория графов теория алгоритмов -- алгебра теории алгоритмов математическая логика -- алгоритмов теория -- алгоритмы -- алгоритмы теория -- булева алгебра -- введение в логику -- вычислимость -- грамматики (матем) -- графы -- исчисления логические -- логика -- логика введение -- математика -- математическая логика -- множества -- общая алгебра -- отношения -- предикатов исчисление -- предикаты логика язык -- разрешимость -- сложности вычислений -- теория автоматов -- теория алгоритмов -- тьюринга машина -- учебники для вузов -- формальные системы -- функции -- функция логическая -- функция рекурсивная -- элементы общей алгебры -- языки -- языки (матем)
Аннотация: В книге изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем, теории автоматов. По сравнению с изданием 1988г. заново написаны разделы по теории графов и сложности вычислений. Для инженеров, специализирующихся в области автоматизированного управления и проектирования, вычислительной техники, информационных технологий, передачи информации, а также для студентов и аспирантов соответствующих специальностей.
Перейти к внешнему ресурсу Ссылка на документ в ЭБС Лань,
Перейти к внешнему ресурсу Обложка книги.
Найти похожие

Земсков, В. Н.
Задачник по высшей математике для вузов [Электронный ресурс] / В. Н. Земсков, С. Г. Кальней, В. В. Лесин, А. С. Поспелов. - 2-е изд., стер. - Санкт-Петербург : Лань, 2011. - 512 с. - ISBN 978-5-8114-1024-8 : Б. ц.
Книга из коллекции Лань - Математика

УДК

***

Смирнов, Ю. А.
Основы микроэлектроники и микропроцессорной техники [Электронный ресурс] : учебное пособие / Ю. А. Смирнов, С. В. Соколов, Е. В. Титов. - 2-е изд., испр. - Санкт-Петербург : Лань, 2013. - 496 с. - ISBN 978-5-8114-1379-9 : Б. ц.
Книга из коллекции Лань - Инженерно-технические науки

УДК

004.31-181.48(075)

ББК 32.85я73

Рубрики: Инженерно-технические науки--Электроника--Лань

Кл.слова (ненормированные):
atmel -- dallas -- intel -- philips -- автомат -- алгебра логики -- арифметико-логические устройства -- ацп -- база -- базовые логические элементы -- базовые матричные кристаллы -- биполярная -- бмк -- гибридная -- демультиплексор -- демультиплексоры -- дешифратор -- дешифраторы -- диод -- диод интегральный -- запоминающие устройства -- зу -- имс -- инженерно-технические науки -- интегральные микросхемы -- интегральные схемы -- интерфейс -- интерфейсные устройства -- кмдп -- кодопреобразователи -- кодопреобразователь -- конденсатор -- конденсатор интегральный -- кристалл -- логика -- логические элементы -- логический -- матричные умножители -- матричный -- мдп -- микроконтролёры импортных фирм -- микроконтроллер -- микроконтроллеры -- микроконтроллеры импортных фирм -- микропроцессор -- микропроцессорная техника -- микропроцессорная техника интегральные микросхемы -- микропроцессоры -- микросборка -- микросхема интегральная (имс) -- микросхема интегральная гибридная -- микросхема интегральная полупроводниковая -- микроэлектроника -- микроэлектронная техника -- мп -- мультиплексор -- мультиплексоры -- основы микроэлектроники -- память -- пленочная -- плис -- пмл -- полупроводниковая -- полупроводниковые имс -- преобразователи -- программируемая матричная логика -- программируемые вентильные матрицы -- программируемые коммутируемые матричные блоки -- программируемые логические интегральные схемы -- программируемые логические матрицы -- распределители -- регистры -- резистор -- резистор интегральный -- сумматор -- сумматоры -- схема -- счетчик -- счетчики -- теория автоматов -- триггер -- триггеры -- ттлш -- устройство запоминающее -- учебник и пособие -- учебные пособия -- учебные пособия для бакалавров -- учебные пособия для вузов -- учебные пособия для магистров -- функция логическая -- цап -- цифровые автоматы -- цифровые устройства -- цифровые электронные схемы -- шифратор -- шифраторы -- элемент -- элемент изоляция -- элементная
Аннотация: В книге изложены историческая справка становления и развития микроэлектроники, технологические и схемотехнические основы построения элементной базы микроэлектронных приборов, устройств и микропроцессорной техники, их математического синтеза. Пособие содержит контрольные вопросы, задачи с решениями и рекомендуемую литературу для углубленного изучения материала. Предназначено для подготовки бакалавров, магистров и специалистов направлений: «Электроэнергетика и электротехника», «Электроника и наноэлектроника», «Радиотехника», «Инфокоммуникационные технологии и системы связи», «Конструирование технологии и микросистемная техника».
Перейти к внешнему ресурсу Ссылка на документ в ЭБС Лань,
Перейти к внешнему ресурсу Обложка книги.

Доп. точки доступа:
Соколов, С. В.
Титов, Е. В.
Найти похожие

Старолетов, С. М.
Основы тестирования и верификации программного обеспечения [Электронный ресурс] : учебное пособие / С. М. Старолетов. - 1-е изд. - Санкт-Петербург : Лань, 2018. - 344 с. - ISBN 978-5-8114-3041-3 : Б. ц.
Книга из коллекции Лань - Информатика

ББК 32.973.26-018

Рубрики: Информатика--Программирование--Лань

Кл.слова (ненормированные):
тестирование -- верификация -- программирование -- инженерия -- объектно-ориентированный язык -- математическая логика -- теория автоматов
Аннотация: Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия – пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах IntelliJ IDEA, MS Visual Studio, изучаются методы разработки программного обеспечения, исходя от тестирования (TDD) и поведения (BDD) в среде IDEA на языке Java, рассматривается функциональное автоматизированное тестирование в среде IBM Rational Tester, тестирование Web-приложений с помощью Selenium. Вторую часть пособия занимают перспективные методы, связанные с верификацией и моделированием ПО. Рассматривается технология разработки и проектирования - контрактное программирование и язык Eiffel, .NET Code Contracts, технология Model Based Testing и средство MS Spec Explorer, Model Based Checking и средство Spin в среде iSpin, платформа Frama-C. Пособие может быть использовано на специальности «Программная инженерия» и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.
Перейти к внешнему ресурсу Ссылка на документ в ЭБС Лань,
Перейти к внешнему ресурсу Обложка книги.
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)