Полное описание
>
Благовещенский, Иван Германович .
Теоретические основы информатики : учебное пособие / И. Г. Благовещенский, Е. Н. Зеленова ; Министерство науки и высшего образования Российской Федерации, МИРЭА - Российский технологический университет. - Курск : Университетская книга, 2025. - 184 с. : ил. - Библиогр.: с. 183 (11 назв.). - 500 экз. -
ISBN 978-5-00261-269-7. - Текст (визуальный) : непосредственный.
ГРНТИ УДК 20.01.07 004-027.21
Рубрики: Информатика теоретическая
Безопасность получения, хранения, передачи и обработки информации
Кл.слова (ненормированные): ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА -- ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ -- КРИПТОГРАФИЯ -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ -- СИСТЕМЫ СЧИСЛЕНИЯ -- ЭВМ КОДИРОВАНИЕ
Аннотация: В учебном пособии представлены фундаментальные разделы информатики, охватывающие основные вопросы теории информации, представления чисел в ЭВМ, кодирование, алгебра логики и логические операции, логические основы функционирования вычислительной техники, основы алгоритмизации, математические и информационные модели. Также затронуты прикладные темы информатики, связанные со сбором и анализом данных. Рассмотрены основные категории аппаратных и программных средств вычислительной техники. Рассмотрены основные средства, приемы и методы программирования. Приведены основы информационной безопасности и криптография. Для того чтобы студент имел возможность закрепить полученные теоретические знания на практике, в пособии приведены практические и прикладные задачи для всего теоретического материала. Учебное пособие предназначено в помощь студентам технических вузов, изучающих дисциплину "Теоретические основы информатики" для освоения учебной программы и отработки практического применения полученных знаний, для преподавательского состава, для слушателей учреждений системы повышения квалификации, а также для лиц, изучающих средства вычислительной техники самостоятельно.
Доп. точки доступа: Зеленова, Екатерина Николаевна
МИРЭА - Российский технологический университет (Москва)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-25/35020)>
Шифр в сводном ЭК: 8c320035b0cbe7c4f2df71d01b8e7812
Благовещенский, Владислав Германович. Интеллектуальная автоматизированная система управления качеством халвы с использованием гибридных методов и технологий : монография / Благовещенский В. Г., Благовещенский И. Г., 2022. - 210 с. - Текст (визуальный) : непосредственный. Фабрика будущего: переход к передовым цифровым, интеллектуальным производственным технологиям, роботизированным системам для отраслей пищевой промышленности : сборник научных докладов III международной специализированной конференции-выставки, 29 марта 2022 года / Министерство науки и высшего образования Российской Федерации, Московский государственный университет пищевых производств, 2022. - 362 с. - Текст (визуальный) : непосредственный. Яблоков, Александр Евгеньевич. Научно-практические основы создания автоматизированных систем технического мониторинга и диагностики оборудования зерноперерабатывающих предприятий на базе нейросетевых методов анализа данных : монография / А. Е. Яблоков, И. Г. Благовещенский, 2022. - 220 с. - Текст (визуальный) : непосредственный. Кайченов, Александр Вячеславович. Комплексная модернизация систем управления процессами тепловой обработки водных биоресурсов Арктики с использованием интеллектуальных технологий : монография / Кайченов А. В., Благовещенский И. Г., 2022. - 250 с. - Текст (визуальный) : непосредственный. Информатизация и автоматизация в пищевой промышленности : сборник научных докладов Всероссийской научно-технической конференции, 18 мая 2022 года / Министерство науки и высшего образования Российской Федерации, Московский государственный университет пищевых производств, 2022. - 156 с. - Текст (визуальный) : непосредственный. Музыка, Максим Юрьевич. Оценка возможности использования системы технического зрения для контроля маркировки готовой молочной продукции / М. Ю. Музыка, М. М. Благовещенская, И. Г. Благовещенский, А. М. Аднодворцев [и др.]. - Текст : непосредственный // Хранение и переработка сельхозсырья: ХИПС : теоретический и научно-практический журнал / Московский государственный университет пищевых производств. - Москва : МГУПП, 2021. - N 4. - с. 187-205 Мокрушин, Сергей Александрович. Разработка автоматизированной системы управления технологическим процессом стерилизации консервов в промышленном автоклаве : монография / Мокрушин С. А., Благовещенский И. Г., 2023. - 168 с. - Текст (визуальный) : непосредственный. Интеллектуальные автоматизированные управляющие системы в биотехнологических процессах : сборник докладов Всероссийской научно-практической конференции, 29 марта 2023 года / Российский биотехнологический университет, 2023. - 348 с. - Текст (визуальный) : непосредственный. Фабрика будущего: переход к передовым цифровым, интеллектуальным производственным технологиям, роботизированным системам для отраслей пищевой промышленности : сборник научных докладов IV Международной специализированной конференции-выставки, 26 апреля 2023 года / Российский биотехнологический университет, 2023. - 390 с. - Текст (визуальный) : непосредственный. Благовещенский, Иван Германович. Общие теоремы динамики в практическом курсе прикладной механики : учебно-методическое пособие / И. Г. Благовещенский, С. Н. Саяпин, П. М. Шкапов; под редакцией П. М. Шкапова, 2023. - 43 с. - Текст (визуальный) : непосредственный. Современные проблемы автоматизации технологических процессов и производств : сборник научных докладов научно-практической конференции с международным участием, посвященной 100-летию со дня рождения Игоря Константиновича Петрова, 11 октября 2023 года / Российский биотехнологический университет, 2023. - 325 с. - Текст (визуальный) : непосредственный. Ерещенко, Виктор Валерьевич. Управление процессом холодной сушки гидробионтов с применением технологии интернета вещей и тепловизионного анализа : монография / Ерещенко В. В., Благовещенский И. Г., Кайченов А. В., 2023. - 171 с. - Текст (визуальный) : непосредственный. Роговские чтения. Секция "Автоматизация технологических процессов и производств" : сборник докладов научно-практической конференции с международным участием, 30 ноября 2023 года, [г. Москва] / Российский биотехнологический университет, 2023. - 418 с. - Текст (визуальный) : непосредственный. Благовещенский, Иван Германович. Автоматизированная система контроля и управления технологическим процессом пищевой 3D печати шоколадом с использованием системы технического зрения : монография / И. Г. Благовещенский, Э. Д. Шибанов, 2024. - 149 с. - Текст (визуальный) : непосредственный. Крахмалев, Олег Николаевич. Методология построения автоматизированных систем управления манипуляционными роботами на основе математического объектного моделирования : монография / Крахмалев О. Н., Благовещенский И. Г., 2023. - 311 с. - Текст (визуальный) : непосредственный. Фабрика будущего: переход к передовым цифровым, интеллектуальным производственным технологиям, роботизированным системам для отраслей пищевой промышленности : сборник научных докладов V Международной конференции, 30 апреля 2024 года / Российский биотехнологический университет, 2024. - 375 с. - Текст (визуальный) : непосредственный. Благовещенский, Иван Германович. Нейронные сети в информационно-управляющих системах : учебное пособие / И. Г. Благовещенский, В. Г. Благовещенский, 2025. - 290 с. - Текст (визуальный) : непосредственный. Благовещенский, Владислав Германович. Базы данных : учебное пособие / В. Г. Благовещенский, И. Г. Благовещенский, 2025. - 193 с. - Текст (визуальный) : непосредственный. Автоматизированные системы управления биотехнологическими процессами : сборник научных докладов Всероссийской конференции с международным участием, 11 декабря 2024 года / Российский биотехнологический университет, 2025. - 357 с. - Текст (визуальный) : непосредственный. Благовещенский, Иван Германович. Теоретические основы информатики : учебное пособие / И. Г. Благовещенский, Е. Н. Зеленова, 2025. - 184 с. - Текст (визуальный) : непосредственный. Показать все результаты Романов В.П. Теоретические основы информатики : монография / В. П. Романов, 1996. - 190 c. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Теоретические основы информатики : учебник / В. Л. Матросов, В. А. Горелик, С. А. Жданов [и др.], 2018. - 343 с. - Текст : непосредственный. Аветисян Р.Д. Теоретические основы информатики / Р.Д.Аветисян,Д.О.Аветисян, 1997. - 168 с. - Текст : непосредственный. Забуга А.А. Теоретические основы информатики : учеб. пособие / А. А. Забуга, 2013. - 167 с. - Текст : электронный. Медведева, Ю. В. Информатика : учеб. пособие. Ч. 1 : Теоретические основы информатики, 2006. - 186 с. - Текст : непосредственный. Болдина С.В. Теоретические основы информатики : Учеб. курс / С.В.Болдина, 2004. - 139 с. - Текст : непосредственный. Петрищев И.О. Теоретические основы информатики : учебно-методическое пособие / И. О. Петрищев, Е. А. Фёдорова, 2017. - 69 с. - Текст : непосредственный. Козадаев А.С. Теоретические основы информатики : учеб. пособие / А.С. Козадаев, 2012. - 111 с. - Текст : непосредственный. Климанская Е.В. Теоретические основы информатики : учеб. пособие / Е. В. Климанская, С. В. Чубейко, А. Н. Цуриков, 2017. - 215 с. - Текст : непосредственный. Лужков А.А. Теоретические основы информатики : учеб.-метод. пособие для студентов вузов / А. А. Лужков, А. В. Марченко, В. И. Сельдяев, 2014. - 135 с. - Текст : непосредственный. Бушмелева Н.А. Теоретические основы информатики : учеб. пособие / Н. А. Бушмелева, Т. В. Ашихмина, 2012. - 124 с. - Текст : непосредственный. Алябышева Ю.А. Теоретические основы информатики : учеб. пособие / Ю. А. Алябышева, Н. С. Бабкина, Ю. Б. Лямкина, 2016. - 95 с. - Текст : непосредственный. Махутов Б.Н. Теоретические основы информатики : Учеб. пособие / Б.Н.Махутов, 1999. - 123 с. - Текст : непосредственный. Теоретические основы информатики : учебник / Р. Ю. Царев [и др.], 2015. - 173 с. - Текст : непосредственный. Хасанова С.Л. Теоретические основы информатики : учеб. пособие для студентов, обучающихся по направлению 050100 "Пед. образование", профили "Математика и информатика", "Математика"."Информатика" / С. Л. Хасанова, 2014. - 87 с. - Текст : непосредственный. Князев, В. В. Информатика и программирование : учеб. пособие. Ч. 1 : Теоретические основы информатики, 2006. - 210 с. - Текст : непосредственный. Зыкова Г.В. Теоретические основы информатики : учеб. пособие / Г. В. Зыкова, В. В. Пергунов, А. С. Попов, 2016. - 114 с. - Текст : непосредственный. Стариченко Б.Е. Теоретические основы информатики : учебник / Б. Е. Стариченко, 2014. - 399 с. - Текст : непосредственный. Показать все результаты Будович Л.С. Экономика : учебное пособие / Л. С. Будович, Ю. Б. Надточий, 2018. - 151 с. - Текст : непосредственный. Рукк Н.С. Избранные главы неорганической химии : учебное пособие. Ч. 1 : Строение вещества, 2018. - 77 с. - Текст : непосредственный. Шпак А.В. Основы энергетического расчета систем спутниковой связи : учебное пособие / А. В. Шпак, 2018. - 70 с. - Текст : непосредственный. Бекаева А.В. Экономика предприятий (организаций) : учебное пособие / А. В. Бекаева, 2018. - 109 с. - Текст : непосредственный. Шацкая И.В. Антикризисное управление : учебное пособие / И. В. Шацкая, 2018. - 119 с. - Текст : непосредственный. Певзнер Л.Д. Математические основы теории систем : учебное пособие / Л. Д. Певзнер, 2018. - 182 с. - Текст : непосредственный. Введение в теорию ценообразования : [учебное пособие : в двух частях] / А. Ф. Белый [и др.] ; под редакцией А. В. Кочергина ; Министерство науки и высшего образования Российской Федерации, МИРЭА - Российский технологический университет. Ч. 2 / А. Ф. Белый, З. В. Брагина, А. И. Власенко [и др.], 2018. - 225 с. - Текст : непосредственный. Райгородский И.М. Полиоргано-полисилоксановые сополимеры / И. М. Райгородский, А. Д. Кирилин, 2018. - 190 с. - Текст : непосредственный. Интеллектуальные регуляторы и системы управления : серия учебных пособий / Министерство науки и высшего образования Российской Федерации, МИРЭА - Российский технологический университет ; под редакцией В. М. Лохина. Ч. 4 : Анализ и синтез адаптивных регуляторов на базе ассоциативной памяти для быстродействующих мехатронных модулей : учебное пособие / В. М. Лохин, С. В. Манько, М. П. Романов, 2018. - 39 с. - Текст : непосредственный. Интеллектуальные регуляторы и системы управления : серия учебных пособий / Министерство науки и высшего образования Российской Федерации, МИРЭА - Российский технологический университет ; под редакцией В. М. Лохина. Ч. 6 : Динамика нестационарных систем управления мобильными роботами : учебное пособие / В. П. Бердников, В. М. Лохин, 2018. - 54 с. - Текст : непосредственный. Интеллектуальные регуляторы и системы управления : серия учебных пособий / Министерство науки и высшего образования Российской Федерации, МИРЭА - Российский технологический университет ; под редакцией В. М. Лохина. Ч. 5 : Методы и алгоритмы управления роботами на основе технологий обработки знаний и интеллектуальных обратных связей : учебное пособие / С. А. К. Диане [и др.], 2018. - 65 с. - Текст : непосредственный. Интеллектуальные регуляторы и системы управления : серия учебных пособий / Министерство науки и высшего образования Российской Федерации, МИРЭА - Российский технологический университет ; под редакцией В. М. Лохина. Ч. 3 : Модели и алгоритмы адаптивного управления сборочными роботами на базе ассоциативной памяти : учебное пособие / В. М. Лохин, С. В. Манько, М. П. Романов, 2018. - 44 с. - Текст : непосредственный. Дружинин К.Ю. Методологические основы информационной безопасности. Вводный курс : учебно-методическое пособие / К. Ю. Дружинин, В. П. Лось, А. В. Пугачев, 2018. - 58 с. - Текст : непосредственный. Михайлова О.Ю. Основы математической статистики в упражнениях и задачах : учебное пособие / О. Ю. Михайлова, 2019. - 65 с. - Текст : непосредственный. Гарцеев И.Б. Основы программирования на языке С# в среде Microsoft Visual Studio : учебно-методическое пособие / И. Б. Гарцеев, 2019. - 40 с. - Текст : непосредственный. Котилевец И.Д. Технология распределенного реестра и блокчейн : учебно-методическое пособие / И. Д. Котилевец, И. А. Иванова, 2019. - 75 с. - Текст : непосредственный. Стерлядкин В.В. Физика : учебное пособие. Ч. 2 : Электричество и магнетизм. Колебания и волны, 2019. - 111 с. - Текст : непосредственный. Воруничев Д.С. Методы и средства испытаний и контроля радиоэлектронных средств : учебное пособие / Д. С. Воруничев, М. С. Костин, 2019. - 98 с. - Текст : непосредственный. Спиридонова А.А. Управление качеством материалов : учебное пособие / А. А. Спиридонова, Т. М. Нуцулханова, Е. Г. Хомутова, 2019. - 115 с. - Текст : непосредственный. Лобарева Н.В. Организационное проектирование : учебное пособие / Н. В. Лобарева, 2019. - 54 с. - Текст : непосредственный. Показать все результаты Черняева Э.П. Информатика : учеб. пособие. Ч. 1, 2015. - 83 с. - Текст : непосредственный. Лукьянов П.Б. Высокоуровневые методы информатики и программирования : выставочные материалы / П. Б. Лукьянов, 2013. - 167 с. - Текст : непосредственный. Мациевский С.В. Теоретическая информатика : учебное пособие / С. В. Мациевский, С. А. Ишанов, 2007. - 501 с. - Текст : непосредственный. Грэхем Р.Л. Конкретная математика. Математические основы информатики / Р. Л. Грэхем, Д. Э. Кнут, О. Паташник ; Пер. И. В. Красиков, 2015. - 782 с. - Текст : непосредственный. Knowledge Organization : International Journal devoted to Concept Theory,Classification,Indexing and Knowledge Representation. - Журнал выходит с 1974г. - Текст : непосредственный. Грэхем Р.Л. Конкретная математика. Математические основы информатики : монография / Р. Л. Грэхем, Д. Э. Кнут, О. Паташник, 2013. - 781 с. - Текст : непосредственный. Тушко Т.А. Информатика. Математические основы / Т. А. Тушко, 2006. - 108 с. - Текст : непосредственный. Павловская Т.А. Высокоуровневые методы информатики и программирования / Т. А. Павловская, 2004. - 88 с. - Текст : непосредственный. Романов В.П. Теоретические основы информатики : монография / В. П. Романов, 1996. - 190 c. - Текст : непосредственный. Овчинникова И.Г. Высокоуровневые методы информатики и программирования : выставочные материалы / И. Г. Овчинникова, 2012. - 111 с. - Текст : непосредственный. Столбоушкин А.П. Математические основания информатики. Ч. 2, 1998. - С.171-271. - Текст : непосредственный. Зверев Г.Н. Основания теоретической информатики : Учеб. пособие. 4 : Математическая семантика, 1997. - 113 с. - Текст : непосредственный. Стохастическая оптимизация в информатике / С.-Петерб. гос. ун-т, НИИ информ. технологий. Т. 9вып. 1, 2013. - 159 с. - Текст : непосредственный. Свиньин С.Ф. Теоретическая информатика / С. Ф. Свиньин, 2003. - 30 с. - Текст : непосредственный. Стохастическая оптимизация в информатике : межвуз. сб. / С.-Петерб. гос. ун-т, НИИ информ. технологий. Т. 6Вып. 1, 2010. - 283 с. - Текст : непосредственный. Стохастическая оптимизация в информатике : межвуз. сб. / С.-Петерб. гос. ун-т, НИИ информ. технологий. Вып. 2, 2006. - 299 с. - Текст : непосредственный. Инфокоммуникации XXI века / Компания ТрансТелеКом. Т. 2 : Информационно-экономический закон. Взаимосвязь инфокоммуникационной инфраструктуры и экономики / Л. Е. Варакин, 2006. - 154 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Модели и методы информационных сетей : сборник научных трудов / Институт проблем передачи информации (Москва), 1990. - 99 c. - Текст : непосредственный. Чернов Э.А. Обработка информации на мини-ЭВМ / Э. А. Чернов, 1989. - 83 с. - Текст : непосредственный. Еременко В.П. Инструментальные средства управления данными в информационных системах / В. П. Еременко, 1989. - 69 c. - Текст : непосредственный. Бабичев А. В. Параллельная обработка информации : В 5 т. Т. 5 : Проблемно-ориентированные и специализированные средства обработки информации / [А. И. Аксенов, В. В. Аристов, Е. Ю. Барзилович и др.],Под ред. Б.Н. Малиновского, В. В. Грицыка, 1985. - 503 c. - Текст : непосредственный. Тельнов Ю.Ф. Интеллектуальные системы обработки данных / Ю. Ф. Тельнов, С. М. Диго, Т. М. Полякова, 1989. - 102 c. - Текст : непосредственный. Прокушев Я.Е. Криптографическая защита информации / Я. Е. Прокушев, 2005. - 145 с. - Текст : непосредственный. Хоглунд Г. Руткиты: внедрение в ядро Windows / Г. Хоглунд, Д. Батлер, 2007. - 284 с. - Текст : непосредственный. Актуальные проблемы современной науки. Естественные науки : тр. 2-го Междунар. форума (7-й Междунар. конф.), 20-23 нояб. 2006 г. / Российская инженерная академия (Москва), Поволжское отделение. Ч. 12 : Системный анализ, управление и обработка информации, 2006. - 71 с. - Текст : непосредственный. Красов, В. И. Компьютерные технологии в физике : Учеб. пособие. Ч. 6 : Современные средства хранения и обработки информации / В. И. Красов, 2013. - 115 с. - Текст : непосредственный. Информатика : учебник / редкол.: В. А. Минаев и др. Т. 2 : Средства и системы обработки данных, 2008. - 542 с. - Текст : непосредственный. Платов В.В. Специальное математическое и программное обеспечение процессов управления интенсивностью передачи данных : автореф. дис. .. канд. техн. наук: 05.13.11 / В. В. Платов, 2007. - 19 с. - Текст : непосредственный. Оглтри Т.В. Firewalls. Практическое применение межсетевых экранов / Т. В. Оглтри, 2001. - 396 с. - Текст : непосредственный. Mahapatra S. Hybrid CMOS single-electron-transistor device and circuit design / S. Mahapatra, A. M. Ionescu, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Степанов П.В. Обеспечение ЭМС и информационной безопасности в локальных кабельных сетях / П. В. Степанов, 2008. - 45 с. - Текст : непосредственный. Степанов П.В. Развитие телекоммуникационных систем и обеспечение информационной безопасности / П. В. Степанов, 2008. - 56 с. - Текст : непосредственный. Аристархов В.Ю. Исследование и разработка методов передачи информации в высокоскоростных беспроводных сетях : автореф. дис. .. канд. техн. наук: 05.12.13 / В. Ю. Аристархов, 2008. - 21 с. - Текст : непосредственный. Астахова А. В. Информационные системы в экономике и защита информации на предприятиях - участниках ВЭД : выставочные материалы / А. В. Астахова, 2014. - 214 с. - Текст : непосредственный. Бородакий Ю.В. Эволюция информационных систем / Ю. В. Бородакий, Ю. Г. Лободинский, 2011. - 368 с. - Текст : непосредственный. Монахов С.В. Анализ прикладных систем / С. В. Монахов, В. П. Савиных, Цветков В. Я., 2004. - 57 с. - Текст : непосредственный. Лапко А.В. Непараметрические системы обработки информации и принятия решений : выставочные материалы / А. В. Лапко, В. А. Лапко, 2014. - 379 с. - Текст : непосредственный. Показать все результаты Мациевский С.В. Теоретическая информатика : учебное пособие / С. В. Мациевский, С. А. Ишанов, 2007. - 501 с. - Текст : непосредственный. Theoretical aspects of computing - ICTAC 2006 / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Грэхем Р.Л. Конкретная математика. Математические основы информатики / Р. Л. Грэхем, Д. Э. Кнут, О. Паташник ; Пер. И. В. Красиков, 2015. - 782 с. - Текст : непосредственный. FSTTCS 2005: foundations of software technology and theoretical computer science / SpringerLink (Online service), 2005 r=on-line Грэхем Р.Л. Конкретная математика. Математические основы информатики : монография / Р. Л. Грэхем, Д. Э. Кнут, О. Паташник, 2013. - 781 с. - Текст : непосредственный. Романов В.П. Теоретические основы информатики : монография / В. П. Романов, 1996. - 190 c. - Текст : непосредственный. Зверев Г.Н. Основания теоретической информатики : Учеб. пособие. 4 : Математическая семантика, 1997. - 113 с. - Текст : непосредственный. Нурмухамедов Г.М. Информатика для абитуриента. Теоретические основы информатики : учебное пособие / Г. М. Нурмухамедов, 2009. - 125 с. - Текст : непосредственный. Ильюшенков Э.Ф. Информатика. Начала теоретических основ / Э. Ф. Ильюшенков, 2005. - 135 с. - Текст : непосредственный. Стохастическая оптимизация в информатике / С.-Петерб. гос. ун-т, НИИ информ. технологий. Т. 9вып. 1, 2013. - 159 с. - Текст : непосредственный. Свиньин С.Ф. Теоретическая информатика / С. Ф. Свиньин, 2003. - 30 с. - Текст : непосредственный. Стохастическая оптимизация в информатике : межвуз. сб. / С.-Петерб. гос. ун-т, НИИ информ. технологий. Т. 6Вып. 1, 2010. - 283 с. - Текст : непосредственный. Стохастическая оптимизация в информатике : межвуз. сб. / С.-Петерб. гос. ун-т, НИИ информ. технологий. Вып. 2, 2006. - 299 с. - Текст : непосредственный. Theoretical aspects of computing - ICTAC 2004 / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Term rewriting and applications / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