1. 
| Шифр: V4816 (Журнал) Applicable Algebra in Engineering, Communication and Computing [Текст]. - Berlin : springer, 1990 - . - Выходит ежеквартально. - ISSN 0938-1279
Аннотация: Cтатьи по исследованиям в области алгебраических методов, применяемых во всех областях, связанных с компьютерами, интеллектуальными системами и коммуникациями: зрение, роботика, проектирование систем, отказоустойчивость и надежность систем, технология СБИС, обработка сигнала, кодирование, методы контроля ошибок, криптография, спецификация протокола, сети, проектирование программного обеспечения, арифметика, алгоритмы, сложность, компьютерная алгебра, языки программирования, логическое и функциональное программирование, алгебраическая спецификация, перезаписывающие системы, доказательство теорем, графика, моделирование, инженерия знаний, экспертные системы, методология искусственного интеллекта. При этом предпочтение отдается не теории, а работам связанным с проблемами в таких областях, как коммутативная или некоммутативная алгебра, теория групп, теория поля и реальная алгебраическая геометрия, а также исследованиям в области технологий и разработкам ноу-хау, связанным с применением прикладной алгебры.
Зарегистрированы поступления:
journal link (full text - НТО-3)
Найти похожие
2.
| () Applied Mathematics [Электронный ресурс]. - Rosemead : Scientific & Academic Publishing Co., 2011 - . - Выходит раз в два месяца. - ISSN 2163-1409
Аннотация: Научный журнал. Статьи по исследованиям во всех разделах прикладной математики, критические обзоры, научные заметки, обсуждения и краткие отчёты. Охватыыват широкий тематический спектр: актуврная наука, анализ и дифференциальные уравнения, алгебра и теория чисел, разработка алгоритма, прикладная дифференциальная геометрия, теория аппроксимации, биоинформатика, биостатистика и анализ живучести системы, проблемы окрашивания, хроматическое число, комбинаторика, компьютерная алгебра, компьютерные науки, непрерывное моделирование, криптография, дифференциальные уравнения, динамические системы (в т.ч. дискретные), финансовая математика, конечная геометрия, механика жидкостей, функциональный анализ, теория игр, геометрия, теория графов, теория информации, обратные спектральные задачи, линейное программирование, математическая биология, сетевой анализ, математическая инженерия, нелинейная оптика, нелинейные волны, численные алгоритмы, численный анализ, исследование операций, операторная алгебра, оптимизация, вероятность и статистика, реальный и комплексный анализ, топологические индексы графов, и др. Выходят также специальные тематические выпуски.
journal link
Найти похожие
| 3.
| () Central European Journal of Computer Science [Электронный ресурс]. - Berlin : springer, 2011 - . - Выходит ежеквартально. - ISSN 1896-1533
Аннотация: Международный научный журнал. Статьи по результатам исследований в области компьютерных наук: алгоритмы и теория сложности вычислений (анализ и алгоритмы, теория вычислимости, структуры данных, модели вычислений); искусственный интеллект (когнитивные системы, вычислительная лингвистика, компьютерное зрение, извлечение данных, взаимодействие человек-машина, обработка изображений, представление знаний, машинное обучение, обработка естественного языка, распознавание образов); биоинформатика (средства биостатистики, инструменты генного анализа, онтологии в биоинформатике, физиологическое моделирование, средства анализа последовательностей, Web-сервисы в биоинформатике); организация сети и системы безопасности (криптография, распределённые вычисления, мобильные системы, сетевые протоколы, защита данных в сети, параллельные вычисления); языки программирования (проектирование и реализация компилятора, формальная семантика, дизайн языка, спецификации языка, грамотное программирование, парадигмы программирования); система и разработка программного обеспечения (системы баз данных, встроенные системы, операционные системы, разработка программного обеспечения, тестирование и верификация программного обеспечения); теоретические основы компьютерных наук: (теория автоматов, теория категорий, теория графов, математическая логика, теория типов).
journal link (full text - НТО-3)
Найти похожие
| 4.
| () Computational Complexity [Электронный ресурс]. - Berlin : springer, 1991 - . - Выходит ежеквартально. - ISSN 1016-3328
Аннотация: Статьи по проблемам сложности вычислений, находящимся на стыке математики и теоретической компьютерной науки: модели вычислений, границы сложности, классы сложности, компромиссные результаты (для последовательных и параллельных, булевых и структурированных, детерминистических, вероятностных и недетерминистических вычислений). Особое внимание уделяется следующим областям: структура классов сложности; алгебраическая сложность; криптография, интерактивные доказательства; сложность - в вычислительной геометрии, роботике, планировании движения; теории обучения; теории чисел; логике; комбинаторной оптимизации и приближённых решениях; распределённых вычислениях.
journal link (full text - НТО-3)
Найти похожие
| 5.
| () Computer Science and Engineering [Электронный ресурс]. - Rosemead : Scientific & Academic Publishing Co., 2011 - . - Периодичность 7. - ISSN 2163-1484
Аннотация: Научный журнал. Статьи по исследованиям в области компьютерных наук, содержащие новые теоретические результаты и новации в области их применения. Включает следующие темы: искусственный интеллект, компьютерные науки и моделирование, архитектура компьютера, вычисления и язык, вычислительная сложность; вычислительная инженерия, финансы и наука; вычислительная геометрия, компьютерная наука и теория игр, компьютерное зрение и распознавание образов, компьютеры и общество, криптография и безопасность, данные и поиск в интернете, алгоритмы и структуры данных, базы данных, цифровые библиотеки, дискретная математика, логика в компьютерных науках, программное обеспечение для решения математических задач, мультимедиа, сетевые технологии и архитектура интернета, нейронный и эволюционный компьютинг, численный анализ, операционные системы, рабочие характеристики, языки программирования, робототехника, разработка программного обеспечения, символьные вычисления, и др. Выходят также специальные тематические выпуски.
journal link
Найти похожие
| 6.
| Шифр: V4741 () International Journal of Foundations of Computer Science [Электронный ресурс]. - [S. l.] : World Scientific Publishing Co. Pte. Ltd, 1990 - . - Выходит ежеквартально. - ISSN 0129-0541
Аннотация: Статьи о новых теоретических результатах исследований во всех основополагающих областях компьютерных наук. Теоретические и математические аспекты охватывают темы: алгебраическая теория и формальные системы; алгоритм и реализация системы; аппроксимация, теория вероятностей и рандомизированные алгоритмы; автоматы и формальные языки; автоматизированная дедукция; комбинаторика и теория графов; теория сложности; криптография; теория баз данных; структуры данных; проектирование и анализ алгоритмов; основы компьютерной безопасности; основы высокопроизводительных вычислений; логика в компьютерных науках; модели вычислений; проверка модели и компьютерная верификация; квантовые вычисления; семантика, параллелизм и теория типов; теории и модели вычислений в Интернете; теория обучения и индуктивный вывод; теория параллельных и распределенных вычислений; сети с беспроволочной связью и мобильные вычисления; и др. Выходят также тематические номера.
journal link (full text - НТО-3)
Найти похожие
| 7.
| () Journal of Wireless Networking and Communications [Электронный ресурс]. - Rosemead : Scientific & Academic Publishing Co., 2011 - . - Выходит раз в два месяца. - ISSN 2167-7328
Аннотация: Научно-технический журнал. Статьи по важным и инновационным исследованиям теории и инженерной практики в области беспроводных коммуникаций и сетевых технологий: сети; ячеистые сети; программное обеспечение и когнитивные радиосети; антенные системы и конструкции; моделирование радиоканалов; кодирование для беспроводных систем; обнаружение, оценка и синхронизация; разнообразие и пространственно-временные методы; метод сквозного проектирования; кодирование контроля ошибок; итерактивные методы совместной оптимизации; методы модуляции CDMA, OFDM и др.; схемы множественного доступа; MIMO-каналы (многоканальный вход-выход); производительность сети; надёжность и качество услуг; беспроводная оптическая связь; размещение ресурсов в беспроводных сетях; безопасность, аутентификация и криптография; методы и средства обработки сигнала; сверхширокополосные системы; транспортные сети; беспроводные мультимедийные коммуникации; беспроводные сенсорные сети; архитектуры и применение беспроводных систем; беспроводной трафик и маршрутизация и др. Выходят также специальные тематические выпуски.
journal link
Найти похожие
| 8.
| Шифр: V2652 () Society for Industrial and Applied Mathematics (Philadelphia, PA). SIAM Journal on Computing [Электронный ресурс]. - Philadelphia, PA : Society for Industrial and Applied Mathematics, 1972 - . - Выходит раз в два месяца. - ISSN 0097-5397
Аннотация: Научный журнал. Статьи по наиболее значительнным исследованиям математических и формальных аспектов компьютерных наук и нецифровых вычислений, в т.ч. анализ и проектирование алгоритмов; алгоритмическая теория игр, структуры данных, сложность вычислений; вычислительная алгебра, вычислительные аспекты комбинаторики и теории графов, вычислительная биология, вычислительная геометрия, вычислительная робототехника, математические аспекты языков программирования, искусственный интеллект, обучение индуктивным методом, базы данных, информационный поиск, криптография, сети, распределённые вычисления, параллельные алгоритмы и архитектура компьютера.
journal link (full text - НТО-3)
Найти похожие
|
|
|
|
|
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
|
Главная страница
Российский сводный каталог по научно-технической литературе