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

Базы данных


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

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

   
    Abstraction, reformulation, and approximation [Electronic resource] : 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings / eds.: I. Miguel, W. Ruml. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4612). - ISBN 978-3-540-73580-9 : Б. ц.

ГРНТИ
27.03.19
51.01.13
28.23
УДК
510.6(063)
004(063)
004.8(063)
Рубрики: Математическая логика--Съезды и конференции
   Вычислительная техника--Съезды и конференции
   Искусственный интеллект--Съезды и конференции

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

Доп.точки доступа:
Miguel, I. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
2.
51"735"
L85

    Loebl, M.
    Discrete mathematics in statistical physics [Electronic resource] : introductory lectures / M. Loebl. - Electronic text data. - Wiesbaden : Vieweg+Teubner, 2010. - ISBN 978-3-8348-9329-1 : Б. ц.

ГРНТИ
51
29.17
УДК
51"735"
536.75

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

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

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

   
    Time for verification [Electronic resource] : essays in memory of amir pnueli / ed. Z. Manna, D. A. Peled. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6200). - ISBN 978-3-642-13754-9 : Б. ц.

ГРНТИ
51.01.05
УДК
004

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

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

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