> Шифр: V4816 (Журнал) Applicable Algebra in Engineering, Communication and Computing [Текст]. - Berlin : springer, 1990 - . - Выходит ежеквартально. - ISSN 0938-1279 Аннотация: Cтатьи по исследованиям в области алгебраических методов, применяемых во всех областях, связанных с компьютерами, интеллектуальными системами и коммуникациями: зрение, роботика, проектирование систем, отказоустойчивость и надежность систем, технология СБИС, обработка сигнала, кодирование, методы контроля ошибок, криптография, спецификация протокола, сети, проектирование программного обеспечения, арифметика, алгоритмы, сложность, компьютерная алгебра, языки программирования, логическое и функциональное программирование, алгебраическая спецификация, перезаписывающие системы, доказательство теорем, графика, моделирование, инженерия знаний, экспертные системы, методология искусственного интеллекта. При этом предпочтение отдается не теории, а работам связанным с проблемами в таких областях, как коммутативная или некоммутативная алгебра, теория групп, теория поля и реальная алгебраическая геометрия, а также исследованиям в области технологий и разработкам ноу-хау, связанным с применением прикладной алгебры. Зарегистрированы поступления:
> () Applied Mathematics [Электронный ресурс]. - Rosemead : Scientific & Academic Publishing Co., 2011 - . - Выходит раз в два месяца. - ISSN 2163-1409 Аннотация: Научный журнал. Статьи по исследованиям во всех разделах прикладной математики, критические обзоры, научные заметки, обсуждения и краткие отчёты. Охватыыват широкий тематический спектр: актуврная наука, анализ и дифференциальные уравнения, алгебра и теория чисел, разработка алгоритма, прикладная дифференциальная геометрия, теория аппроксимации, биоинформатика, биостатистика и анализ живучести системы, проблемы окрашивания, хроматическое число, комбинаторика, компьютерная алгебра, компьютерные науки, непрерывное моделирование, криптография, дифференциальные уравнения, динамические системы (в т.ч. дискретные), финансовая математика, конечная геометрия, механика жидкостей, функциональный анализ, теория игр, геометрия, теория графов, теория информации, обратные спектральные задачи, линейное программирование, математическая биология, сетевой анализ, математическая инженерия, нелинейная оптика, нелинейные волны, численные алгоритмы, численный анализ, исследование операций, операторная алгебра, оптимизация, вероятность и статистика, реальный и комплексный анализ, топологические индексы графов, и др. Выходят также специальные тематические выпуски.
journal link
|
> () Automated Software Engineering [Электронный ресурс] : an International Journal. - Berlin : springer, 1994 - (Springer). - Выходит ежеквартально. - ISSN 0928-8910 Аннотация: Статьи, в т.ч. учебного характера, обзоры и отчеты о производственном опыте по основам, методам, техническим средствам и применению технологии автоматизированного проектирования программного обеспечения (ПО), включая изучение методов построения, понимания, адаптирования и моделирования программных продуктов и процессов: автоматические и коллаборативные системы, вычислительные модели деятельности человека при проектировании ПО; представление знаний и методы искусственного интеллекта в применении к автоматизированному проектированию ПО: формирование схем представления знаний (формального и неформального); описания и модели процесса разработки; технические средства и среды, поддерживающие разработку ПО; когнитивные свойства схем представления, программирование и языки программирования; методы, анализ и аттестация разработки ПО; обоснование системы; качество и метрика ПО; повторное использование и адаптация ПО; анимация и проектирование; моделирование и анализ предметной области; визуализация ПО; объектное управление; разработкка пользовательских интерфейсов; групповая разработка ПО; разработка распределенных, реального времени, встроенных и композиционных систем; интеграция систем; сопровождение и эволюция ПО; тестирование систем; восстановление структурной схемы и алгоритма работы по исходным текстам и осмысление программы; документация и толкование программы. Обзоры книг, ПО, материалов конференций и семинаров.
journal link (full text - НТО-3)
|
> () Central European Journal of Computer Science [Электронный ресурс]. - Berlin : springer, 2011 - . - Выходит ежеквартально. - ISSN 1896-1533 Аннотация: Международный научный журнал. Статьи по результатам исследований в области компьютерных наук: алгоритмы и теория сложности вычислений (анализ и алгоритмы, теория вычислимости, структуры данных, модели вычислений); искусственный интеллект (когнитивные системы, вычислительная лингвистика, компьютерное зрение, извлечение данных, взаимодействие человек-машина, обработка изображений, представление знаний, машинное обучение, обработка естественного языка, распознавание образов); биоинформатика (средства биостатистики, инструменты генного анализа, онтологии в биоинформатике, физиологическое моделирование, средства анализа последовательностей, Web-сервисы в биоинформатике); организация сети и системы безопасности (криптография, распределённые вычисления, мобильные системы, сетевые протоколы, защита данных в сети, параллельные вычисления); языки программирования (проектирование и реализация компилятора, формальная семантика, дизайн языка, спецификации языка, грамотное программирование, парадигмы программирования); система и разработка программного обеспечения (системы баз данных, встроенные системы, операционные системы, разработка программного обеспечения, тестирование и верификация программного обеспечения); теоретические основы компьютерных наук: (теория автоматов, теория категорий, теория графов, математическая логика, теория типов).
journal link (full text - НТО-3)
|
> () Computational Optimization and Applications [Электронный ресурс]. - Berlin : springer, 1992 - . - Выходит ежеквартально. - ISSN 0926-6003 Аннотация: Статьи по результатам теоретических и экспериментальных исследований и статьи учебного характера по анализу и развитию вычислительных алгоритмов, стохастических и детерминированных алгоритмов, и технологии моделирования для целей оптимизации: крупномасштабная оптимизация; безусловная оптимизация; линейное программирование; квадратичное программирование, задачи о дополнительности, вариационные неравенства; условная оптимизация; недифференцируемая оптимизация; целочисленное программирование; комбинаторная оптимизация; стохастическая оптимизация; многокритериальная оптимизация; сетевая оптимизация; теория сложности; приближения и анализ погрешностей; параметрическое программирование и анализ чувствительности; параллельные и распределенные вычисления, векторная обработка данных; программное обеспечение, аттестация, численное экспериментирование и сравнение; языки и системы моделирования для целей оптимизации; автоматическая дифференциация; применение в оптимальном управлении, оптимальном проектировании, исследовании операций, технике, транспорте, экономике, финансах, связи, производстве и управленческой науке.
journal link (full text - НТО-3)
|
> Шифр: W4050 (Журнал) Computer [Текст]. - New York, NY : Institute of Electrical and Electronics Engineers, Inc, 1967 - . - Выходит ежемесячно. - ISSN 0018-9162 Аннотация: Статьи по теоретическим, прикладным, инженерным и экономическим аспектам проектирования, реализации и применения компьютерных систем и программного обеспечения: интегральные схемы; пользовательский интерфейс; операционные системы, объектно-ориентированные системы; сети, нейронные сети, Internet, системы клиент-сервер; искусственный интеллект, распознавание речи, системы знаний; программирование, языки, формальные методы, стандарты; визуализация, компьютерная графика, мультимедиа, виртуальная реальность; реинжиниринг и многократное использование систем и программ; охрана интеллектуальной собственности, патенты; управление техническими и программными новациями; краткие новости, обзоры готовых изделий; календарь и программы конференций; предложения вакансий в университетах и фирмах США; реклама. Номера - тематические. В последнем номере тома - годовые предметный и авторский указатели. Зарегистрированы поступления:
> Шифр: V1837 (Журнал) Computing [Текст] : archiv Informatik Numerik. - Berlin : springer, 1966 - . - Выходит раз в два месяца. - ISSN 0010-485X Аннотация: Статьи и краткие сообщения по результатам новых исследований во всех областях научных вычислений и компьютерных наук: дискретные алгоритмы, символические вычисления, выполнение и сложность оценки, операционные системы, планирование, разработка программного обеспечения, компьютерная графика, обработка изображений, архитектура компьютеров, параллельные вычисления, классический численный анализ, численное программирование, численная статистика, оптимизация, компьютерная арифметика, интервальный анализ, вычерчивание графических изображений. Зарегистрированы поступления:
> Шифр: W12668 (Журнал) Computing in Science and Engineering [Текст]. - New York, NY : Institute of Electrical and Electronics Engineers, Inc, 1999 - . - Выходит раз в два месяца. - ISSN 1521-9615 СВЕДЕНИЯ ОБ ИЗМЕНЕНИИ ИЗДАНИЯ: Настоящее издание В 1999г. образовано в результате слияния Computers in Physics. - ISSN 0894-1866 (Шифр W10569) и IEEE Computational Science & Engineering. - ISSN 1070-9924 (Шифр W12429) Аннотация: Статьи о новых идеях, методах, результатах и тенденциях в применении достижений физических наук, вычислительной техники и вычислительных методов в научных исследованиях, технике, промышленности и образовании: развитие перспективных видов связи, коммуникационных систем и вычислительных сетей в соответствии с потребностями ученых и инженеров; решение вычислительных задач, возникающих при проектировании и моделировании систем и сетей; распределенные вычисления; математические методы, алгоритмы, научное программирование, моделирование; интерактивная визуализация; использование больших наборов данных для архивирования, поиска и др. В 1999 г. каждый номер журнала посвящен одной из следующих тем: вычисления в области связи; космология и вычисления; вычислительная биология (моделирование молекулярных биологических систем); визуализация массивов данных; моделирование в области наук об окружающей среде (изучение магнитосферы, атмосферы, геологические исследования); вычисления в области финансов. Статьи учебного характера; раздел по практике создания собственных Web-сайтов; новости техники, технологий и программных продуктов; обзоры книг и Web-сайтов. Зарегистрированы поступления:
> Шифр: V2624 () Decision Sciences [Электронный ресурс]. - [Б. м.] : John Wiley & Sons, Inc, 1970 - . - Выходит ежеквартально. - ISSN 0011-7315 Аннотация: Статьи по теории, методам, процессам и инструментам принятия решений управленческим персоналом (математические методы, модели и алгоритмы, математическое программирование и оптимизация, системы поддержки, информационные технологии, управление знаниями и др.), а также по различным проблемам организации и управления с анализом конкретных случаев принятия решений. К каждым 2-м томам авторский и предметный указатели и указатель названий статей.
journal link (full text - из читальных залов ГПНТБ)
|
> Шифр: V4245 () Discrete and Computational Geometry [Электронный ресурс]. - Berlin : springer, 1986 - . - Выходит 8 раз в год. - ISSN 0179-5376 Аннотация: Статьи по исследованиям в дискретной и вычислительной геометрии: проектирование и анализ геометрических алгоритмов, конфигурации и размещение, пространственное разбиение, уплотнение, покрытие, геометрическая сложность, политопы, координаты точки, геометрические вероятности, комбинаторная и вычислительная топология, геометрические графы, геометрия чисел и др.; а также статьи о других аспектах геометрии в таких областях как теория графов, математическое программирование, реальная алгебраическая геометрия, матроиды, объемное моделирование, компьютерная графика, комбинаторная оптимизация, обработка изображений, распознавание образов, кристаллография, проектирование СБИС и роботика.
journal link (full text - НТО-3)
|
> Шифр: W11435 (Журнал) Electronics & Communications in Japan [Текст]. Pt.III, Fundamental Electronic Science. - [Б. м.] : John Wiley & Sons, Inc, 1918 - . - Выходит ежемесячно. - ISSN 1042-0967 СВЕДЕНИЯ ОБ ИЗМЕНЕНИИ ИЗДАНИЯ: Настоящее издание В 2008г. влилось как часть в Electronics and Communications in Japan . - ISSN 1942-9533 Аннотация: Статьи по теоретическим проблемам электроники: акустика, ультразвуковая техника, анализ речи и слуха, теория цепей, проектирование сверхбольших интегральных схем, численный анализ и математическое программирование, алгоритмы, структура данных и сложности вычислений, графы и сети, надежность, анализ неисправностей, безопасность данных, теории информации и кодирования, обработка сигнала и теория связи, теория изображений, искусственный интеллект и теория познания, нейронные сети, медицинская электроника, измерения и контрольно-измерительная аппаратура. Выход английского перевода статей отстает на 24 недели от публикации оригинала. Зарегистрированы поступления:
> () Energy Systems [Электронный ресурс]. - Berlin : springer, 2010 - . - Выходит ежеквартально. - ISSN 1868-3967 Аннотация: Научный журнал. Статьи по исследованиям теоретических, вычислительных и прикладных аспектов энергетических систем и обзоры, характеризующие уровень развития отрасли. Тематика журнала: прикладное математическое программирование, управление и экономические подходы к теме энергосистем; оптимизация энергосистем; производство электроэнергии; торговля электроэнергией; управление рисками в электроэнергетике; конкуренция на рынке электроэнергии; стратегии ведения торгов на аукционе; а также математическая теория и алгоритмы для стохастических методов оптимизации, применяемых в решении энергетических задач; и моделирование – напр., оптимизациия процессов, синтез, дизайн и эксплуатация. Журнал рассчитан на специалистов в инженерии, исследовании операций и прикладной математике.
journal link (full text - НТО-3)
|
> () Fuzzy Information and Engineering [Электронный ресурс]. - Berlin : springer, 2009 - . - Выходит ежеквартально. - ISSN 1616-8658 Аннотация: Международный научно-технический журнал. Предоставляет унифицированную коммуникационную платформу для исследователей широкого круга научных проблем чистой и прикладной математики, компьютерных наук, технологии и других смежных областей при обязательном акцентировании вопросов применения результатов. Публикуются статьи, краткие сообщения и обзоры. Тематика: нечёткая информация (информационные системы; комплексное проектирование аппаратного и программного обеспечения; компьютер, реализующий нечёткую логику; нечёткие базы данных; обработка нечётких изображений и распознавание образов); нечёткие множества и системы (топология, уравнения, программирование, логика и алгебра, социоэкономические системы, системы поддержки принятия решений, экспертные системы); мягкие вычисления (организация вычислительных процессов на основе использования нечёткой логики, нейронных сетей, генетических алгоритмов и методов принятия решений в условиях неопределённости); нечёткие технологии (управление, системотехника, инженерия знаний, проектирование, системное моделирование); исследование операций над нечёткими явлениями (оценка и принятие решений, планирование, прогнозирование, теория графов, поток в сети); искусственный интеллект (приблизительные рассуждения, нейронные сети, интеллектуальное управление и роботы), теория неточных множеств, нечёткая лингвистика, нечёткая биологи и др.
journal link (full text - НТО-3)
|
> () Higher-Order and Symbolic Computation [Электронный ресурс]. - Berlin : springer (Springer). - Выходит ежеквартально. - ISSN 1388-3690 СВЕДЕНИЯ ОБ ИЗМЕНЕНИИ ИЗДАНИЯ: Настоящее издание В 1998г. переименовано из LISP and Symbolic Computation. - ISSN 0892-4635 (Шифр V4503) Аннотация: Статьи по результатам исследований в области программирования при использовании функций высшего порядка и символьных вычислений: функциональное программирование и результаты; объектно-ориентированное программирование; параллельные, одновременные, распределенные, а также мобильные символьные и функциональные вычисления; программирование: понятия и абстракции - абстракция данных, ленивые вычисления, самоадресация, отображение, продолжения, компоненты, родовидовые функции, наследование, инкапсуляция, защита, сохранность, мета-объекты, протоколы связи и др.; теория языков программирования - семантика, специфицирование и умозаключение о программе, логика программирования, типы и тип с выводами; манипуляция с программами, базирующимися на семантике - компилирование, анализ, частичное вычисление, инструментальное оснвщение и другие преобразования программы; реализация и ее способы - специализированная архитектура, проектирование компилятора, комбинаторные модели, сбор ненужной информации ("мусора"), управление хранением, анализ эксплуатационных показателей; среда и средства программирования - средства программирования, базирующиеся на знаниях, средства искусственного интеллекта и средства отладки; применение - символьное вычислением при программировании реального времени, системы окон, пользовательский интерфейс, операционные системы и параллельные распределенные вычисления.
journal link (full text - НТО-3)
|
> Шифр: W8994 (Журнал) Institute of Electrical and Electronics Engineers (New York, NY). IEEE Software [Текст]. - New York, NY : Institute of Electrical and Electronics Engineers, Inc, 1984 - . - Выходит раз в два месяца. - ISSN 0740-7459 Аннотация: Статьи по практическим аспектам программирования, в т.ч. профессионально-учебного характера: проектирование, разработки, архитектура, тестирование, качество, надежность, измерения; объектно-ориентированное программирование; защита данных; пользовательский интерфейс; реинжиниринг (программ); Internet, браузер; бизнес-реинжиниринг, управление риском, перспективы развития. Новости, краткая информация, обзоры книг, календарь и программы конференций. Номера - тематические. В последнем номере года - годовые предметный и авторский указатели. Зарегистрированы поступления:
|
|
|
|
|
|