Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03$<.>)
Общее количество найденных документов : 106
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
1.
   Pr1082
   Pr1082/172
Pr1082/172 / Pr1082/172-02 ВМИ

    Sjogreen, Bjorn.
    A new ENO scheme [Text] : сборник / B. Sjogreen. - Uppsala : [s. n.], 1996. - 18 p. : Ill. - (Report / Uppsala. Universitet. Department of computer science ; vol. 172)
Bibliogr.: p. 17-18
Перевод заглавия: Новая существенно неосциллирующая ENO схема
27.03.17
ББК В192.141
Рубрики: Интерполирование--Функций
Кл.слова (ненормированные):
функции -- приближенные вычисления
Дескрипторы: сб пр -- моногр

Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Инвентарный номер: 70-20-2001+02
Найти похожие
2.
   Pr1097
   Pr1097/120
Pr1097/120 / Pr1097/120-02 ВМИ

    Brien, Stephen.
    A tutorial on proof in standard Z / S. Brien, A. Martin. - Oxford : [s. n.], 1996. - 70 p. : Ill. - (Technical monograph / Oxford. University, Computing laboratory. Programming research group ; PRG-120). - Bibliogr.: p. 55
Перевод заглавия: Консультация по доказательству в стандарте Z
27.03
ББК В121с512
Рубрики: Доказательств теория--Применение компьютеров
Дескрипторы: сб пр -- моногр


Доп.точки доступа:
Martin, Andrew
Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Инвентарный номер: 105-1-2003+02
Найти похожие
3.
   В15
   A35
В15 / A35-02

   
    Algebra and model theory 8 : collection of papers : [the 9th International Summer School "Problems allied to universal algebra and model theory - Erlagol 2011", held on 22-28 of June 2011, camping center "Erlagol", Altai] / ed. by A. G. Pinus [et al.]. - Novosibirsk : Novosinirsk state techn. univ. publ., 2011. - 142 p. : Ill. - Text Engl., Russ. - Bibliogr. at the end of the art.
В надзаг.: Novosibirsk state techn. univ.
Перевод заглавия: Алгебра и теория моделей 8
27.17
27.03
ББК В15я43 + В122я43
Рубрики: Алгебра
   Модели--в математической логике
   Математическое моделирование--теория


Доп.точки доступа:
Pinus, A.G. \ed.\; "Problems allied to universal algebra and model theory - Erlagol 2011", International Summer School (9 ; 2011 ; Novosibirsk - Erlagol)Erlagol 2011
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 24-10-2012но
Найти похожие
4.
   Pr1153
   Pr1153/108
Pr1153/108 / Pr1153/108-02

   
    Algebra, logic and number theory : proc. of the 3rd Joint conf. on algebra, logic a. number theory, June 8-13, 2014, Bedlewo / eds. of the vol.: P. Gladki [et al.]. - Warszawa : Instytut matematyczny PAN, 2016. - 257 p. : ill. - (Banach center publications / Stefan Banach international mathematical center (Warsaw), ISSN 0137-6934 ; vol. 108). - Bibliogr. at the end of the art.
Перевод заглавия: Алгебра, логика и теория чисел : труды Объединенной конференции
ГРНТИ
27.17
27.03
27.15
ББК В152я431 + В12я431 + В14я431
Рубрики: Высшая алгебра
   Математическая логика
   Теория чисел

Перейти: Оглавление

Доп.точки доступа:
Gladki, P. \ed.\; Joint conference on algebra, logic and number theory (3 ; 2014 ; Bedlewo)
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 91-1-2016+02
Найти похожие
5.
   Pr847
   Pr847/255
Pr847/255 / Pr847/255-02

   
    Algorithms and order : Proc., Ottawa, Canada, May 31 - June 13, 1987 / Ed. by Ivan Rival. - Dordrecht [et al.] : Kluwer, 1989. - IX, 498 p. : Ill. - (NATO ASI series. Series C, Math. a. phys. sciences ; vol. 255). - Bibliogr. at the end of the art.
Перевод заглавия: Алгоритмы и упорядоченность
27.03
50.05.03
27.47
ББК В173.1Я431 + В127я431 + З 973.2-018я431
Рубрики: Упорядоченные множества
   Алгоритмы--Теория
   Компьютеры--Алгоритмы
