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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>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
Выходные данные : Berlin; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4612
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-73580-9: Б.ц.
ГРНТИ : 27.03.19 + 51.01.13 + 28.23
УДК : 510.6(063) + 004(063) + 004.8(063)
Предметные рубрики: Математическая логика-- Съезды и конференции
Вычислительная техника-- Съезды и конференции
Искусственный интеллект-- Съезды и конференции
Найти похожие
2.
Вид документа : Однотомное издание
Шифр издания : 51"735"/L85
Автор(ы) : Loebl M.
Заглавие : Discrete mathematics in statistical physics [Electronic resource] : introductory lectures
Выходные данные : Wiesbaden : Vieweg+Teubner, 2010
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-8348-9329-1: Б.ц.
ГРНТИ : 51 + 29.17
УДК : 51"735" + 536.75
Ключевые слова (''Своб.индексиров.''): дискретная математика--статистическая физика
Найти похожие
3.
Вид документа : Монографическая серия
Шифр издания : 004/T58
Заглавие : Time for verification [Electronic resource] : essays in memory of amir pnueli
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6200
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-13754-9: Б.ц.
ГРНТИ : 51.01.05
УДК : 004
Ключевые слова (''Своб.индексиров.''): вычислительная техника--эссе
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)