Web ИРБИС

Базы данных

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

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

в найденном

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>R=27.03$<.>)

Общее количество найденных документов : 229
Показаны документы с 1 по 30

1-30 31-60 61-90

()

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
Найти похожие

()

Journal of Logic and Computation [Электронный ресурс]. - Oxford : Oxford University Press, 1990 - . - Выходит раз в два месяца. - ISSN 0955-792X

Аннотация: Статьи, обзоры, дискуссии по исследованиям в области логики и вычислений: логические системы (классическая и неклассическая логика, конструктивная логика, категориальная логика, модальная логика, теория типов и др.); логика в логическом программировании, системах с базами знаний и автоматизированных рассуждениях; логика в представлении знаний (немонотонные рассуждения и системы знаний и убеждений); логика и семантика программирования; спецификация и верификация программ и систем; приложения логики в аппаратном обеспечении и СБИС, естественных языках, параллельных вычислениях, планировании и базах данных. Обзоры материалов конференций, письма в редакцию.
journal link (full text - из читальных залов ГПНТБ)
Найти похожие

Шифр: V4097 ()

Journal of Classification [Электронный ресурс]. - Berlin : springer, 1984 - (Springer). - Выходит дважды в год. - ISSN 0176-4268

Аннотация: Научный журнал. Статьи, обзоры, краткие сообщения и комментарии по исследованиям в области методологии классификации, численной таксономии, многомерного масштабирования и др. методов ординации, кластеризации, древовидных структур и других сетевых моделей (с меньшим вниманием к основным компонентам анализа, факторному и дискриминантному анализу), а также ассоциированных моделей и алгоритмов. Тематика охватывает компьютерные науки, математику, химию, инженерию, геологию, географию, астрономию, статистику, информационный поиск, экономику, бизнес, маркетинг, биологию, медицину, социологию, политические науки, психологию, антропологию, археологию, лингвистику, психиатрию и почвоведение. Публикуются также рефераты программного обеспечения и обзоры книг.
journal link (full text - НТО-3)
Найти похожие

()

Numerical Algorithms [Электронный ресурс]. - Berlin : springer, 1991 - (Springer). - Выходит ежеквартально. - ISSN 1017-1398

Аннотация: Статьи и обзоры по всем аспектам численных алгоритмов: новые алгоритмы, теоретические результаты, реализация, численная стабильность, сложность, параллельный компьютинг, подпрограммы и применение; статьи по компьютерной алгебре, связанные с получением численных результатов. Обзоры книг, анонсы научных конференций.
journal link (full text - НТО-3)
Найти похожие

()

Parallel Processing Letters [Электронный ресурс]. - [S. l.] : World Scientific Publishing Co. Pte. Ltd, 1991 - (Ul'2008). - Выходит ежеквартально. - ISSN 0129-6264

Аннотация: Краткие статьи и имеющие научную ценность письма читателей о последних достижениях в области параллельной обработки данных: проектирование и анализ параллельных и распределенных алгоритмов; теория параллельных вычислений; языки параллельного программирования; среды параллельного программирования; параллельные архитектуры; СБИС; результаты экспериментов, содержащие анализ, соответствующий абстрактной модели вычислений.
journal link (full text - НТО-3)
Найти похожие

()

Forum of Mathematics, Pi [Электронный ресурс]. - Cambridge : Cambridge University Press, 2013 - . - Выходит ежегодно. - ISSN 2050-5086
journal link
Найти похожие

Шифр: V4694 (Журнал)

Archive for Mathematical Logic [Текст]. - Berlin : springer, 1950 - . - Выходит раз в два месяца. - ISSN 0933-5846

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

1992

journal link (full text - НТО-3)
Найти похожие

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)
Свободных экз. нет
Найти похожие

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)
Свободных экз. нет
Найти похожие

11.

510.52(063)
N52

New computational paradigms [Electronic resource] : first Conference on computability in Europe, CiE 2005 Amsterdam, The Netherlands, June 8-12, 2005: proceedings / ed. B. Cooper [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3526). - ISBN 978-3-540-32266-5 : Б. ц.

ГРНТИ	27.03.17
УДК	510.52(063)

Рубрики: Сложность вычислений--Съезды и конференции

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

Доп.точки доступа:
Cooper, B. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

12.

510
K18

Kamareddine, F.
A modern perspective on type theory [Electronic resource] : from its origins until today / F. Kamareddine, R. Nederpelt, T. Laan. - Electronic text data. - Dordrecht : Springer Science + Business Media Inc., 2005. - (Applied logic series, ISSN 1386-2790 ; 29). - ISBN 978-1-4020-2335-4 : Б. ц.

ГРНТИ	27.03.19	50.07
УДК	510	004.422.6

Рубрики: Математическая логика
Теория типов
Программирования языки--Теория

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

Доп.точки доступа:
Nederpelt, R.; Laan, T.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

13.

510.22
C38

Celikyilmaz, A.
Modeling uncertainty with fuzzy logic [Electronic resource] : with recent theory and applications / A. Celikyilmaz, B. Turksen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Studies in fuzziness and soft computing, ISSN 1434-9922 ; 240). - ISBN 978-3-540-89924-2 : Б. ц.

ГРНТИ	27.03.19
УДК	510.22

Рубрики: Нечеткая логика

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

Доп.точки доступа:
Turksen, I.B.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

14.

004/M78-948959

Models of computation [Electronic resource] : an introduction to computability theory / M. Fernandez. - Electronic text data. - London : Springer, 2009. - (Undergraduate topics in computer science, ISSN 1863-7310). - ISBN 978-1-848-82434-8 : Б. ц.

ГРНТИ	27.03.17
УДК	510.58

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

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

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

15.

510.6
M39

Mathematical problems from applied logic II [Electronic resource] : logics for the XXIst century / ed. D. M. Gabbay [et al.]. - Electronic text data. - New York, NY : Springer Science + Business Media LLC, 2007. - (International mathematical series, ISSN 1571-5485 ; 5). - ISBN 978-0-387-69245-6 : Б. ц.

ГРНТИ	27.03.19
УДК	510.6

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

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

Доп.точки доступа:
Gabbay, D.M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

16.

510.6
L66

Li, W.
Mathematical logic [Electronic resource] : foundations for information science / W. Li. - Electronic text data. - Basel : Birkhauser, 2010. - (Progress in computer science and applied logic (pcs) ; 25). - ISBN 978-3-764-39977-1 : Б. ц.

ГРНТИ	27.03.19
УДК	510.6

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

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

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

17.

510/M39-403753

Mathematical problems from applied logic I [Electronic resource] : logics for the XXIst century / ed. D. M. Gabbay [et al.]. - Electronic text data. - New York, NY : Springer Science + Business Media Inc., 2006. - (International mathematical series, ISSN 1571-5485 ; 4). - ISBN 0-387-31072-X : Б. ц.

ГРНТИ	27.03
УДК	510.6

18.

510.22
K71

Komjath, P.
Problems and theorems in classical set theory [Electronic resource] / P. Komjath, V. Totik. - Electronic text data. - New York, NY : Springer Science + Business Media LLC, 2006. - (Problem books in mathematics, ISSN 0941-3502). - ISBN 978-0-387-36219-9 : Б. ц.

ГРНТИ	27.03.15
УДК	510.22

Кл.слова (ненормированные):
теория множеств

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

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

19.

51(09)
K97

Kvasz, L.
Patterns of change [Electronic resource] : linguistic innovations in the development of classical mathematics / L. Kvasz ; SpringerLink (Online service). - Electronic text data. - Basel [etc.] : Birkhauser, 2008. - (Science networks. historical studies ; 36). - ISBN 978-3-7643-8840-9 : Б. ц.

ГРНТИ	27.01.09	27.03.15
УДК	51(09)	510.21

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

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

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

20.

510.22
P29

Partial covers, reducts and decision rules in rough sets [Electronic resource] : theory and applications / M. J. Moshkov [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Studies in computational intelligence, ISSN 1860-949X ; 145). - ISBN 978-3-540-69029-0 : Б. ц.

ГРНТИ	27.03
УДК	510.22

Рубрики: Множеств теория

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

Доп.точки доступа:
Moshkov, M.J.; Kacprzyk, J.; Piliszczuk, M.; Zielosko, B.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