Кл.слова (ненормированные):
множества -- упорядоченные -- алгоритмы -- математическая оптимизация
Дескрипторы: Kluwer


Доп.точки доступа:
Rival, I. \ed.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 78-22-91+02
Найти похожие
6.
   Pr1084
   Pr1084/1980-20
Pr1084/1980-20 / Pr1084/1980-20-02 ВМИ

    Smith, Jan.
    An interpretation of Martin-Lof's type theory in a type free theory of propositions / J. Smith. - Goteborg : [s. n.], 1980. - 38 l. - (Publicationes / Chalmers institute of technology and the University of Goteborg. Department of mathematics ; № 1980-20). - Bibliogr.: l. 38
Перевод заглавия: Интерпретация теории типов Мартина-Лефа в свободной теории типов утверждений
27.03
ББК В123
Рубрики: Типов теория
   Пропозициональные логики
Кл.слова (ненормированные):
интуиционистская теория типов
Дескрипторы: сб пр -- моногр

Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Найти похожие
7.
   Pr1090
   Pr1090/2003-44
Pr1090/2003-44 / Pr1090/2003-44-02

    Berman, Piotr.
    Approximation hardness and satisfiability of bounded occurrence instances of SAT : сборник / P. Berman, M. Karpinski, A.D. Scott. - Bonn : [s. n.], 2003. - 13 p. - (Preprint series / Max-Planck-Inst. fur Mathematik ; MPI 03-44). - Bibliogr.: p. 11-13
Перевод заглавия: Аппроксимативная жесткость и выполняемость связанных событий SAT
27.03
ББК В127
Рубрики: Вычислимые функции
   Вычислимость в математической логике
Дескрипторы: моногр -- сб пр


Доп.точки доступа:
Karpinski, Marek; Scott, Alex D
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Найти похожие
8.
   И-В12
   A87
И-В12 / A87-02

   
    Aspects of complexity : minicourses in algorithmics, complexity and computational algebra : Mathematics workshop, Kaikoura, Jan. 7-15, 2000 / eds.: R. Downey, D. Hirschfeldt. - Berlin ; New York : de Gruyter, 2001. - VI,172 p. : ill. - (De Gruyter series in logic and its applications ; 4). - Bibliogr. at the end of the art.
Перевод заглавия: Некоторые аспекты сложности
ГРНТИ
27.03
27.41
ББК В127я431 + В192.161я431
Рубрики: Сложность--Вычислений алгоритмов
   Вычислительная линейная алгебра

Перейти: Оглавление

Доп.точки доступа:
Downey, R. \ed.\; Hirschfeldt, D. \ed.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 21-2-2014+02
Найти похожие
9.
   Pr1019
   Pr1019/395
Pr1019/395 / Pr1019/395-02

    Schmidt-Schauss, Manfred.
    Computational aspects of an order-sorted logic with term declarations : сборник / M. Schmidt-Schauss. - Berlin [et al.] : Springer, 1989. - VIII,171 p. - (Lecture notes in artificial intelligence ; 395)
Bibliogr.: p. 156-166. Ind.: p. 167-168
Перевод заглавия: Вычислительные аспекты математической логики
27.03
ББК В12с512
Рубрики: Математическая логика--Применение ЭВМ
Кл.слова (ненормированные):
математическая логика -- упорядоченная логика -- термы
Дескрипторы: сб пр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 202-30-91+02
Найти похожие
10.
   Pr1084
   Pr1084/1981-19
Pr1084/1981-19 / Pr1084/1981-19-02 ВМИ

    Smith, Jan.
    Course-of-values recursion on lists in intuitionistic type theory : сборник / J. Smith. - Goteborg : [s. n.], 1981. - 26 l. - (Publicationes / Chalmers institute of technology and the University of Goteborg. Department of mathematics ; № 1981-19)
Bibliogr.: l. 26
Перевод заглавия: Производящая рекурсия на перечне в интуиционистской теории типов
27.03
ББК В127 + В123
Рубрики: Рекурсивные функции
   Интуиционистская логика математическая
   Типов теория
Кл.слова (ненормированные):
конструктивный анализ
Дескрипторы: сб пр -- моногр

Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН