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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.17.21$<.>)
Общее количество найденных документов : 15
Показаны документы с 1 по 10
 1-10    11-15 
1.
512.563
A35

   
    Algebra, meaning, and computation [Electronic resource] : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / ed. K. Futatsugi [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4060). - ISBN 978-3-540-35464-2 : Б. ц.

ГРНТИ
27.17.21
50
УДК
512.563
004
Рубрики: Алгебра логики
   Вычислительная техника

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

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

    Monk, J. D.
    Cardinal invariants on boolean algebras [Electronic resource] / J. D. Monk. - Electronic text data. - Basel : Birkhauser, 2010. - (Modern birkhauser classics). - ISBN 978-3-0346-0334-8 : Б. ц.

ГРНТИ
27.17.21
УДК
512.563

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

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

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

    Gratzer, G.
    The congruences of a finite lattice [Electronic resource] : a proof-by-picture approach / G. Gratzer. - Electronic text data. - Boston, Ma : Birkhauser, 2006. - ISBN 978-0-817-64462-8 : Б. ц.

ГРНТИ
27.17.21
УДК
512.56

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

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

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

    Caspard, N.
    Ensembles ordonnes finis : concepts, resultats et usages [Electronic resource] / N. Caspard, B. Monjardet, B. Leclerc. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Mathematiques and applications, ISSN 1154-483X ; 60). - ISBN 978-3-540-73756-8 : Б. ц.

ГРНТИ
27.17.21
УДК
512.562

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

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

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

    Blyth, T.
    Lattices and ordered algebraic structures [Electronic resource] / T. Blyth. - Electronic text data. - London : Springer-Verlag, 2005. - (Universitext). - ISBN 978-1-846-28127-3 : Б. ц.

ГРНТИ
27.17.21
УДК
512.56
Рубрики: Структуры (матем.)

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

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

    Roman, S.
    Lattices and ordered sets [Electronic resource] / S. Roman. - Electronic text data. - New York, NY : Springer-Verlag, 2008. - ISBN 978-0-387-78901-9 : Б. ц.

ГРНТИ
27.17.21
УДК
512.562

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

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

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

    Harzheim, E.
    Ordered sets [Electronic resource] / E. Harzheim. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2005. - (Advances in mathematics ; 7). - ISBN 978-0-387-24222-4 : Б. ц.

ГРНТИ
27.17.21
УДК
512.562
Рубрики: Множества упорядоченные и частично упорядоченные

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

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

   
    SAT 2005 [Electronic resource] : satisfiability research in the year 2005 / ed.: E. Giunchiglia, T. Walsh. - Electronic text data. - Dordrecht : Springer, 2006. - ISBN 978-1-4020-5571-3 : Б. ц.

ГРНТИ
27.17.21
УДК
512.563
Рубрики: Алгебра логики

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

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

   
    Theory and applications of satisfiability testing [Electronic resource] : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005: proceedings / eds. F. Bacchus, T. Walsh. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3569). - ISBN 978-3-540-31679-4 : Б. ц.

ГРНТИ
27.17.21
УДК
512.563(063)
Рубрики: Алгебра логики--Съезды и конференции

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

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

   
    Theory and applications of satisfiability testing [Electronic resource] : 7th international conference, SAT 2004 Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers / eds. H. Hoos, D. Mitchell. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3542). - ISBN 978-3-540-31580-3 : Б. ц.

ГРНТИ
27.17.21
УДК
512.563(063)
Рубрики: Алгебра логики--Съезды и конференции

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

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