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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03$<.>)
Общее количество найденных документов : 229
Показаны документы с 1 по 10
 1-10    11-20   21-30      
1.
Вид документа :
Шифр издания : vr=F869544
Заглавие : Forum of Mathematics, Sigma
Выходные данные : Cambridge: Cambridge University Press, 2013
ISSN: 20505094
ГРНТИ : 27.03 + 27.15
Ключевые слова (''Своб.индексиров.''): foundations of mathematics--discrete mathematics--number theory--complex geometry--geometric analysis--mathematical physics
Найти похожие
2.
Вид документа :
Шифр издания : vr=J255766
Заглавие : Journal of Logic and Computation
Выходные данные : Oxford: Oxford University Press, 1990
ISSN: 0955792X
ГРНТИ : 27.03.19 + 28.23.17 + 50.41.01
Аннотация: Статьи, обзоры, дискуссии по исследованиям в области логики и вычислений: логические системы (классическая и неклассическая логика, конструктивная логика, категориальная логика, модальная логика, теория типов и др.); логика в логическом программировании, системах с базами знаний и автоматизированных рассуждениях; логика в представлении знаний (немонотонные рассуждения и системы знаний и убеждений); логика и семантика программирования; спецификация и верификация программ и систем; приложения логики в аппаратном обеспечении и СБИС, естественных языках, параллельных вычислениях, планировании и базах данных. Обзоры материалов конференций, письма в редакцию.
Найти похожие
3.
Вид документа :
Шифр издания : V4097
Заглавие : Journal of Classification
Выходные данные : Berlin: springer, 1984
ISSN: 01764268
ГРНТИ : 27.03
Аннотация: Научный журнал. Статьи, обзоры, краткие сообщения и комментарии по исследованиям в области методологии классификации, численной таксономии, многомерного масштабирования и др. методов ординации, кластеризации, древовидных структур и других сетевых моделей (с меньшим вниманием к основным компонентам анализа, факторному и дискриминантному анализу), а также ассоциированных моделей и алгоритмов. Тематика охватывает компьютерные науки, математику, химию, инженерию, геологию, географию, астрономию, статистику, информационный поиск, экономику, бизнес, маркетинг, биологию, медицину, социологию, политические науки, психологию, антропологию, археологию, лингвистику, психиатрию и почвоведение. Публикуются также рефераты программного обеспечения и обзоры книг.
Найти похожие
4.
Вид документа :
Шифр издания : vr=N805675
Заглавие : Numerical Algorithms
Выходные данные : Berlin: springer, 1991
ISSN: 10171398
ГРНТИ : 27.03.17
Аннотация: Статьи и обзоры по всем аспектам численных алгоритмов: новые алгоритмы, теоретические результаты, реализация, численная стабильность, сложность, параллельный компьютинг, подпрограммы и применение; статьи по компьютерной алгебре, связанные с получением численных результатов. Обзоры книг, анонсы научных конференций.
Найти похожие
5.
Вид документа :
Шифр издания : vr=P821159
Заглавие : Parallel Processing Letters
Выходные данные : , 1991
ISSN: 01296264
ГРНТИ : 50.33.04 + 50.41 + 27.03.45
Аннотация: Краткие статьи и имеющие научную ценность письма читателей о последних достижениях в области параллельной обработки данных: проектирование и анализ параллельных и распределенных алгоритмов; теория параллельных вычислений; языки параллельного программирования; среды параллельного программирования; параллельные архитектуры; СБИС; результаты экспериментов, содержащие анализ, соответствующий абстрактной модели вычислений.
Найти похожие
6.
Вид документа :
Шифр издания : vr=F200438
Заглавие : Forum of Mathematics, Pi
Выходные данные : Cambridge: Cambridge University Press, 2013
ISSN: 20505086
ГРНТИ : 27.03 + 27.21
Найти похожие
7.
Вид документа : Журнал
Шифр издания : V4694
Заглавие : Archive for Mathematical Logic
Выходные данные : Berlin: springer, 1950
ISSN: 09335846
ГРНТИ : 27.03
Аннотация: Статьи и обзоры по исследованиям в области математической логики, а также по теориям компьютерной науки, философии и др., где значительную роль играет применение математической логики.
Зарегистрированы поступления :
1992г. Vol.32; N :2;
1992г. Vol.31; N :3-6
Издание можно найти в:
ЧЗ/ХР; ИНТЕХ;
Найти похожие
8.
Вид документа : Монографическая серия
Шифр издания : 510.7/H99-921148
Автор(ы) : Indrzejczak A.
Заглавие : Natural deduction, hybrid systems and modal logics [Electronic resource]
Выходные данные : Dordrecht : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Trends in logic; 30
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-90-481-8785-0: Б.ц.
ГРНТИ : 27.03.19
УДК : 510.643 + 510.7
Ключевые слова (''Своб.индексиров.''): естественный вывод--гибридные системы--модальные логики--теория доказательств
Найти похожие
9.
Вид документа : Однотомное издание
Шифр издания : 510/S32
Автор(ы) : Schindler R.
Заглавие : Logische Grundlagen der Mathematik [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Springer-Lehrbuch, ISSN 0937-7433
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-95932-8: Б.ц.
ГРНТИ : 27.03
УДК : 510
Ключевые слова (''Своб.индексиров.''): математика--логические основания
Найти похожие
10.
Вид документа : Однотомное издание
Шифр издания : 510/V31
Автор(ы) : Vath M.
Заглавие : Nonstandard analysis [Electronic resource]
Выходные данные : Basel : Birkhauser, 2007
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-7643-7774-8: Б.ц.
ГРНТИ : 27.03.19
УДК : 510
Ключевые слова (''Своб.индексиров.''): нестандартный анализ
Найти похожие
 1-10    11-20   21-30      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)