Институт системного программирования Российской академии наук
Наименований — 11, документов — 19 
Показывать по
Показано 1-10 из 11
Отображение:
Списком
Плитками
Сортировка по
Введение в формальные методы верификации программ
Покупка
Новинка
Издательство: ДМК Пресс
Год издания: 2024
Кол-во страниц: 306
Кол-во страниц: 306
Вид издания:
Учебное пособие
Уровень образования:
ВО - Бакалавриат
Автор:
Камкин Александр Сергеевич
Доступ онлайн
1 049 ₽
В корзину
Логическое проектирование и верификация систем на SystemVerilog
Покупка
Новинка
Издательство: ДМК Пресс
Год издания: 2019
Кол-во страниц: 385
Кол-во страниц: 385
Вид издания:
Практическое пособие
Уровень образования:
ВО - Бакалавриат
Автор:
Дональд Томас
Доступ онлайн
849 ₽
В корзину
Издательство: Аспект Пресс
Год издания: 2024
Кол-во страниц: 542
Кол-во страниц: 542
Вид издания:
Монография
Уровень образования:
Дополнительное образование
Авторы:
Аветисян Арутюн Ишханович, Агеев Александр Иванович, Алборова Марианна Борисовна , Бабекина Наталия Сергеевна, Бирюков Алексей Викторович, Василов Раиф Гаянович, Гаева Татьяна Николаевна, Жуковская Наталия Юрьевна, Зинченко Александр Викторович, Крутских Андрей Владимирович, Крутских Сергей Андреевич, Ларина Елена Сергеевна, Лепский Владимир Евгеньевич, Марков Александр Анатольевич, Марков Алексей Александрович, Мельник Сергей Владиславович, Мельникова Ольга Андреевна, Овчинский Владимир Семенович, Ромашкина Наталия Петровна, Лян Чжэн
Базы данных: Проектирование и разработка информационных систем с использованием СУБД MySQL и языка Go
Покупка
Основная коллекция
Издательство: НИЦ ИНФРА-М
Год издания: 2022
Кол-во страниц: 325
Кол-во страниц: 325
Вид издания:
Учебное пособие
Уровень образования:
ВО - Бакалавриат
Доступ онлайн
от 392 ₽
В корзину
Базы данных. Практическое применение СУБД SQL- и NoSOL-типа для применения проектирования информационных систем
Покупка
Основная коллекция
Издательство: НИЦ ИНФРА-М
Вид издания:
Учебное пособие
Уровень образования:
Среднее профессиональное образование
Доступ онлайн
от 444 ₽
В корзину
Базы данных: Работа с распределенными базами данных и файловыми системами на примере MongoDB и HDFS с использованием Node.js, Express.js, Apache Spark и Scala
Покупка
Основная коллекция
Издательство: НИЦ ИНФРА-М
Вид издания:
Учебное пособие
Уровень образования:
Среднее профессиональное образование
Доступ онлайн
от 284 ₽
В корзину
Базы данных: Работа с распределенными базами данных и файловыми системами на примере MongoDB и HDFS с использованием Node.js, Express.js, Apache Spark и Scala
Покупка
Основная коллекция
Доступ онлайн
от 284 ₽
В корзину
Проектирование и реализация баз данных в СУБД MySQL с использованием MySQL Workbench
Методы и средства проектирования информационных систем и технологий. Инструментальные средства информационных систем. Учебное пособие
Покупка
Основная коллекция
Издательство: Издательский Дом ФОРУМ
Вид издания:
Учебное пособие
Уровень образования:
Среднее профессиональное образование
Доступ онлайн
от 196 ₽
В корзину
Базы данных.Практическое применение СУБД SQL и NoSOL-типа для применения проектирования информационных систем
Учебное пособие
Покупка
Основная коллекция
Издательство: Издательский Дом ФОРУМ
Вид издания:
Учебное пособие
Уровень образования:
ВО - Бакалавриат
Доступ онлайн
от 444 ₽
В корзину
Основы теории надежности информационных систем
Покупка
Основная коллекция
Издательство: Издательский Дом ФОРУМ
Год издания: 2026
Кол-во страниц: 255
Кол-во страниц: 255
Вид издания:
Учебное пособие
Уровень образования:
ВО - Бакалавриат
Доступ онлайн
от 308 ₽
В корзину