21.

510.7
A28

Aigner, M.
Proofs from the book [Electronic resource] / M. Aigner, G. M. Ziegler. - 4th ed. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - ISBN 978-3-642-00856-6 : Б. ц.

ГРНТИ	27.03.19
УДК	510.7

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

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

Доп.точки доступа:
Ziegler, G.M.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

22.

510.7
P78

Pohlers, W.
Proof theory [Electronic resource] : the first step into impredicativity / W. Pohlers. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Universitext). - ISBN 978-3-540-69319-2 : Б. ц.

ГРНТИ	27.03.19
УДК	510.7

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

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

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

23.

510.5(063)
P93

Programs, proofs, processes [Electronic resource] : 6th Conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010: proceedings / ed. F. Ferreira [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6158). - ISBN 978-3-642-13962-8 : Б. ц.

ГРНТИ	27.03	50.07
УДК	510.5(063)

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

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

Доп.точки доступа:
Ferreira, F. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

24.

510.52
F70

Flum, J.
Parameterized complexity theory [Electronic resource] / J. Flum, M. Grohe. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Texts in theoretical computer science. an eatcs series). - ISBN 978-3-540-29953-0. - ISBN 3-540-29953-X : Б. ц.

ГРНТИ	27.03.17
УДК	510.52

Рубрики: Сложность вычислений

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

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

25.

510.522
L79

Lipton, R. J.
The p=np question and godel’s lost letter [Electronic resource] / R. J. Lipton. - Electronic text data. - Boston, Ma : Springer Science+Business Media LLC, 2010. - ISBN 978-1-4419-7155-5 : Б. ц.

ГРНТИ	27.03.17
УДК	510.522

Кл.слова (ненормированные):
вопрос равенства классов P=NP -- теория алгоритмов -- теория вычислительной сложности -- утраченное письмо Гёделя

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

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

26.

510.22
C19

Cao, B.
Optimal models and methods with fuzzy quantities [Electronic resource] / B. Cao. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Studies in fuzziness and soft computing, ISSN 1434-9922 ; 248). - ISBN 978-3-642-10712-2 : Б. ц.

ГРНТИ	27.03
УДК	510.22

Кл.слова (ненормированные):
оптимальные модели -- оптимальные методы -- нечеткие множества -- линейное программирование -- геометрическое программирование

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

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

27.

510.22
M88

Moschovakis, Y.
Notes on set theory [Electronic resource] / Y. Moschovakis. - 2nd ed. - Electronic text data. - New York, NY : Springer Science + Business Media Inc., 2006. - (Undergraduate texts in mathematics, ISSN 0172-6056). - ISBN 0-387-31609-4 : Б. ц.

ГРНТИ	27.03
УДК	510.22

Кл.слова (ненормированные):
теория множеств

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

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

28.

510.52(063)
P25

Parameterized and exact computation [Electronic resource] : second international workshop, IWPEC 2006, Zurich, Switzerland, September 13-15, 2006 : proceedings / ed. H. Bodlaender, M. Langston. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4169). - ISBN 978-3-54039-101-2 : Б. ц.

ГРНТИ	27.03.17
УДК	510.52(063)

Рубрики: Сложность вычислений--Съезды и конференции

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

Доп.точки доступа:
Bodlaender, H. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

29.

510.52(063)
P25

Parameterized and exact computation [Electronic resource] : 4th international workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers / ed. J. Chen, F. V. Fomin. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5917). - ISBN 978-3-642-11269-0 : Б. ц.

ГРНТИ	27.03.17
УДК	510.52(063)

Кл.слова (ненормированные):
сложность вычислений -- конференции

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

Доп.точки доступа:
Chen, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

30.

510.52(063)
P25

Parameterized and exact computation [Electronic resource] : third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings / ed. M. Grohe, R. Niedermeier. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5018). - ISBN 978-3-540-79723-4 : Б. ц.

ГРНТИ	27.03.17
УДК	510.52(063)

Рубрики: Сложность вычислений--Съезды и конференции

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

Доп.точки доступа:
Grohe, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

1-30 31-60 61-90

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)