Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03$<.>)
Общее количество найденных документов : 229
Показаны документы с 1 по 10
 1-10    11-20   21-30      
1.
()
Forum of Mathematics, Sigma [Электронный ресурс]. - Cambridge : Cambridge University Press, 2013 - . - Выходит ежегодно. - ISSN 2050-5094

Кл.слова (ненормированные): foundations of mathematics -- discrete mathematics -- number theory -- complex geometry -- geometric analysis -- mathematical physics
journal link
Найти похожие
2.
()
Journal of Logic and Computation [Электронный ресурс]. - Oxford : Oxford University Press, 1990 - . - Выходит раз в два месяца. - ISSN 0955-792X

Аннотация: Статьи, обзоры, дискуссии по исследованиям в области логики и вычислений: логические системы (классическая и неклассическая логика, конструктивная логика, категориальная логика, модальная логика, теория типов и др.); логика в логическом программировании, системах с базами знаний и автоматизированных рассуждениях; логика в представлении знаний (немонотонные рассуждения и системы знаний и убеждений); логика и семантика программирования; спецификация и верификация программ и систем; приложения логики в аппаратном обеспечении и СБИС, естественных языках, параллельных вычислениях, планировании и базах данных. Обзоры материалов конференций, письма в редакцию.
journal link (full text - из читальных залов ГПНТБ)
Найти похожие
3.
Шифр: V4097 ()
Journal of Classification [Электронный ресурс]. - Berlin : springer, 1984 - (Springer). - Выходит дважды в год. - ISSN 0176-4268

Аннотация: Научный журнал. Статьи, обзоры, краткие сообщения и комментарии по исследованиям в области методологии классификации, численной таксономии, многомерного масштабирования и др. методов ординации, кластеризации, древовидных структур и других сетевых моделей (с меньшим вниманием к основным компонентам анализа, факторному и дискриминантному анализу), а также ассоциированных моделей и алгоритмов. Тематика охватывает компьютерные науки, математику, химию, инженерию, геологию, географию, астрономию, статистику, информационный поиск, экономику, бизнес, маркетинг, биологию, медицину, социологию, политические науки, психологию, антропологию, археологию, лингвистику, психиатрию и почвоведение. Публикуются также рефераты программного обеспечения и обзоры книг.
journal link (full text - НТО-3)
Найти похожие
4.
()
Numerical Algorithms [Электронный ресурс]. - Berlin : springer, 1991 - (Springer). - Выходит ежеквартально. - ISSN 1017-1398

Аннотация: Статьи и обзоры по всем аспектам численных алгоритмов: новые алгоритмы, теоретические результаты, реализация, численная стабильность, сложность, параллельный компьютинг, подпрограммы и применение; статьи по компьютерной алгебре, связанные с получением численных результатов. Обзоры книг, анонсы научных конференций.
journal link (full text - НТО-3)
Найти похожие
5.
()
Parallel Processing Letters [Электронный ресурс]. - [S. l.] : World Scientific Publishing Co. Pte. Ltd, 1991 - (Ul'2008). - Выходит ежеквартально. - ISSN 0129-6264

Аннотация: Краткие статьи и имеющие научную ценность письма читателей о последних достижениях в области параллельной обработки данных: проектирование и анализ параллельных и распределенных алгоритмов; теория параллельных вычислений; языки параллельного программирования; среды параллельного программирования; параллельные архитектуры; СБИС; результаты экспериментов, содержащие анализ, соответствующий абстрактной модели вычислений.
journal link (full text - НТО-3)
Найти похожие
6.
()
Forum of Mathematics, Pi [Электронный ресурс]. - Cambridge : Cambridge University Press, 2013 - . - Выходит ежегодно. - ISSN 2050-5086
journal link
Найти похожие
7.
Шифр: V4694 (Журнал)
Archive for Mathematical Logic [Текст]. - Berlin : springer, 1950 - . - Выходит раз в два месяца. - ISSN 0933-5846

Аннотация: Статьи и обзоры по исследованиям в области математической логики, а также по теориям компьютерной науки, философии и др., где значительную роль играет применение математической логики.
Зарегистрированы поступления:

journal link (full text - НТО-3)
Найти похожие
8.
510.7/H99-921148

    Indrzejczak, A.
    Natural deduction, hybrid systems and modal logics [Electronic resource] / A. Indrzejczak. - Electronic text data. - Dordrecht : Springer, 2010. - (Trends in logic ; 30). - ISBN 978-90-481-8785-0 : Б. ц.

ГРНТИ
27.03.19
УДК
510.643
510.7

Кл.слова (ненормированные):
естественный вывод -- гибридные системы -- модальные логики -- теория доказательств

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
9.
510
S32

    Schindler, R.
    Logische Grundlagen der Mathematik [Electronic resource] / R. Schindler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Springer-Lehrbuch, ISSN 0937-7433). - ISBN 978-3-540-95932-8 : Б. ц.

ГРНТИ
27.03
УДК
510

Кл.слова (ненормированные):
математика -- логические основания

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
10.
510
V31

    Vath, M.
    Nonstandard analysis [Electronic resource] / M. Vath. - Electronic text data. - Basel : Birkhauser, 2007. - ISBN 978-3-7643-7774-8 : Б. ц.

ГРНТИ
27.03.19
УДК
510

Кл.слова (ненормированные):
нестандартный анализ

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
 1-10    11-20   21-30      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)